zbMATH — the first resource for mathematics

Test cases generation for nondeterministic real-time systems. (English) Zbl 1185.68415
Petrenko, Alexandre (ed.) et al., Formal approaches to software testing. Third international workshop on formal approaches to testing of software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised papers. Berlin: Springer (ISBN 3-540-20894-1/pbk). Lect. Notes Comput. Sci. 2931, 131-146 (2004).
Summary: We study the generation of test cases for nondeterministic real-time systems. We define a class of Determinizable Timed Automata (DTA), in order to specify the system under test. The principle of our test method consists of two steps. In Step 1, we express the problem in a non-real-time form, by transforming a DTA into an equivalent finite state automaton. The latter uses two additional types of events, Set and Exp. In Step 2, we adapt a non-real-time test generation method.
For the entire collection see [Zbl 1031.68051].

68Q60 Specification and verification (program logics, model checking, etc.)
68Q45 Formal languages and automata
Full Text: DOI