A test generation framework for quiescent real-time systems

L. Brandan Briones, Hendrik Brinksma

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

    39 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

    Publication series

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

    Keywords

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

    Cite this

    Brandan Briones, L., & Brinksma, H. (2004). A test generation framework for quiescent real-time systems. In J. Grabowski, & B. Nielsen (Eds.), Formal Approaches to Software Testing: 4th International Workshop, FATES 2004 (pp. 64-78). (Lecture Notes in Computer Science; Vol. 3395, No. X). Berlin: Springer. https://doi.org/10.1007/978-3-540-31848-4_5, https://doi.org/10.1007/b106767