TitleImproving test suites via operational abstraction
Publication TypeConference Paper
Year of Publication2003
AuthorsHarder M, Mellen J, Ernst MD
Conference NameICSE 2003, Proceedings of the 25th International Conference on Software Engineering
Pagination60–71
Date or Month PublishedMay
Conference LocationPortland, Oregon
AbstractThis paper presents the operational difference technique for generating, augmenting, and minimizing test suites. The technique is analogous to structural code coverage techniques, but it operates in the semantic domain of program properties rather than the syntactic domain of program text. \par The operational difference technique automatically selects test cases; it assumes only the existence of a source of test cases. The technique dynamically generates operational abstractions (which describe observed behavior and are syntactically identical to formal specifications) from test suite executions. Test suites can be generated by adding cases until the operational abstraction stops changing. The resulting test suites are and are better at detecting certain common faults. \par This paper also presents the area and stacking techniques for comparing test suite generation strategies; these techniques avoid bias due to test suite size.
Downloadshttps://homes.cs.washington.edu/~mernst/pubs/improve-testsuite-slides.pdf talk slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/improve-testsuite-slides.ppt talk slides (PowerPoint) https://homes.cs.washington.edu/~mernst/pubs/improve-testsuite-icse2003.pdf PDF
Citation KeyHarderME03