Testing Timed Automata

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

    Research output: Book/ReportReportProfessional

    9 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 languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages24
    Publication statusPublished - Sep 1997

    Publication series

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

    Keywords

    • IR-18593
    • EWI-6020
    • METIS-119114

    Cite this

    Springintveld, J., Vaandrager, F., & d' Argenio, P. R. (1997). Testing Timed Automata. (CTIT Technical Report Series; No. 97-17). Enschede: Centre for Telematics and Information Technology (CTIT).
    Springintveld, Jan ; Vaandrager, Frits ; d' Argenio, P.R. / Testing Timed Automata. Enschede : Centre for Telematics and Information Technology (CTIT), 1997. 24 p. (CTIT Technical Report Series; 97-17).
    @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 = "9",
    language = "Undefined",
    series = "CTIT Technical Report Series",
    publisher = "Centre for Telematics and Information Technology (CTIT)",
    number = "97-17",
    address = "Netherlands",

    }

    Springintveld, J, Vaandrager, F & d' Argenio, PR 1997, Testing Timed Automata. CTIT Technical Report Series, no. 97-17, Centre for Telematics and Information Technology (CTIT), Enschede.

    Testing Timed Automata. / Springintveld, Jan; Vaandrager, Frits; d' Argenio, P.R.

    Enschede : Centre for Telematics and Information Technology (CTIT), 1997. 24 p. (CTIT Technical Report Series; No. 97-17).

    Research output: Book/ReportReportProfessional

    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 -

    Springintveld J, Vaandrager F, d' Argenio PR. Testing Timed Automata. Enschede: Centre for Telematics and Information Technology (CTIT), 1997. 24 p. (CTIT Technical Report Series; 97-17).