Using coverage to automate and improve test purpose based testing |
| |
| Authors: | Martin Weiglhofer Gordon Fraser Franz Wotawa |
| |
| Affiliation: | 1. Laboratory of Organic Chemical Technology, Chemistry Department, Aristotle University of Thessaloniki, 54124 Thessaloniki, Greece;2. Laboratory of Animal Physiology, Department of Biology, Aristotle University of Thessaloniki, Thessaloniki, 541 24 Macedonia, Greece;3. Laboratory of Biochemistry, Faculty of Medicine, Aristotle University of Thessaloniki, Thessaloniki, 541 24 Macedonia, Greece;4. Soft Matter Nanotechnology Group, CIC biomaGUNE, Paseo Miramón 182 C, 20009 San Sebastián, Guipúzcoa, Spain;5. Laboratory of Ceramics and Composite Materials, Department of Materials Science and Engineering, University of Ioannina, Ioannina 451 10, Greece;6. Institute of Biomaterials, Department of Materials Science and Engineering, University of Erlangen-Nuremberg, Cauerstrasse 6, 91058 Erlangen, Germany;1. Faculty of Natural Sciences and Mathematics, University of Maribor, Koro?ka cesta 160, SI-2000 Maribor, Slovenia;2. Center for Nonlinear Science, University of North Texas, P.O. Box 311427, Denton, TX 76203-1427, USA;1. Department of Health Services Research, The University of Texas MD Anderson Cancer Center, Houston, TX;2. Department of Biostatistics, The University of Texas MD Anderson Cancer Center, Houston, TX;3. Division of Cancer Medicine, The University of Texas MD Anderson Cancer Center, Houston, TX;4. Department of Thoracic/Head and Neck Medical Oncology, The University of Texas MD Anderson Cancer Center, Houston, TX |
| |
| Abstract: | Test purposes have been presented as a solution to avoid the state space explosion when selecting test cases from formal models. Although such techniques work very well with regard to the speed of the test derivation, they leave the tester with one important task that influences the quality of the overall testing process: test purposes have to be formulated manually. In this paper, we present an approach that assists a test engineer with test purpose design in two ways: it allows automatic generation of coverage based test suites and can be used to automatically exercise those aspects of the system that are missed by hand-crafted test purposes. We consider coverage of Lotos specifications, and show how labeled transition systems derived from such specifications have to be extended in order to allow the application of logical coverage criteria to Lotos specifications. We then show how existing tools can be used to efficiently derive test cases and suggest how to use the coverage information to minimize test suites while generating them. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
