| Popis: |
With the advent of programmable logic controllers (PLCs), the use of control applications has increased significantly in the recent years. Control system software are usually embedded real time software which interacts with other physical subsystems. The language we are dealing with is IEC 61131-3 standard, a high level domain specific programming language for developing control system software. Testing of programs developed in such language is difficult because of the occurrence of real-time interrupts, exception handlers and complex data-types. Here, a symbolic execution framework SymTest is utilized to obtain test inputs of control system software. SymTest does not ensure optimal feasible paths after backtracking. In this paper an approach using pattern matching and IDA* is utilized to overcome the drawback. The symbolic execution framework is implemented for small programs in IEC 61131-3. |
