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
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;
Conference_Titel :
Real-Time Systems, 13th Euromicro Conference on, 2001.
Conference_Location :
Delft
Print_ISBN :
0-7695-1221-6
DOI :
10.1109/EMRTS.2001.934021
