Model-Based Test Case Generation in Ecdar: Offline Conformance Testing Using Refinement in Ecdar
Term
4. term
Education
Publication year
2023
Submitted on
2023-06-06
Pages
43
Abstract
This project presents an offline model-based testing approach of real-time systems using Ecdar. A test suite is generated that can be run locally on a system. Firstly, the timed input-output automaton was extended to contain test code in locations and edges. A new issue arose: how to handle clocks in the test code. This was solved by using zones, and asserting that the symbolic values are valid in the test code. Each test case in the test suite is generated by reachability queries to each edge, and extending the trace to the next output edge. The approach was tested in three different case studies, and evaluated using PIT mutation testing on the system. The case studies revealed that the approach was able to detect all the refinement violations introduced by mutants in the system under test.
This project presents an offline model-based testing approach of real-time systems using Ecdar. A test suite is generated that can be run locally on a system. Firstly, the timed input-output automaton was extended to contain test code in locations and edges. A new issue arose: how to handle clocks in the test code. This was solved by using zones, and asserting that the symbolic values are valid in the test code. Each test case in the test suite is generated by reachability queries to each edge, and extending the trace to the next output edge. The approach was tested in three different case studies, and evaluated using PIT mutation testing on the system. The case studies revealed that the approach was able to detect all the refinement violations introduced by mutants in the system under test.
Documents