Skip to main content
SpringerLink
Log in

Symbolic Model-Based Testing for Industrial Automation Software

  • Conference paper
Book cover Hardware and Software: Verification and Testing (HVC 2013)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8244))

Included in the following conference series:

Abstract

In industrial automation software controls systems whose failure can be critical and expensive. Testing this software is very crucial but so far done manually, an expensive and not very thorough method. Model-based testing is an emerging concept in computer science for automatically testing a real implementation. It uses a formal specification describing the system behaviour. This specification is the blue print against which an implementation is tested. This paper presents how to use model-based testing in industrial automation. In detail it shows how the known concepts such as sequential function charts, used in industrial automation to describe a system, can be translated to a format that is required for model-based testing, including an automatic derivation of test-cases and its execution. A concrete case study illustrates the strength of this approach.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Albrecht, H.: On Meta-Modeling for Communication in Operational Process Control Engineering VDI-Verlag (2003), VDI Fortschritt-Bericht, Series 8, No. 975, Düsseldorf, Germany, 3-18-397508-4, RWTH Aachen University

    Google Scholar 

  2. Bauer, N., Engell, S., Huuck, R., Lohmann, S., Lukoschus, B., Remelhe, M., Stursberg, O.: Verification of PLC Programs Given as Sequential Function Charts. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 517–540. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  3. Bauer, N., Huuck, R., Lukoschus, B., Engell, S.: A Unifying Semantics for Sequential Function Charts. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 400–418. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  4. Bornot, S., Huuck, R., Lukoschus, B., Lakhnech, Y.: Verification of Sequential Function Charts Using SMV. In: PDPTA 2000: International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, pp. 2987–2993 (2000)

    Google Scholar 

  5. Belinfante, A.: JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 266–270. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  6. Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol. 3472. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  7. Frantzen, L., Tretmans, J., Willemse, T.A.C.: Test Generation Based on Symbolic Specifications. In: Grabowski, Nielsen (eds.) [9], pp. 1–15

    Google Scholar 

  8. Frantzen, L., Tretmans, J., Willemse, T.A.C.: A Symbolic Framework for Model-Based Testing. In: Havelund, K., Núñez, M., Roşu, G., Wolff, B. (eds.) FATES/RV 2006. LNCS, vol. 4262, pp. 40–54. Springer, Heidelberg (2006)

    Google Scholar 

  9. Grabowski, J., Nielsen, B. (eds.): FATES 2004. LNCS, vol. 3395. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  10. Hartman, A., Nagin, K.: The AGEDIS Tools for Model Based Testing. SIGSOFT Softw. Eng. Notes 29(4), 129–132 (2004)

    Article  Google Scholar 

  11. Hellgren, A., Fabian, M., Lennartson, B.: On the Execution of Sequential Function Charts. Control Engineering Practice 13, 1283–1293 (2004)

    Article  Google Scholar 

  12. IEC International Electrotechnical Commission. IEC60848: GRAFCET Specification Language for Sequential Function Charts (2002)

    Google Scholar 

  13. IEC International Electrotechnical Commission. IEC 61131-03: Programmable Controllers - Part 3: Programming Languages, 2nd edn. (2003)

    Google Scholar 

  14. IEC International Electrotechnical Commission. IEC61512-2: Batch Control - Part 2: Data Structures and Guidelines for Language (2001)

    Google Scholar 

  15. ICE International Electrotechnical Commission. IEC62541-5: OPC Unified Architecture (2001)

    Google Scholar 

  16. Iyenghar, P., Pulvermueller, E., Westerkamp, C.: Towards Model-Based Test Automation for Embedded Systems using UML and UTP. In: ETFA 2011. IEEE (2011)

    Google Scholar 

  17. Kumar, B., Czybik, B., Jasperneite, J.: Model Based TTCN-3 Testing of Industrial Automation Systems - First results. In: ETFA 2011. IEEE (2011)

    Google Scholar 

  18. Jard, C., Jéron, T.: TGV: Theory, Principles and Algorithms: A Tool for the Automatic Synthesis of Conformance Test Cases for Non-Deterministic Reactive Systems. J. STTS 7(4), 297–315 (2005)

    Article  Google Scholar 

  19. McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers (1993)

    Google Scholar 

  20. Meyer, D.: Objektverwaltungskonzept für die operative Prozessleittechnik. VDI-Verlag (2002), VDI Fortschritt-Bericht, Series 8, No. 940, Düsseldorf, Germany, 3-18-394008-6, RWTH Aachen University

    Google Scholar 

  21. PLCopen. Technical Committee 6 Technical Paper: XML Formats for IEC 61131-3. Version 2.01 - Official Release (2009)

    Google Scholar 

  22. STSimulator homepage, http://java.net/projects/stsimulator/

  23. von Styp, S., Yu, L.: Two Case Studies for Applying Model Based Testing in Industrial Automation, AIB-2013-11, RWTH Aachen (2013)

    Google Scholar 

  24. von Styp, S., Bohnenkamp, H., Schmaltz, J.: A Conformance Testing Relation for Symbolic Timed Automata. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 243–255. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  25. von Styp, S., Yu, L., Quiros, G.: Automatic Test-Case Derivation and Execution in Industrial Control. In: iATPA 2011: First Workshop on Industrial Automation Tool Integration for Engineering Project Automation. CEUR-WS, pp. 7–12 (2011)

    Google Scholar 

  26. Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive quiescence. Software - Concepts and Tools 17(3), 103–120 (1996)

    MATH  Google Scholar 

  27. UPPAAL homepage, http://www.uppaal.org

  28. VDI/VDE Society for Measurement and Automatic Control. VDI/VDE 3681 Guideline: Classification and Evaluation of Description Methods in Automation and Control Technology (2005)

    Google Scholar 

  29. Yu, L., Quirós, G., Grüner, S., Epple, U.: SFC-Based Process Description for Complex Automation Functionalities. In: EKA 2012: Entwurf Komplexer Automatisierungssysteme, 12. Fachtagung, pp. 13–20. ifak, Magdeburg, Germany (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Modeling and Verification, Department of Computer Science, RWTH Aachen University, Germany

    Sabrina von Styp

  2. Process Control Engineering, RWTH Aachen University, Germany

    Liyong Yu

Authors
  1. Sabrina von Styp
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Liyong Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electrical Engineering and Computer Science, CSE #4645 - ACAL Lab, University of Michigan, 2260 Hayward Avenue, 48109-2121, Ann Arbor, MI, USA

    Valeria Bertacco

  2. Inventors for the Digital World, inria, Bat C, Burean C213, Campus Universitaire de Beaulieu, 35042, Rennes Cedex, France

    Axel Legay

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer International Publishing Switzerland

About this paper

Cite this paper

von Styp, S., Yu, L. (2013). Symbolic Model-Based Testing for Industrial Automation Software. In: Bertacco, V., Legay, A. (eds) Hardware and Software: Verification and Testing. HVC 2013. Lecture Notes in Computer Science, vol 8244. Springer, Cham. https://doi.org/10.1007/978-3-319-03077-7_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-03077-7_6

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-03076-0

  • Online ISBN: 978-3-319-03077-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation