|Title:||Automated Test Generation for Structured Text Language using UPPAAL Model Checker|
Software for Programmable Logic Controllers (PLC) is often written in a Structured Text (ST), one of 5 languages defined in IEC 61131-3 standard. At Software Testing Laboratory in MDH we have devised an approach for automated test generation for Function Block Diagrams (FBD), which is another language within the 61131-3 standard. In this thesis, we would like to look into possibilities of transforming ST into a formal language (or some other method) for the purpose of generating test cases reaching a maximum logic coverage of the underlying structure.
Automated Test Generation using Model-Checking: An Industrial Evaluation (Nov 2014) Eduard Paul Enoiu, Adnan Causevic, Thomas Ostrand, Elaine Weyuker, Daniel Sundmark, Paul Pettersson International Journal on Software Tools for Technology Transfer (STTT)
|Prel. end date:||2015-06-07|
|Student:||Filip Markovic email@example.com|