DocumentCode
3245481
Title
Test generation for time critical systems: Tool and case study
Author
Nielsen, Brian ; Skou, Arne
Author_Institution
Dept. of Comput. Sci., Aalborg Univ., Denmark
fYear
2001
fDate
2001
Firstpage
155
Lastpage
162
Abstract
Generating timed test sequences by hand is error-prone and time consuming, and it is easy to overlook important scenarios. The paper presents a tool based on formal methods that automatically computes a test suite for conformance testing of time critical systems. The generated tests are selected on the basis of a coverage criterion of the specification. The tool guarantees production of sound test cases only, and is able to produce a complete covering test suite. We demonstrate the tool by generating test cases for the Philips Audio Protocol
Keywords
conformance testing; formal specification; Philips audio protocol; conformance testing; formal methods; specification; test generation; time critical systems; timed test sequences generation; Acoustic testing; Automata; Automatic testing; Computer aided software engineering; Computer science; Humans; Protocols; Sequential analysis; System testing; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems, 13th Euromicro Conference on, 2001.
Conference_Location
Delft
Print_ISBN
0-7695-1221-6
Type
conf
DOI
10.1109/EMRTS.2001.934021
Filename
934021
Link To Document