A test generation framework for quiescent real-time systems

L. Brandan Briones, Hendrik Brinksma

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    40 Citations (Scopus)
    47 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 publicationFormal Approaches to Software Testing: 4th International Workshop, FATES 2004
    EditorsJ. Grabowski, B. Nielsen
    Place of PublicationBerlin
    PublisherSpringer
    Pages64-78
    Number of pages15
    ISBN (Print)978-3-540-25109-5
    DOIs
    Publication statusPublished - Sep 2004
    Event4th International Workshop on Formal Approaches to Testing of Software, FATES 2004: Formal approaches to software testing: FATES 2004 - Linz, Austria, Linz, Austria
    Duration: 21 Sep 200421 Sep 2004
    Conference number: 4

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    NumberX
    Volume3395
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference4th International Workshop on Formal Approaches to Testing of Software, FATES 2004
    Abbreviated titleFATES 2004
    CountryAustria
    CityLinz
    Period21/09/0421/09/04
    Other21 Sep 2004

    Keywords

    • METIS-220424
    • IR-48707
    • EWI-1630

    Cite this