Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report

  title={Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report},
  author={Lars Luthmann and Hendrik G{\"o}ttmann and Malte Lochau},
  • Lars Luthmann, Hendrik Göttmann, Malte Lochau
  • Published 2019
  • Computer Science
  • ArXiv
  • I/O conformance testing theories (e.g., ioco) are concerned with formally defining when observable output behaviors of an implementation conform to those permitted by a specification. Thereupon, several real-time extensions of ioco, usually called tioco, have been proposed, further taking into account permitted delays between actions. In this paper, we propose an improved version of tioco, called live timed ioco (ltioco), tackling various weaknesses of existing definitions. Here, a reasonable… CONTINUE READING

    Figures and Topics from this paper


    On Conformance Testing for Timed Systems
    • 72
    • Highly Influential
    Model Checking via Reachability Testing for Timed Automata
    • 45
    Black-Box Conformance Testing for Real-Time Systems
    • 216
    • Highly Influential
    • PDF
    Characterization of the Expressive Power of Silent Transitions in Timed Automata
    • 166
    Symbolic Model Checking for Real-Time Systems
    • 834
    • PDF
    Timed I/O automata: a complete specification theory for real-time systems
    • 196
    • Highly Influential
    • PDF
    A Conformance Testing Relation for Symbolic Timed Automata
    • 18