Title: Combining Runtime Verification and Automated Test Generation for PLC Embedded Software
Subject: Computer science,Software engineering,Embedded systems
Level: Basic/Advanced
Description: Software testing is typically a process where human testers manually write test inputs and expected test results and manually or automatically executing the software on these tests. As a solution to this challenge, automated test generation has been suggested to allow tests to be created with less effort and at lower cost. Runtime verification combines formal verification and testing and is suggested as a practical that can help in finding many errors in software by monitoring software execution. To automate the testing process several researchers have proposed the combination of automated test case generation with runtime verification.

In this thesis, we undertake the combination of automated test generation and runtime verification for testing PLC embedded software. The technique will be evaluated on industrial systems.
Start date:
End date:
Prerequisites:
IDT supervisors: Eduard Paul Enoiu
Examiner:
Comments: