Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation

Automatic Model-based test generation is influenced by many factors such as the test generation algorithm, the structure of the used test model, and the applied coverage criteria. In this paper, we report on an industrial cooperation for model-based testing: We used a UML state machine to generate test spites the original system under test was clot provided, and we conducted mutation ann,lysis on artificial implementations. The focus of this report is on tuning the influencing factors of the test gene ration and showing their impact on the generated test suites. This report; I uses further question, e.g. about the role of test model transformations for coverage criteria satisfaction.