A master thesis from Aalborg University
Model-Based Test Case Generation in Ecdar: Offline Conformance Testing Using Refinement in Ecdar
Author(s)
Term
4. term
Education
Publication year
2023
Submitted on
2023-06-06
Pages
43 pages
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
Colophon: This page is part of the AAU Student Projects portal, which is run by Aalborg University. Here, you can find and download publicly available bachelor's theses and master's projects from across the university dating from 2008 onwards. Student projects from before 2008 are available in printed form at Aalborg University Library.
If you have any questions about AAU Student Projects or the research registration, dissemination and analysis at Aalborg University, please feel free to contact the VBN team. You can also find more information in the AAU Student Projects FAQs.