From genetic to bacteriological algorithms for mutation‐based testing

作者: Benoit Baudry , Franck Fleurey , Jean-Marc Jézéquel , Yves Le Traon

DOI: 10.1002/STVR.313

关键词:

摘要: SUMMARY The level of confidence in a software component is often linked to the quality its test cases. This can turn be evaluated with mutation analysis: faults are injected into (making mutants it) check proportion detected (‘killed’) by But while generation set basic cases easy, improving may require prohibitive effort. paper focuses on issue automating optimization. application genetic algorithms would appear an interesting way tackling it. optimization problem modelled as follows: case considered predator mutant program analogous prey. aim selection process generate able kill many possible, starting from initial predators, which provided programmer. To overcome disappointing experimentation results, .Net components and unit Eiffel classes, slight variation this idea studied, no longer at ‘animal’ (lions killing zebras, say) but bacteriological level. indeed better reflects issue: it mainly differs one introduction memorization function suppression crossover operator. purpose explain how have been adapted fit resulting algorithm so much that has given another name: algorithm. Copyright c

参考文章(21)
Benoit Baudry, Vu Hanh, Jean-Marc Jézéquel, Yves Traon, Trustable components: yet another mutation-based approach Mutation testing for the new century. pp. 47- 54 ,(2001) , 10.1007/978-1-4757-5939-6_9
Kent Beck, Erich Gamma, Test-infected: programmers love writing tests More Java gems. pp. 357- 376 ,(2000) , 10.1017/CBO9780511550881.029
A. Jefferson Offutt, Jie Pan, Kanupriya Tewary, Tong Zhang, An experimental evaluation of data flow and mutation testing Software - Practice and Experience. ,vol. 26, pp. 165- 176 ,(1996) , 10.1002/(SICI)1097-024X(199602)26:2<165::AID-SPE5>3.0.CO;2-K
B.F. Jones, H.-H. Sthamer, D.E. Eyres, Automatic structural testing using genetic algorithms Software Engineering Journal. ,vol. 11, pp. 299- 306 ,(1996) , 10.1049/SEJ.1996.0040
A. Jefferson Offutt, Investigations of the software testing coupling effect ACM Transactions on Software Engineering and Methodology. ,vol. 1, pp. 5- 20 ,(1992) , 10.1145/125489.125473
Michael L. Rosenzweig, Species Diversity in Space and Time ,(1995)
Hoijin Yoon, Byoungju Choi, Effective test case selection for component customization and its application to Enterprise JavaBeans Software Testing, Verification & Reliability. ,vol. 14, pp. 45- 70 ,(2004) , 10.1002/STVR.276
Roy P. Pargas, Mary Jean Harrold, Robert R. Peck, Test-data generation using genetic algorithms Software Testing, Verification and Reliability. ,vol. 9, pp. 263- 282 ,(1999) , 10.1002/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y