Generalized Test Tables: A Powerful and Intuitive Specification Language for Reactive Systems (bibtex)
by Weigl, Alexander, Fassl, Franziska, Ulbrich, Mattias, Ulewicz, Sebastian, Cha, Suhyun, Kirsten, Michael, Beckert, Bernhard and Vogel-Heuser, Birgit
Abstract:
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, \grqqdon'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.
Reference:
Generalized Test Tables: A Powerful and Intuitive Specification Language for Reactive Systems (Weigl, Alexander, Fassl, Franziska, Ulbrich, Mattias, Ulewicz, Sebastian, Cha, Suhyun, Kirsten, Michael, Beckert, Bernhard and Vogel-Heuser, Birgit), In 15th IEEE International Conference on Industrial Informatics (INDIN), 2017.
Bibtex Entry:
@inproceedings{WeFaUl2017,
title = {Generalized Test Tables: A Powerful and Intuitive Specification Language for Reactive Systems},
author = {Weigl, Alexander and Fassl, Franziska and Ulbrich, Mattias and Ulewicz, Sebastian and Cha, Suhyun and Kirsten, Michael and Beckert, Bernhard and Vogel-Heuser, Birgit},
year = 2017,
month = July,
address = {Emden, Germany},
pages = {875--882},
booktitle = {15th IEEE International Conference on Industrial Informatics (INDIN)},
doi = {10.1109/INDIN.2017.8104887},
abstract = {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, \grqqdon'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.},
}
Powered by bibtexbrowser