Test-Sequence Generation from Formal Requirement Models
Loading...
View/Download File
Persistent link to this item
Statistics
View StatisticsJournal Title
Journal ISSN
Volume Title
Title
Test-Sequence Generation from Formal Requirement Models
Authors
Published Date
2001
Publisher
Type
Report
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.
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.
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
Proceedings of the Sixth IEEE High Assurance in Systems Engineering Workshop, Florida, October 2001.
Suggested citation
Rayadurgam, Sanjai; Heimdahl, Mats. (2001). Test-Sequence Generation from Formal Requirement Models. Retrieved from the University Digital Conservancy, https://hdl.handle.net/11299/217348.
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.