Conformance Tests for Real-Time Systems with Timed Automata Specifications

Rachel Cardell-Oliver

doi:10.1007/s001650070009

Conformance Tests for Real-Time Systems with Timed Automata Specifications

Rachel Cardell-Oliver

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	350–371
Number of pages	22
Journal	FORMAL ASPECTS OF COMPUTING
Volume	12
Issue number	5
DOIs	https://doi.org/10.1007/s001650070009
Publication status	Published - Dec 2000
Externally published	Yes

Access to Document

10.1007/s001650070009Licence: Unspecified

Cite this

@article{1e66f10906a04cd990f8b4f664c05b73,

title = "Conformance Tests for Real-Time Systems with Timed Automata Specifications",

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.",

author = "Rachel Cardell-Oliver",

year = "2000",

month = dec,

doi = "10.1007/s001650070009",

language = "English",

volume = "12",

pages = "350{\textendash}371",

journal = "FORMAL ASPECTS OF COMPUTING",

issn = "0934-5043",

publisher = "Association for Computing Machinery (ACM)",

number = "5",

}

TY - JOUR

T1 - Conformance Tests for Real-Time Systems with Timed Automata Specifications

AU - Cardell-Oliver, Rachel

PY - 2000/12

Y1 - 2000/12

N2 - 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.

AB - 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.

U2 - 10.1007/s001650070009

DO - 10.1007/s001650070009

M3 - Article

SN - 0934-5043

VL - 12

SP - 350

EP - 371

JO - FORMAL ASPECTS OF COMPUTING

JF - FORMAL ASPECTS OF COMPUTING

IS - 5

ER -

Conformance Tests for Real-Time Systems with Timed Automata Specifications

Abstract

Access to Document

Fingerprint

Cite this