SysML modeling of POU-oriented unit tests for IEC 61131-3 control software

Control software performs an important role in various areas in industry. It might be responsible for executing the tasks, where even a small mistake could cause serious damages, loses or could be dangerous for operators. Thus, it is necessary to ensure that the control software quality is as high as possible. There are some approaches to increase it, such as using modeling, standardized implementation, and precise testing. In this paper, the process of modeling unit tests is presented. Such tests are dedicated to Program Organization Units from solutions created according to the IEC 61131-3 standard. The proposed approach allows to model requirements with tests that verify them, a complete test behavior, as well as test suites. For this purpose, three kinds of diagrams from the SysML language are used, namely Requirement, Activity, and Block Definition Diagrams. The model is used to automatically generate templates of tests, the complete tests implementation in the CPTest+ test definition language, as well as a configuration of test suites. The proposed concept has been introduced into the CPDev engineering environment that allows to program controllers.

[1]  Marcin Jamro,et al.  CPDev Engineering Environment for Modeling, Implementation, Testing, and Visualization of Control Software , 2014, Recent Advances in Automation, Robotics and Measuring Techniques.

[2]  Stefan Biffl,et al.  Automation component aspects for efficient unit testing , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[3]  Fabien Peureux,et al.  Development of an automated MBT toolchain from UML/SysML models , 2011, Innovations in Systems and Software Engineering.

[4]  Birgit Vogel-Heuser,et al.  Automated test case generation approach for PLC control software exception handling using fault injection , 2011, IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society.

[5]  B. Van Rompaey,et al.  On The Detection of Test Smells: A Metrics-Based Approach for General Fixture and Eager Test , 2007, IEEE Transactions on Software Engineering.

[6]  Yuefeng Zhang.  Test-Driven Modeling for Model-Driven Development , 2004, IEEE Softw..

[7]  J. Grenning.  Applying test driven development to embedded software , 2007, IEEE Instrumentation & Measurement Magazine.

[8]  Natalia Juristo Juzgado,et al.  Guest Editors' Introduction: Software Testing Practices in Industry , 2006, IEEE Software.

[9]  Marcin Jamro,et al.  IEC 61131-3 programmable human machine interfaces for control devices , 2013, 2013 6th International Conference on Human System Interactions (HSI).

[10]  David Hästbacka,et al.  Model-driven development of industrial process control applications , 2011, J. Syst. Softw..

[11]  Panos Louridas,et al.  JUnit: Unit Testing and Coding in Tandem , 2005, IEEE Softw..

[12]  Stefan Biffl,et al.  A framework for automated testing of automation systems , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

[13]  Stefan Biffl,et al.  The adaptation of test-driven software processes to industrial automation engineering , 2010, 2010 8th IEEE International Conference on Industrial Informatics.

[14]  Kleanthis Thramboulidis,et al.  Model driven development of distributed control applications , 2007 .

[15]  Marcin Jamro.  Development and Execution of POU-Oriented Performance Tests for IEC 61131-3 Control Software , 2014, Recent Advances in Automation, Robotics and Measuring Techniques.

[16]  A. Zoitl,et al.  Agile testing concepts based on keyword-driven testing for industrial automation systems , 2012, IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society.

[17]  Marcin Jamro,et al.  An approach to SysML modeling of IEC 61131-3 control software , 2013, 2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR).

[18]  Gregor Engels,et al.  Towards model-driven unit testing , 2006, MoDELS'06.

[19]  Marcin Jamro,et al.  Testing Procedure for IEC 61131-3 Control Software , 2013, PDeS.

[20]  B. Vogel-Heuser,et al.  Automatic code generation from a UML model to IEC 61131-3 and system configuration tools , 2005, 2005 International Conference on Control and Automation.

[21]  Marga Marcos,et al.  Automatic generation of PLC automation projects from component-based models , 2007 .

[22]  Jürgen Jasperneite,et al.  Model based TTCN-3 testing of industrial automation systems — First results , 2011, ETFA2011.

[23]  Valeriy Vyatkin,et al.  Engineering in Industrial Automation : State of the Art Review , 2013 .

[24]  Hanspeter Mössenböck,et al.  A Comprehensive Solution for Deterministic Replay Debugging of SoftPLC Applications , 2011, IEEE Transactions on Industrial Informatics.

[25]  Alois Zoitl,et al.  Improving Component Testing of Industrial Automation Software , 2009, 2009 Fourth International Multi-Conference on Computing in the Global Information Technology.

[26]  Marcin Jamro,et al.  Running and Testing the Programs Created in IEC 61131-3 Languages , 2013 .

[27]  Jürgen Dingel,et al.  A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems , 2008, SCSS.

[28]  Marcin Jamro,et al.  Measuring, Monitoring, and Analysis of Communication Transactions Performance in Distributed Control System , 2014, CN.

[29]  A. Zoitl,et al.  Re-use of IEC 61131-3 Structured Text for IEC 61499 , 2012, 2012 IEEE International Conference on Industrial Technology.

[30]  Michael F. Zäh,et al.  Model-driven development of PLC software for machine tools , 2008, Prod. Eng..