1

Objectives and motivations of Model-Based Testing (MBT)

• Why introduce MBT into a test process?
• What are the pitfalls to avoid?
• How does MBT fit into Agile and phased development processes?
• Relationship with requirements engineering.

2

Model-Based Testing activities and products

• Main activities of modeling, test generation and adaptation.
• Input and output elements of a test process with MBT.
• Link to test analysis, design, and implementation activities.

3

Modeling for test design

• How to model for testing.
• Families of modeling languages used for MBT.
• Best practices of MBT modeling.
• When to reuse the models from the requirements analysis phase.

4

Test generation

• Different families of test coverage criteria.
• Implement coverage criteria and test generation.
• Best practices of test generation.

5

Implementing and executing tests with MBT

• Switching from test generation to manual or automated execution.
• Documenting tests and publishing them in the repository.
• Best practices of test adaptation.

6

Evaluation and deployment of an MBT approach

• How to measure the progress of a project with MBT.
• Different categories of tools used for MBT.