Testing Timed Automata

Jan Springintveld; Frits Vaandrager; P.R. d' Argenio

Testing Timed Automata

Jan Springintveld, Frits Vaandrager, P.R. d' Argenio

Research output: Book/Report › Report › Professional

37 Downloads (Pure)

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.

Original language	Undefined
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	24
Publication status	Published - Sept 1997

Publication series

Name	CTIT Technical Report Series
No.	97-17
ISSN (Print)	1381-3625

Keywords

IR-18593
EWI-6020
METIS-119114

Access to Document

00000006Final published version, 342 KB

Cite this

@book{d8de401af2594656ba6ab430ef80017d,

title = "Testing Timed Automata",

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

keywords = "IR-18593, EWI-6020, METIS-119114",

author = "Jan Springintveld and Frits Vaandrager and {d' Argenio}, P.R.",

year = "1997",

month = sep,

language = "Undefined",

series = "CTIT Technical Report Series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "97-17",

address = "Netherlands",

}

TY - BOOK

T1 - Testing Timed Automata

AU - Springintveld, Jan

AU - Vaandrager, Frits

AU - d' Argenio, P.R.

PY - 1997/9

Y1 - 1997/9

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

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

KW - IR-18593

KW - EWI-6020

KW - METIS-119114

M3 - Report

T3 - CTIT Technical Report Series

BT - Testing Timed Automata

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -