In the industrial automation domain, Programmable Logic Controllers (PLC) control production plants; and nowadays, PLCs mainly operate by means of embedded software. Of late this control software is increasing in size and especially in importance because they are employed in safety critical scenarios. Hence, a thorough testing of PLC control software is necessary. However, till today testing is one of the weakest points in the current development process. This is mainly because testing in the automation domain is a human intensive activity; and such manual testing is usually unproductive, often inadequate, and requires high efforts.
展开▼