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.
Test data generation is one of the most important and crucial phases in software testing. Software testing is not possible without adequate test data. Many automated and manual test data generation techniques have been proposed for software testing. Most of the work on automated software test data generation at unit level is by applying evolutionary approaches for test data generation. Evolutionary...
Software testing has been always viewed as an effective way to ensure software quality both in academic and industry. In fact, the quality of test data set plays a critical role in the success of software testing activity. According to the basic line of search-based software testing, we introduced ant colony optimization (ACO) to settle this problem and proposed a framework of ACO-based test data...
Software test is an important step during software development. Improving the automation of software testing can increase the robustness of software and decrease the cost of development. The key of improving the automation ability of testing is improving the automatic test data generation. The paper presents a new method to generate test data for multi-path coverage. The method uses a two-dimensional...
Automatic path-oriented test data generation is not only a key problem but a hot issue in the research area of software testing today. Genetic algorithm (GA) has been used to path-oriented test data generation since 1992 and outperforms other approaches. A fitness function based on branch distance (BDBFF) has been applied in GA-based path-oriented test data generation. To investigate performance of...
In recent years there has been a growing interest in applying metaheuristic search algorithms in model-checking. On the other hand, model checking has been used far less in other software engineering activities, such as model design and software testing. In this paper we propose an automated model design strategy, by integrating genetic algorithms (used for model generation) with model checking (used...
A new method called EPDG-GA which utilizes the edge partitions dominator graph (EPDG) and genetic algorithm (GA) for branch coverage testing is presented in this paper. First, a set of critical branches (CBs) are obtained by analyzing the EPDG of the tested program, while covering all the CBs implies covering all the branches of the control flow graph (CFG). Then, the fitness functions are instrumented...
We focus on software reliability with testing coverage, which will grow with increment of the coverage. We expect to improve quality of software testing with it automated. An approach of generating test data for a specific single path is presented in this paper, different from the predicate distance applied by most test data generators based on genetic algorithms. A similarity between the target path...
Software testing is of huge importance to development of any software. The prime focus is to minimize the expenses on the testing. In software testing the major problem is generation of test data. Several metaheuristic approaches in this field have become very popular. The aim is to generate the optimum set of test data, which would still not compromise on exhaustive testing of software. Our objective...
This paper investigates the adequacy of a general form of fitness function, based on a state-based specification, by characterizing the associated search problem and the dynamics of the applied metaheuristic. The measurement approach of the fitness landscape is experimented on various examples and suggests some tuning choices to be made for the metaheuristic considered.
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.