Model-Based Testing with ComMA 2023
report
Manually writing test cases takes a lot of time in software development projects. Modelbased testing is a promising approach to automate most of this work by generating tests from models. This, however, shifts the problem to the creation of these models. In the research described here, we investigate the use of existing ComMA models which already have been constructed to describe and analyse software interfaces and component constraints. As a first step, a generator has been developed to generate a test client based on ComMA models. The test client uses the model to stimulate the system under test, checks if the responses
conform to the model, and selects new stimuli based on these responses. Prototypes of the generator have been applied and evaluated by Philips, first for a single interfaces and later on multiple interfaces. The results of these experiments form the basis for future work.
conform to the model, and selects new stimuli based on these responses. Prototypes of the generator have been applied and evaluated by Philips, first for a single interfaces and later on multiple interfaces. The results of these experiments form the basis for future work.
Topics
TNO Identifier
992958
Publisher
TNO
Collation
14 p.
Place of publication
Eindhoven