A test generation framework for quiescent real-time systems - extended version

L. Brandan Briones, Hendrik Brinksma

Research output: Book/ReportReport

Abstract

We present an extension of Tretmans¿ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational interpretation of the notion of quiescence in the context of real-time behaviour. This gives rise to a family of implementation relations parameterized by observation durations for quiescence. We define a nondeterministic (parameterized) test generation algorithm that generates test cases that are sound with respect to the corresponding implementation relation. The test generation is also exhaustive in the sense that for each non-conforming implementation a test case can be generated that detects the non-conformance.
LanguageUndefined
Place of PublicationEnschede
PublisherINF-Centre for Telematics and Information Techn.
Number of pages20
StatePublished - Oct 2004

Publication series

NameCTIT technical report series
PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
No.TR-CTIT-04-40
ISSN (Print)1381-3625

Keywords

  • IR-48975
  • METIS-220838
  • FMT-TESTING
  • EWI-6860

Cite this

Brandan Briones, L., & Brinksma, H. (2004). A test generation framework for quiescent real-time systems - extended version. (CTIT technical report series; No. TR-CTIT-04-40). Enschede: INF-Centre for Telematics and Information Techn.
Brandan Briones, L. ; Brinksma, Hendrik. / A test generation framework for quiescent real-time systems - extended version. Enschede : INF-Centre for Telematics and Information Techn., 2004. 20 p. (CTIT technical report series; TR-CTIT-04-40).
@book{02371e7f3966430ea7a884a0c321b5fc,
title = "A test generation framework for quiescent real-time systems - extended version",
abstract = "We present an extension of Tretmans¿ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational interpretation of the notion of quiescence in the context of real-time behaviour. This gives rise to a family of implementation relations parameterized by observation durations for quiescence. We define a nondeterministic (parameterized) test generation algorithm that generates test cases that are sound with respect to the corresponding implementation relation. The test generation is also exhaustive in the sense that for each non-conforming implementation a test case can be generated that detects the non-conformance.",
keywords = "IR-48975, METIS-220838, FMT-TESTING, EWI-6860",
author = "{Brandan Briones}, L. and Hendrik Brinksma",
note = "Imported from CTIT",
year = "2004",
month = "10",
language = "Undefined",
series = "CTIT technical report series",
publisher = "INF-Centre for Telematics and Information Techn.",
number = "TR-CTIT-04-40",

}

Brandan Briones, L & Brinksma, H 2004, A test generation framework for quiescent real-time systems - extended version. CTIT technical report series, no. TR-CTIT-04-40, INF-Centre for Telematics and Information Techn., Enschede.

A test generation framework for quiescent real-time systems - extended version. / Brandan Briones, L.; Brinksma, Hendrik.

Enschede : INF-Centre for Telematics and Information Techn., 2004. 20 p. (CTIT technical report series; No. TR-CTIT-04-40).

Research output: Book/ReportReport

TY - BOOK

T1 - A test generation framework for quiescent real-time systems - extended version

AU - Brandan Briones,L.

AU - Brinksma,Hendrik

N1 - Imported from CTIT

PY - 2004/10

Y1 - 2004/10

N2 - We present an extension of Tretmans¿ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational interpretation of the notion of quiescence in the context of real-time behaviour. This gives rise to a family of implementation relations parameterized by observation durations for quiescence. We define a nondeterministic (parameterized) test generation algorithm that generates test cases that are sound with respect to the corresponding implementation relation. The test generation is also exhaustive in the sense that for each non-conforming implementation a test case can be generated that detects the non-conformance.

AB - We present an extension of Tretmans¿ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational interpretation of the notion of quiescence in the context of real-time behaviour. This gives rise to a family of implementation relations parameterized by observation durations for quiescence. We define a nondeterministic (parameterized) test generation algorithm that generates test cases that are sound with respect to the corresponding implementation relation. The test generation is also exhaustive in the sense that for each non-conforming implementation a test case can be generated that detects the non-conformance.

KW - IR-48975

KW - METIS-220838

KW - FMT-TESTING

KW - EWI-6860

M3 - Report

T3 - CTIT technical report series

BT - A test generation framework for quiescent real-time systems - extended version

PB - INF-Centre for Telematics and Information Techn.

CY - Enschede

ER -

Brandan Briones L, Brinksma H. A test generation framework for quiescent real-time systems - extended version. Enschede: INF-Centre for Telematics and Information Techn., 2004. 20 p. (CTIT technical report series; TR-CTIT-04-40).