Specification Centered Testing
Loading...
View/Download File
Persistent link to this item
Statistics
View StatisticsJournal Title
Journal ISSN
Volume Title
Title
Specification Centered Testing
Alternative title
Published Date
2001
Publisher
Type
Report
Abstract
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.
Keywords
Description
Associated research group: Critical Systems Research Group
Related to
Replaces
License
Series/Report Number
Funding information
Isbn identifier
Doi identifier
Previously Published Citation
Second International Workshop on Analysis, Testing and Verification, Toronto, Canada, May 2001
Other identifiers
Suggested citation
Heimdahl, Mats; Rayadurgam, Sanjai; Visser, Willem. (2001). Specification Centered Testing. Retrieved from the University Digital Conservancy, https://hdl.handle.net/11299/217351.
Content distributed via the University Digital Conservancy may be subject to additional license and use restrictions applied by the depositor. By using these files, users agree to the Terms of Use. Materials in the UDC may contain content that is disturbing and/or harmful. For more information, please see our statement on harmful content in digital repositories.