Test-sequence generation from formal requirement models

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Scopus citations

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 languageEnglish (US)
Title of host publication6th IEEE International Symposium on High Assurance Systems Engineering - Special Topic
Subtitle of host publicationImpact of Networking, HASE 2001
PublisherIEEE Computer Society
Pages23-31
Number of pages9
ISBN (Electronic)0769512755
DOIs
StatePublished - Jan 1 2001
Event6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001 - Boca Raton, United States
Duration: Oct 22 2001Oct 24 2001

Publication series

NameProceedings of IEEE International Symposium on High Assurance Systems Engineering
Volume2001-January
ISSN (Print)1530-2059

Other

Other6th IEEE International Symposium on High Assurance Systems Engineering, HASE 2001
CountryUnited States
CityBoca Raton
Period10/22/0110/24/01

Keywords

  • Automatic testing
  • Code standards
  • Counting circuits
  • Formal specifications
  • Programming
  • Software standards
  • Software testing
  • Specification languages
  • Standards development
  • System testing

Fingerprint Dive into the research topics of 'Test-sequence generation from formal requirement models'. Together they form a unique fingerprint.

Cite this