Test-data generation for control coverage by proof |
| |
Authors: | Ana Cavalcanti Steve King Colin O’Halloran Jim Woodcock |
| |
Affiliation: | 1. Department of Computer Science, University of York, York, UK 2. Department of Computer Science, University of Oxford, Oxford, UK
|
| |
Abstract: | Many tools can check if a test set provides control coverage; they are, however, of little or no help when coverage is not achieved and the test set needs to be completed. In this paper, we describe how a formal characterisation of a coverage criterion can be used to generate test data; we present a procedure based on traditional programming techniques like normalisation, and weakest precondition calculation. It is a basis for automation using an algebraic theorem prover. In the worst situation, if automation fails to produce a specific test, we are left with a specification of the compliant test sets. Many approaches to model-based testing rely on formal models of a system under test. Our work, on the other hand, is not concerned with the use of abstract models for testing, but with coverage based on the text of programs. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|