• DOI:10.1007/978-3-030-40914-2_8
Corpus ID: 202537533

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

@article{Luthmann2019CompositionalLC,
  title={Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report},
  author={Lars Luthmann and Hendrik G{\"o}ttmann and Malte Lochau},
  journal={ArXiv},
  year={2019},
  volume={abs/1909.03703}
}

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

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed