Test Case Generation with Test Purpose Specification by MSCs

Jens Grabowski, Dieter Hogrefe, Robert Nahm

Abstract

This paper presents a new test case generation method based on formal system specifications in SDL. The test purpose of a specific test case is specified formally by one or many Message Sequence Charts (MSCs). Based on the test purpose and the system specification a complete test case can be generated automatically in the TTCN format, including preamble, postamble and test body with all test verdicts.
Document Type: 
Articles in Conference Proceedings
Booktitle: 
Using Objects
Series: 
SDL'93
Address: 
North-Holland
Pages: 
Editors: O. Faergemand, A. Sarma
Month: 
10
Year: 
1993
2024 © Software Engineering For Distributed Systems Group

Main menu 2