Testing timed automata

Share/Save/Bookmark

Springintveld, Jan and Vaandrager, Frits and D'Argenio, Pedro R. (1997) Testing timed automata. [Report]

[img]
Preview
PDF
342Kb
Abstract:We present a generalization of the classical theory of testing for Mealy machines to a setting of dense real-time systems. A model of timed I/O automata is introduced, inspired by the timed automaton model of Alur and Dill, together with a notion of test sequence for this model. Our main contribution is a test generation algorithm for black-box conformance testing of timed I/O automata. Although it is highly exponential and cannot be claimed to be of practical value, it is the �rst algorithm that yields a �nite and complete set of tests for dense real-time systems.
Item Type:Report
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/18593
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 119114