Abstract
This paper discusses a method for generating test sequences from state-based specifications. We show how a model checker can be used to automatically generate complete test sequences that will provide arbitrary structural coverage of requirements specified in a high-level language like SCR or RSML-e. We have defined a language independent formal foundation for test sequence generation using model checkers that is suitable for representing software artifacts like requirements models, software specifications, and code. This paper shows a concrete application of our formal framework for test generation in the requirements modeling domain. The framework allows one to define structural coverage criteria in terms of the formal model of a software artifact and describes how test sequences can be generated to satisfy those coverage criteria using a model-checker. The approach is illustrated using examples. We define various criteria in terms of the specification language, translate those into criteria in the formal framework, and demonstrate how we generate the test sequences.
Original language | English (US) |
---|---|
Title of host publication | 6th IEEE International Symposium on High Assurance Systems Engineering - Special Topic |
Subtitle of host publication | Impact of Networking, HASE 2001 |
Publisher | IEEE Computer Society |
Pages | 23-31 |
Number of pages | 9 |
ISBN (Electronic) | 0769512755 |
DOIs | |
State | Published - 2001 |
Event | 6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001 - Boca Raton, United States Duration: Oct 22 2001 → Oct 24 2001 |
Publication series
Name | Proceedings of IEEE International Symposium on High Assurance Systems Engineering |
---|---|
Volume | 2001-January |
ISSN (Print) | 1530-2059 |
Other
Other | 6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001 |
---|---|
Country/Territory | United States |
City | Boca Raton |
Period | 10/22/01 → 10/24/01 |
Bibliographical note
Publisher Copyright:© 2001 IEEE.
Keywords
- Automatic testing
- Code standards
- Counting circuits
- Formal specifications
- Programming
- Software standards
- Software testing
- Specification languages
- Standards development
- System testing