Generalised Test Tables: A Practical Specification Language for Reactive Systems

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel‑Heuser, and Alexander Weigl
In:13th International Conference on integrated Formal Methods (iFM 2017)
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:10510
Year:2017
Pages:129-144
Preprint/PDF:generalised_test_tables_ifm2017.pdf
DOI:10.1007/978-3-319-66845-1_9

Abstract

In industrial practice today, correctness of software is rarely verified using formal techniques. One reason is the lack of specification languages for this application area that are both comprehensible and sufficiently expressive. We present the concepts and logical foundations of generalised test tables – a specification language for reactive systems accessible for practitioners. Generalised test tables extend the concept of test tables, which are already frequently used in quality management of reactive systems. The main idea is to allow more general table entries, thus enabling a table to capture not just a single test case but a family of similar behavioural cases. The semantics of generalised test tables is based on a two-party game over infinite words.

BibTeX

@InProceedings{BeckertChaEA2017,
  author       = {Bernhard Beckert and Suhyun Cha and Mattias Ulbrich
                  and Birgit Vogel-Heuser and Alexander Weigl},
  title        = {Generalised Test Tables: A Practical Specification Language for Reactive Systems},
  booktitle    = {13th International Conference on integrated Formal Methods ({iFM} 2017)},
  year         = {2017},
  month        = sep,
  venue        = {Torino, Italy},
  eventdate    = {2017-09-18/2017-09-22},
  publisher    = {Springer},
  series       = {Lecture Notes in Computer Science},
  volume       = {10510},
  pages        = {129--144},
  doi          = {10.1007/978-3-319-66845-1_9}
}