Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems

Bernhard Beckert; Mattias Ulbrich; Birgit Vogel-Heuser; Alexander Weigl

doi:10.1007/978-3-031-17715-6_2

Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems

Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl

Chair of Automation and Information Systems

Humanoid Technologies Lab (H2T)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

Abstract

We give an overview of Generalized Test Tables (GTTs), a specification language derived from existing table-based test case description methods commonly used in the domain of automated production systems. We cover syntax and semantics of GTTs as well as their use for formal verification, and introduce an extension, Relational Test Tables (RTTs), which allow the specification of relations between code variants.

Original language	English
Title of host publication	Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings
Editors	Helmut Seidl, Zhiming Liu, Corina S. Pasareanu
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	7-13
Number of pages	7
ISBN (Print)	9783031177149
DOIs	https://doi.org/10.1007/978-3-031-17715-6_2
State	Published - 2022
Event	19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 - Tbilisi, Georgia Duration: 27 Sep 2022 → 29 Sep 2022

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13572 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022
Country/Territory	Georgia
City	Tbilisi
Period	27/09/22 → 29/09/22

Keywords

Formal specification
Relational verification

Access to Document

10.1007/978-3-031-17715-6_2

Cite this

Beckert, B., Ulbrich, M., Vogel-Heuser, B., & Weigl, A. (2022). Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. In H. Seidl, Z. Liu, & C. S. Pasareanu (Eds.), Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings (pp. 7-13). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13572 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-17715-6_2

Beckert, Bernhard ; Ulbrich, Mattias ; Vogel-Heuser, Birgit et al. / Generalized Test Tables : A Domain-Specific Specification Language for Automated Production Systems. Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. editor / Helmut Seidl ; Zhiming Liu ; Corina S. Pasareanu. Springer Science and Business Media Deutschland GmbH, 2022. pp. 7-13 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{407894c9cdf7418da72e9de73dcc6bb2,

title = "Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems",

abstract = "We give an overview of Generalized Test Tables (GTTs), a specification language derived from existing table-based test case description methods commonly used in the domain of automated production systems. We cover syntax and semantics of GTTs as well as their use for formal verification, and introduce an extension, Relational Test Tables (RTTs), which allow the specification of relations between code variants.",

keywords = "Formal specification, Relational verification",

author = "Bernhard Beckert and Mattias Ulbrich and Birgit Vogel-Heuser and Alexander Weigl",

note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 ; Conference date: 27-09-2022 Through 29-09-2022",

year = "2022",

doi = "10.1007/978-3-031-17715-6_2",

language = "English",

isbn = "9783031177149",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "7--13",

editor = "Helmut Seidl and Zhiming Liu and Pasareanu, {Corina S.}",

booktitle = "Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings",

}

Beckert, B, Ulbrich, M, Vogel-Heuser, B & Weigl, A 2022, Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. in H Seidl, Z Liu & CS Pasareanu (eds), Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13572 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 7-13, 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, Tbilisi, Georgia, 27/09/22. https://doi.org/10.1007/978-3-031-17715-6_2

Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. / Beckert, Bernhard; Ulbrich, Mattias; Vogel-Heuser, Birgit et al.
Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. ed. / Helmut Seidl; Zhiming Liu; Corina S. Pasareanu. Springer Science and Business Media Deutschland GmbH, 2022. p. 7-13 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13572 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Generalized Test Tables

T2 - 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022

AU - Beckert, Bernhard

AU - Ulbrich, Mattias

AU - Vogel-Heuser, Birgit

AU - Weigl, Alexander

PY - 2022

Y1 - 2022

N2 - We give an overview of Generalized Test Tables (GTTs), a specification language derived from existing table-based test case description methods commonly used in the domain of automated production systems. We cover syntax and semantics of GTTs as well as their use for formal verification, and introduce an extension, Relational Test Tables (RTTs), which allow the specification of relations between code variants.

AB - We give an overview of Generalized Test Tables (GTTs), a specification language derived from existing table-based test case description methods commonly used in the domain of automated production systems. We cover syntax and semantics of GTTs as well as their use for formal verification, and introduce an extension, Relational Test Tables (RTTs), which allow the specification of relations between code variants.

KW - Formal specification

KW - Relational verification

UR - http://www.scopus.com/inward/record.url?scp=85140783377&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-17715-6_2

DO - 10.1007/978-3-031-17715-6_2

M3 - Conference contribution

AN - SCOPUS:85140783377

SN - 9783031177149

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 7

EP - 13

BT - Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings

A2 - Seidl, Helmut

A2 - Liu, Zhiming

A2 - Pasareanu, Corina S.

PB - Springer Science and Business Media Deutschland GmbH

Y2 - 27 September 2022 through 29 September 2022

ER -

Beckert B, Ulbrich M, Vogel-Heuser B, Weigl A. Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. In Seidl H, Liu Z, Pasareanu CS, editors, Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Springer Science and Business Media Deutschland GmbH. 2022. p. 7-13. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-17715-6_2