Automated Transition Coverage in Behavioural Conformance Testing
Lina Marsso, Radu Mateescu, Wendelin Serwe
Abstract. In the setting of ioco-based conformance testing with test purposes, we propose an automatic approach to generate a test plan (set of test purposes) with its associated test suite (set of test cases) cover- ing all transitions of the IOLTS model of the system.