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

L. Brandan Briones, Hendrik Brinksma

    Research output: Book/ReportReportProfessional

    25 Downloads (Pure)


    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.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherINF-Centre for Telematics and Information Techn.
    Number of pages20
    Publication statusPublished - Oct 2004

    Publication series

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


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

    Cite this