سند علمی

Search-based software test data generation for string data using program-specific search operators

چکیده

This paper presents a novel approach to automatic software test data generation, where the test data is intended to cover program branches which depend on string predicates such as string equality, string ordering and regular expression matching. A search-based approach is assumed and some potential search operators and corresponding evaluation functions are assembled. Their performance is assessed empirically by using them to generate test data for a number of test programs. A novel approach of using search operators based on programming language string operators and parameterized by string literals from the program under test is introduced. These operators are also assessed empirically in generating test data for the test programs and are shown to provide a significant increase in performance. Copyright c © 2006 John Wiley & Sons, Ltd.

اسناد مشابه

  • Automated Software Test Data Generation for Complex Programs

    سند علمی۱۹۹۸ASEChristoph C. Michael, Gary McGraw

    We report on GADGET a new software test generation system that uses combinatorial optimization to obtain condition decision coverage of C C programs The GADGET system is fully automatic and supports all C C language constructs This allows us to generate tests for programs more co

  • Using Static Information of Programs to Partition the Input Domain in Search-based Test Data Generation

    مقاله۲۰۲۱Journal of Information Systems and TelecommunicationAtieh Monemi Bidgoli, Hassan haghighi

    The quality of test data has an important effect on the fault-revealing ability of software testing. Search-based test data generation reformulates testing goals as fitness functions, thus, test data generation can be automated by meta-heuristic algorithms. Meta-heuristic algorit

  • Dynamic stopping criteria for search-based test data generation for path testing

    سند علمی۲۰۱۴Information & Software TechnologyIrman Hermadi, Christopher J. Lokan, Ruhul A. Sarker

    Context: Evolutionary algorithms have proved to be successful for generating test data for path coverage testing. However in this approach, the set of target paths to be covered may include some that are infeasible. It is impossible to find test data to cover those paths. Rather

  • Software Test Data Generation using Ant Colony Optimization

    سند علمی۲۰۰۴International Conference on Computational IntelligenceHuaizhong Li, Chiou Peng Lam

    State-based testing is frequently used in software testing. Test data generation is one of the key issues in software testing. A properly generated test suite may not only locate the errors in a software system, but also help in reducing the high cost associated with software tes

  • Reducing Oracle Cost in Search Based Test Data Generation

    سند علمی۲۰۰۹Mark Harman, Sung Gon Kim, Kiran Lakhotia, Shin Yoo

    Search Based testing has proved effective at generating test data to cover targeted branches and has consequently received a great deal of attention from the automated software testing community. However, previous approaches to search based test data generation do not take accoun

  • Automatic Software Test Data Generation for Spanning Sets Coverage Using Genetic Algorithms

    سند علمی۲۰۰۷Computing and InformaticsA. M. Khamis, Moheb R. Girgis, Ahmed S. Ghiduk

    Software testing takes a considerable amount of time and resources spent on producing software. Therefore, it would be useful to have ways to reduce the cost of software testing. The new concepts of spanning sets of entities suggested by Marré and Bertolino are useful for reducin