@inproceedings{WeiglWiebeEA2017,
title = {Generalized Test Tables: A Powerful and Intuitive
Specification Language for Reactive Systems},
author = {Alexander Weigl and Franziska Wiebe and Mattias Ulbrich and
Sebastian Ulewicz and Suhyun Cha and Michael Kirsten and
Bernhard Beckert and Birgit Vogel-Heuser},
booktitle = {15th {IEEE} International Conference on Industrial Informatics
({INDIN} 2017)},
pages = {875--882},
publisher = {{IEEE}},
year = {2017},
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.},
month = jul,
venue = {Emden, Germany},
eventdate = {2017-07-24/2017-07-26},
doi = {10.1109/INDIN.2017.8104887} ,
%% SNIP
keywords = {IMPROVEAPS}
}