The Community for Technology Leaders
Green Image
Issue No. 02 - March-April (2012 vol. 38)
ISSN: 0098-5589
pp: 243-257
Sebastian Hack , Universität des Saarlandes, Saarbrücken
Gordon Fraser , Universität des Saarlandes, Saarbrücken
Nikolai Knopp , Universität des Saarlandes, Saarbrücken
Valentin Dallmeier , Universität des Saarlandes, Saarbrücken
Andreas Zeller , Universität des Saarlandes, Saarbrücken
Christoph Mallon , Universität des Saarlandes, Saarbrücken
ABSTRACT
Dynamic specification mining observes program executions to infer models of normal program behavior. What makes us believe that we have seen sufficiently many executions? The TAUTOKO (“Tautoko” is the Mãori word for “enhance, enrich.”) typestate miner generates test cases that cover previously unobserved behavior, systematically extending the execution space, and enriching the specification. To our knowledge, this is the first combination of systematic test case generation and typestate mining—a combination with clear benefits: On a sample of 800 defects seeded into six Java subjects, a static typestate verifier fed with enriched models would report significantly more true positives and significantly fewer false positives than the initial models.
INDEX TERMS
Specification mining, test case generation, typestate analysis.
CITATION
Sebastian Hack, Gordon Fraser, Nikolai Knopp, Valentin Dallmeier, Andreas Zeller, Christoph Mallon, "Automatically Generating Test Cases for Specification Mining", IEEE Transactions on Software Engineering, vol. 38, no. , pp. 243-257, March-April 2012, doi:10.1109/TSE.2011.105
91 ms
(Ver )