Conformance Tests for Real-Time Systems with Timed Automata Specifications
Rachel Cardell‐Oliver · Formal Aspects of Computing · 2000
Abstract. A method is introduced for testing the conformance of implemented real-time systems to timed automata specifications. Uppaal timed automata are transformed into testable timed transition systems (TTTSs) using a test view. Fault hypotheses and a test generation algorithm for TTTSs are defined. Results of applying the method are presented.