University of Minnesota
Software Engineering Center

You are here

Specification Centered Testing

Date of Publication: 
May 2001
Associated Research Groups: 
Publication Files: 
This position paper discusses a framework for automating the testing of systems with stringent structural coverage requirements, for example, avionics systems. The framework covers testing of the model of the desired behavior as well as the resulting implementation. We use a formal model of the required software behavior as the central component of our testing strategy; we call this approach specification centered testing. We discuss how a model checker can be used to automatically generate complete test sequences that will provide arbitrary structural coverage of the requirements specification as well as the code implementing the requirements.
Second International Workshop on Analysis, Testing and Verification, Toronto, Canada, May 2001
@INPROCEEDINGS{Heimdahl01:SpecTesting, AUTHOR = "Mats P.E. Heimdahl", TITLE = "Specification Centered Testing", BOOKTITLE = "Second International Workshop on Analysis, Testing and Verification", YEAR = "2001", address = "Toronto, Canada", month = "May", }