Test Derivation from Timed Automata

L. Brandan Briones, Mathias Rohl

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    7 Citations (Scopus)
    83 Downloads (Pure)

    Abstract

    A real-time system is a discrete system whose state changes occur in real-numbered time [AH97]. For testing real-time systems, specification languages must be extended with constructs for expressing real-time constraints, the implementation relation must be generalized to consider the temporal dimension, and the data structures and algorithms used to generate tests must be revised to operate on a potentially infinite set of states.
    Original languageUndefined
    Title of host publicationModel-Based Testing of Reactive Systems
    EditorsM. Broy, B. Jonsson, Joost P. Katoen, M. Leucker, A. Pretschner
    Place of PublicationBerlin
    PublisherSpringer
    Pages201-231
    Number of pages31
    ISBN (Print)3 540 26278 4
    DOIs
    Publication statusPublished - 2005
    Event7th International Conference on Formal Engineering Methods, ICFEM 2005 - Manchester, United Kingdom
    Duration: 1 Nov 20054 Nov 2005
    Conference number: 7

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Number3472
    Volume3472

    Conference

    Conference7th International Conference on Formal Engineering Methods, ICFEM 2005
    Abbreviated titleICFEM
    CountryUnited Kingdom
    CityManchester
    Period1/11/054/11/05

    Keywords

    • EWI-1629
    • IR-48992
    • METIS-229709

    Cite this