Executing model‐based tests

Model‐based testing (MBT) supports data‐ and keyword‐driven test automation approaches and pushes the idea of separating logical aspects from data and implementation aspects further on. Model‐based test execution may be manual or automated and offline or online. For manual test execution, the detailed test description is usually part of the MBT model and the authors have some degree of freedom regarding the level of detail. For automated test execution, the situation is different. The generated test cases have to be extremely precise, but the details are not necessarily contained in the model. This chapter looks at the impact of changes on MBT artifacts. A simple change in the MBT model may have much more impact at test generation level than expected. For example, new edges in a diagram strongly influence test case generation in the case of coverage‐based test selection.