Automated Test Case Generation for Industrial Control Applications

  • Reinhard Hametner
  • Benjamin Kormann
  • Birgit Vogel-Heuser
  • Dietmar Winkler
  • Alois Zoitl
Chapter
Part of the Studies in Computational Intelligence book series (SCI, volume 480)

Abstract

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.

References

  1. 1.
    I. Sommerville, Software Engineering, 9th edn. (Addison-Wesley, Reading, 2010)Google Scholar
  2. 2.
    T. Linz, H. Schäfer, A. Spillner, Software Testing Foundations: A Study Guide for the Certified Tester Exam, 3rd edn. (Rocky Nook, 2011), 284p, ISBN-10: 1933952784, ISBN-13: 978-1933952789 Google Scholar
  3. 3.
    R. Hametner, D. Winkler, T. Östreicher, S. Biffl, A. Zoitl, The Adaptation of Test-Driven Software Processes to Industrial Automation Engineering. in 8th IEEE International Conference on Industrial Informatics (2010)Google Scholar
  4. 4.
    G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language Reference Manual (Addison-Wesley, Reading, 1999)Google Scholar
  5. 5.
    M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A. Pretschner, Model-Based Testing of Reactive Systems (Springer, Berlin, 2005)MATHCrossRefGoogle Scholar
  6. 6.
    K. Thramboulidis, G. Frey, Towards a model-driven IEC 61131 based development process in industrial automation. J. Softw. Eng. Appl. 84, 217–226 (2011)CrossRefGoogle Scholar
  7. 7.
    M. Utting, B. Legeard, Practical Model-based Testing (Morgan Kaufmann, Los Altos, 2007)Google Scholar
  8. 8.
    P. Chevalley, P. Thevenod-Fosse, Automated Generation of Statistical Test Cases from UML State Diagrams. in Computer Software and Applications Conference. COMPSAC. 25th Annual International (2001), (pp. 205–214)Google Scholar
  9. 9.
    R. Hametner, D. Winkler, T. Östreicher, N. Surnic, S. Biffl, Selecting UML Models for Test-Driven Development along the Automation Systems Engineering Process. in IEEE International Conference on Emerging Technologies and Factory Automation (2010)Google Scholar
  10. 10.
    C. Seidner, O. Roux, Formal methods for systems engineering behavior models. Ind. Inf. IEEE Trans. 4(4), 280–291 (2008)CrossRefGoogle Scholar
  11. 11.
    S. Panjaitan, G. Frey, Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems. in Emerging Technologies and Factory Automation. IEEE Conference on (2006), pp. 766–773Google Scholar
  12. 12.
    T. Hussain, G. Frey, UML-based Development Process for IEC 61499 with Automatic Test-case Generation. in Emerging Technologies and Factory Automation. ETFA’06. IEEE Conference on (2006), pp. 1277–1284Google Scholar
  13. 13.
    W. Zhang, W. Halang, C. Diedrich, Specification of function block applications with uml. in Robotics and Automation. ICRA. Proceedings of the IEEE International Conference on (2005), pp. 4002–4007Google Scholar
  14. 14.
    A. Petrenko, N. Yevtushenko, Testing from partial deterministic fsm specifications. IEEE Trans. Comput. 54, 1154–1165 (2005)CrossRefGoogle Scholar
  15. 15.
    T. Chow, Testing software design modeled by finite-state machines. Trans. Softw. Eng. SE-4(3), 178–187 (1978)CrossRefGoogle Scholar
  16. 16.
    R. Binder, Testing Object-Oriented Systems: Models, Patterns, and Tools (Addison-Wesley, Reading, 2000)Google Scholar
  17. 17.
    C. Meinel, C. Stangier, Modular Partitioning and Dynamic Conjunction Scheduling in Image Computation. in Proceedings of the 2002 IEEE/ACM International Workshop on Logic and Synthesis (IWLS02), New Orleans, USA. Citeseer, (2002)Google Scholar
  18. 18.
    D. Winkler, R. Hametner, S. Biffl, Automation Component Aspects of Efficient Unit Testing. IEEE, ETFA, Mallorca, Spain, September (2009)Google Scholar
  19. 19.
    T. Moser, G. Dürr, and S. Biffl, Ontology-Based Test Case Generation for Simulating Complex Production Automation Systems. in Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE’2010), Redwood City, San Francisco BayGoogle Scholar
  20. 20.
    IEC 61131-3, IEC 61131-3 Standard—Programmable controllers—Part 3: Programming Languages, 2nd edn. International Electrical Commission (2003)Google Scholar
  21. 21.
    IEC 61499-1, Function blocks—Part 1: Architecture. Geneva: International Electrical Commission (2005)Google Scholar
  22. 22.
    I. Hegny, M. Wenger, A. Zoitl, IEC 61499 based Simulation Frame-work for Model-Driven Production Systems Development. in IEEE Conference on Emerging Technologies and Factory Automation (ETFA), (2010), pp. 1–8Google Scholar
  23. 23.
    PLCopen Technical Committee 6, XML Formats for IEC 61131-3, Version 2.01—Official Release, PLCopen, Technical Report, May 2009Google Scholar
  24. 24.
    A. Zoitl, T. Strasser, A. Valentini, Open source initiatives as basis for the establishment of new technologies in industrial automation: 4DIAC a case study. in IEEE International Google Scholar
  25. 25.
    R. Lewis, Modeling Control Systems Using IEC 61499—Applying Function Blocks to Distributed Systems (The Institution of Electrical Engineers, London, 2001), 208p, ISBN-10: 0852967969, ISBN-13: 978-0852967966Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Reinhard Hametner
    • 1
  • Benjamin Kormann
    • 2
  • Birgit Vogel-Heuser
    • 2
  • Dietmar Winkler
    • 3
  • Alois Zoitl
    • 1
  1. 1.Automation and Control Institute (ACIN)Vienna University of Technology (VUT)ViennaAustria
  2. 2.Automation and Information Systems (AIS)Technische Universität MünchenGarchingGermany
  3. 3.CDL for Software Engineering Integration for Flexible Automation SystemsVienna University of Technology (VUT)ViennaAustria

Personalised recommendations