Automatic test case generation for programmable logic controller using function block diagram

摘要

Programmable logic controller (PLC) is utilized extensively for automation of the electromechanical process. The functionality of the modern PLC is equivalent to desktop computers. Software source code for PLC's is based on graphical data flow of the functional block diagram (FBD). The software development process has multiple phases. More time and cost to be spent in the testing phase. Effective software testing to be producing high quality in PLC. Test cases are part of the software testing process. If PLC test cases are generated using FBD then all the functional requirements reached. The test case has been lodged in design level to be reducing more cost and time in PLC development process. The applicable test cases are created according to the functional requirements and data flow of FBD. It has been proposed to identify the test coverage criteria, valid and invalid path and data flow from FBD. The methodology has to be completely automated to generate test cases from the functional block diagram. This paper has presented our technique with several PLC devices in a smart home system. The generated test cases achieve high test coverage.