The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This paper proposes a novel online software nonlinearity correction algorithm for acoustic active monitoring in aquatic environments. Based on irregular time resampling (time warping), coupled with statistical estimation, the estimated reference function is available for further match filtering at the reception.
Here it is shown that using queuing system with hyper-exponential distributions of arrival time and service time both of them can be approximated at the level of first two and three moments. Hyper-exponential distribution with two terms has coefficient of variation more than 1, so using it for approximation of any arbitrary heavy-tailed distribution is possible. Our results show that increasing third...
In the prevailing scenario, development of distributed systems is gaining popularity to get the benefits of early and enhanced developments. Software Reliability Growth Models (SRGMs) play a significant role in quantitative assessment of software reliability. Software's developed in Distributed Development Environment (DDE) are characterized by enhanced availability and increased reliability. Software...
The original software reliability demonstration test (SRDT) takes no consideration of prior knowledge and priori distribution adequately, which costs a lot of time and resource. A new improved Bayesian based SRDT method was proposed. First, a framework for SRDT scheme was constructed. According to the framework the decreasing function was employed to construct the priori distribution density functions...
Regression testing is a very important part of the program development cycle as it should be executed after feature is integrated or bugs are fixed each time. There are hundreds of test cases in the case library for a little complex product, it is impossible to perform all of the test cases in regression testing every time. Test engineers always select the regression cases by their experience only,...
The normal distribution is often used a s a model for reliability, and censored samples naturally arise in software reliability applications. Bayesian estimation methods have an advantage over the frequentist approach as they provide the user a framework for incorporating important factors such as software complexity, operating system, level and quality of verification and validation in the software...
Cloud computing has emerged as a popular paradigm that offers computing resources (e.g. CPU, storage, bandwidth, software) as scalable and on-demand services over the Internet. As more players enter this emerging market, a heterogeneous cloud computing market is expected to evolve, where individual players will have different volumes of resources, and will provide specialized services, and with different...
Cost efficiency and the issue of quality are pushing software companies to constantly invest in efforts to produce enough quality applications that will arrive in time, with good enough quality to the customer. Quality is not for free, it has a price. Using the different methods of prediction, characteristic parameters will be obtained and will lead to the conclusions about quality even prior the...
GUI test case definition is the core issue in automatic or semi-automatic GUI testing. We use TTCN-3 language to define GUI test cases. The test specifications under this definition are easy to maintain, evaluate and assess. The time related test specifications are covered; few of current works cover this kind of testing. It's easy and flexible to create test oracles by this approach thanks to TTCN-3...
As a result of the research and design of reconfiguration router unit (RRU), the producing of network equipment is turned into component composition as building block. Based on the component composition and the character of RRU, this paper proposes the concept-CCS (component candidate set). The scheme of creating component candidate set is based on the BP neural network. The CSS is proposed to resolve...
Microsoft Office Word is the most commonly used document writing software in Chinese college and university. It is very difficult for e-learning user to comply with every regular document format specification via traditional ways. In this paper, a MS Word format checker tool based on office automation technology is proposed. The format checker could custom word format template according to different...
Problem of belief revision and specification evolution has been studied for years. Researchers have proposed ACM theory and R-calculus to solve the problem. This paper concerns with the revision of proposition logic and proposes a revision algorithm which can automatically find out a revision of given sets. The correctness of the algorithm is proved and concepts such as basic proposition, assignment...
Z Formal method not only can improve correctness and reliability of software, but also improve development efficiency. Although Z specifications have been widely studied in literatures, very little work is involved in definition and use of variables. This paper discussed on definition and use of variables by an example. Finally, it is applied to data flow analysis and data dependent analysis.
Component adaptation is widely considered to be one of the crucial problems in Component-Based Software Engineering. Based on the analysis of multiple component adaptation methods, we propose a new approach to component adaptation dealing with extra-functional mismatches, which is illustrated associating with a simplified example of Image Viewer/Browser. The results show that this new approach can...
A generic e-homework system, PDFeH, was proposed and prototyped to replace traditional paper homework electronically. With pre-created PDF form documents as templates, teachers and students can complete main e-homework phases using free Adobe Reader. That is, composing questions, entering answers, commenting and markup and grading, and viewing finally archived documents. Digital signatures are used...
For interactive software, function is executed through complicated human-machine interactions. Current test case generation methods of function testing usually consider software interface, while ignoring software requirement and inner performance process. With these testing methods, test cases are generated ignorantly, and testing process may be disordered. In this paper, considering both of function's...
The extended finite state machine (EFSM) is an extension of the finite state machine, which creates input and output parameters, context variables, operations and predicates. It is applied widely in the fields of software engineering since there are many tools that support software development activities based on the EFSM models. However, the theoretical foundation of EFSM is not yet well-developed...
Since automated fault localization can improve the efficiency of both the testing and debugging process, it is an important technique for the development of reliable software. This paper proposes a novel fault localization approach based on multi-level similarity of execution traces, which is suitable for object-oriented software. It selects useful test cases at class level and computes code suspiciousness...
Service-oriented computing advocates the development of new software or services on the basis of existing services. This paradigm shows a great potential of achieving high productivity and low cost, but it faces a challenge in efficiently and correctly using existing services in producing a new application and ensuring its reliability. Building a formal model using a formal specification language...
Component Based Software Engineering (CBSE) is an excellent candidate to achieve greater software understanding, reuse and reliability. In this paper, we presented how this paradigm could be applied in the development of system from an alternative way. In this way, that is, to imitate the way of circuit board assembly process, we brought forward the concept of soft-board and further, the soft-board...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.