Automatically Generating Test Cases for Specification Mining
| Autor: | Valentin Dallmeier, Andreas Zeller, Gordon Fraser, N. Knopp, Christoph Mallon, Sebastian Hack |
|---|---|
| Rok vydání: | 2012 |
| Předmět: |
Java
Computer science business.industry Programming language 020207 software engineering Sample (statistics) 02 engineering and technology Automatic test pattern generation computer.software_genre Test case Software Formal specification 0202 electrical engineering electronic engineering information engineering False positive paradox 020201 artificial intelligence & image processing business computer Word (computer architecture) computer.programming_language |
| Zdroj: | IEEE Transactions on Software Engineering |
| ISSN: | 0098-5589 |
| DOI: | 10.1109/tse.2011.105 |
| Popis: | 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 Maori 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|