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 suites, the original system under test was not provided, and we conducted mutation analysis on artificial implementations. The focus of this report is on tuning the influencing factors of the test generation and showing their impact on the generated test suites. This report raises further questions, e.g. about the role of test model transformations for coverage criteria satisfaction. [ABSTRACT FROM AUTHOR]