Conformance Tests for Real-Time Systems with Timed Automata Specifications

Research output: Contribution to journalArticlepeer-review

58 Citations (Scopus)

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.
Original languageEnglish
Pages (from-to)350–371
Number of pages22
JournalFORMAL ASPECTS OF COMPUTING
Volume12
Issue number5
DOIs
Publication statusPublished - Dec 2000
Externally publishedYes

Fingerprint

Dive into the research topics of 'Conformance Tests for Real-Time Systems with Timed Automata Specifications'. Together they form a unique fingerprint.

Cite this