Automatic test case generation from requirements specifications for real-time embedded systems

S. J. Cunning, Jerzy W Rozenblit

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

12 Citations (Scopus)

Abstract

This paper presents continuing research toward automatic generation of test cases from requirements specifications for event-oriented, real-time embedded systems. The requirements documentation and test case generation activities make up the initial steps in our method to realize model-based codesign. In this codesign method, test cases are used to validate system models and prototypes against the requirements specification. This ensures coherence between the system models at various levels of detail, the system prototype, and the final system design. Automating the test case generation process provides a means to ensure that the test cases have been derived in a consistent and objective manner and that all system requirements have been covered. The formulation and difficulty of the test case generation problem are discussed and a heuristic algorithm to automatically generate test cases is presented. The inputs to the algorithm are extracted from the requirements specification. The algorithm is a two phase exploration of the system states defined in the requirements specification. The goal is to generate a suite of test cases that provide complete coverage of all documented system requirements. A design example is presented that is used to illustrate the generation of test-cases.

Original languageEnglish (US)
Title of host publicationProceedings of the IEEE International Conference on Systems, Man and Cybernetics
PublisherIEEE
Volume5
StatePublished - 1999
Event1999 IEEE International Conference on Systems, Man, and Cybernetics 'Human Communication and Cybernetics' - Tokyo, Jpn
Duration: Oct 12 1999Oct 15 1999

Other

Other1999 IEEE International Conference on Systems, Man, and Cybernetics 'Human Communication and Cybernetics'
CityTokyo, Jpn
Period10/12/9910/15/99

Fingerprint

Real time systems
Embedded systems
Specifications
Heuristic algorithms
Systems analysis

ASJC Scopus subject areas

  • Hardware and Architecture
  • Control and Systems Engineering

Cite this

Cunning, S. J., & Rozenblit, J. W. (1999). Automatic test case generation from requirements specifications for real-time embedded systems. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (Vol. 5). IEEE.

Automatic test case generation from requirements specifications for real-time embedded systems. / Cunning, S. J.; Rozenblit, Jerzy W.

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics. Vol. 5 IEEE, 1999.

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

Cunning, SJ & Rozenblit, JW 1999, Automatic test case generation from requirements specifications for real-time embedded systems. in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics. vol. 5, IEEE, 1999 IEEE International Conference on Systems, Man, and Cybernetics 'Human Communication and Cybernetics', Tokyo, Jpn, 10/12/99.
Cunning SJ, Rozenblit JW. Automatic test case generation from requirements specifications for real-time embedded systems. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics. Vol. 5. IEEE. 1999
Cunning, S. J. ; Rozenblit, Jerzy W. / Automatic test case generation from requirements specifications for real-time embedded systems. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics. Vol. 5 IEEE, 1999.
@inproceedings{250dc1b571164b169fc0df17a5f0e3b5,
title = "Automatic test case generation from requirements specifications for real-time embedded systems",
abstract = "This paper presents continuing research toward automatic generation of test cases from requirements specifications for event-oriented, real-time embedded systems. The requirements documentation and test case generation activities make up the initial steps in our method to realize model-based codesign. In this codesign method, test cases are used to validate system models and prototypes against the requirements specification. This ensures coherence between the system models at various levels of detail, the system prototype, and the final system design. Automating the test case generation process provides a means to ensure that the test cases have been derived in a consistent and objective manner and that all system requirements have been covered. The formulation and difficulty of the test case generation problem are discussed and a heuristic algorithm to automatically generate test cases is presented. The inputs to the algorithm are extracted from the requirements specification. The algorithm is a two phase exploration of the system states defined in the requirements specification. The goal is to generate a suite of test cases that provide complete coverage of all documented system requirements. A design example is presented that is used to illustrate the generation of test-cases.",
author = "Cunning, {S. J.} and Rozenblit, {Jerzy W}",
year = "1999",
language = "English (US)",
volume = "5",
booktitle = "Proceedings of the IEEE International Conference on Systems, Man and Cybernetics",
publisher = "IEEE",

}

TY - GEN

T1 - Automatic test case generation from requirements specifications for real-time embedded systems

AU - Cunning, S. J.

AU - Rozenblit, Jerzy W

PY - 1999

Y1 - 1999

N2 - This paper presents continuing research toward automatic generation of test cases from requirements specifications for event-oriented, real-time embedded systems. The requirements documentation and test case generation activities make up the initial steps in our method to realize model-based codesign. In this codesign method, test cases are used to validate system models and prototypes against the requirements specification. This ensures coherence between the system models at various levels of detail, the system prototype, and the final system design. Automating the test case generation process provides a means to ensure that the test cases have been derived in a consistent and objective manner and that all system requirements have been covered. The formulation and difficulty of the test case generation problem are discussed and a heuristic algorithm to automatically generate test cases is presented. The inputs to the algorithm are extracted from the requirements specification. The algorithm is a two phase exploration of the system states defined in the requirements specification. The goal is to generate a suite of test cases that provide complete coverage of all documented system requirements. A design example is presented that is used to illustrate the generation of test-cases.

AB - This paper presents continuing research toward automatic generation of test cases from requirements specifications for event-oriented, real-time embedded systems. The requirements documentation and test case generation activities make up the initial steps in our method to realize model-based codesign. In this codesign method, test cases are used to validate system models and prototypes against the requirements specification. This ensures coherence between the system models at various levels of detail, the system prototype, and the final system design. Automating the test case generation process provides a means to ensure that the test cases have been derived in a consistent and objective manner and that all system requirements have been covered. The formulation and difficulty of the test case generation problem are discussed and a heuristic algorithm to automatically generate test cases is presented. The inputs to the algorithm are extracted from the requirements specification. The algorithm is a two phase exploration of the system states defined in the requirements specification. The goal is to generate a suite of test cases that provide complete coverage of all documented system requirements. A design example is presented that is used to illustrate the generation of test-cases.

UR - http://www.scopus.com/inward/record.url?scp=0033329398&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0033329398&partnerID=8YFLogxK

M3 - Conference contribution

VL - 5

BT - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

PB - IEEE

ER -