TY - GEN
T1 - Automated test case generation for industrial control applications
AU - Hametner, Reinhard
AU - Kormann, Benjamin
AU - Vogel-Heuser, Birgit
AU - Winkler, Dietmar
AU - Zoitl, Alois
PY - 2013
Y1 - 2013
N2 - The need for increasing flexibility of industrial automation system products leads to the trend of shifting functional behavior from hardware solutions to software components. This trend causes an increasing complexity of software components and the need for comprehensive and automated testing approaches to ensure a required (high) quality level. Nevertheless, key tasks in software testing include identifying appropriate test cases that typically require a high effort for (a) test case generation/construction and (b) test case modification in case of requirements changes. Semi-automated derivation of test cases based on models, like UML, can support test case generation. In this paper we introduce an automated test case generation approach for industrial automation applications where the test cases are specified by UML state chart diagrams. In addition we present a prototype application of the presented approach for a sorting machine. Major results showed that state charts (a) support efficient test case generation and (b) enable automated generation of test cases and code for industrial automation systems.
AB - The need for increasing flexibility of industrial automation system products leads to the trend of shifting functional behavior from hardware solutions to software components. This trend causes an increasing complexity of software components and the need for comprehensive and automated testing approaches to ensure a required (high) quality level. Nevertheless, key tasks in software testing include identifying appropriate test cases that typically require a high effort for (a) test case generation/construction and (b) test case modification in case of requirements changes. Semi-automated derivation of test cases based on models, like UML, can support test case generation. In this paper we introduce an automated test case generation approach for industrial automation applications where the test cases are specified by UML state chart diagrams. In addition we present a prototype application of the presented approach for a sorting machine. Major results showed that state charts (a) support efficient test case generation and (b) enable automated generation of test cases and code for industrial automation systems.
UR - http://www.scopus.com/inward/record.url?scp=84883719022&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-37387-9_20
DO - 10.1007/978-3-642-37387-9_20
M3 - Conference contribution
AN - SCOPUS:84883719022
SN - 9783642373862
T3 - Studies in Computational Intelligence
SP - 263
EP - 273
BT - Recent Advances in Robotics and Automation
A2 - Sen Gupta, Gourab
A2 - Bailey, Donald
A2 - Demidenko, Serge
A2 - Carnegie, Dale
ER -