KIT | KIT-Bibliothek | Impressum | Datenschutz

Generalized Test Tables: A Powerful and Intuitive Specification Language for Reactive Systems

Weigl, Alexander ORCID iD icon; Wiebe, Franziska; Ulbrich, Mattias ORCID iD icon; Ulewicz, Sebastian; Cha, Suhyun; Kirsten, Michael ORCID iD icon; Beckert, Bernhard ORCID iD icon; Birgit Vogel-Heuser

Abstract:

With recent trends in manufacturing automation, such as Industry 4.0, control software in automated production systems becomes more and more complex and volatile, complicating and increasing importance of quality assurance. Test tables are a widely used and generally accepted means to intuitively specify test cases for automation software. However, each table only specifies a single software trace, whereas the actual software behavior may cover multiple similar traces not covered by the table.
Within this work, we present a generalization concept for test tables allowing for bounded and unbounded repetition of steps, “don’t-care” values, as well as calculations with earlier observed values. We provide a verification mechanism for checking conformance of an IEC 61131-3 PLC software with a generalized test table, making use of a state-of-the-art model checker. Our notation is inspired by widely-used paradigms found in spreadsheet applications. By an empirical study with mechanical engineering students, we show that the notation matches user expectations. A real-world example extracted from an industrial automation plant illustrates our approach.


Postprint §
DOI: 10.5445/IR/1000072054
Veröffentlicht am 28.03.2019
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2017
Sprache Englisch
Identifikator urn:nbn:de:swb:90-720545
KITopen-ID: 1000072054
Erschienen in 15th IEEE International Conference on Industrial Informatics (INDIN 2017), Emden, July 24-26 2017
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Projektinformation SPP 1593 (DFG, DFG KOORD, BE 2334/7-2)
SPP 1593 (DFG, DFG KOORD, UL 433/1-2)
KASTEL_SKI (BMBF, 16KIS0843)
Externe Relationen Siehe auch
Relationen in KITopen
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page