Title: An Evaluation of Model-based Testing in Industrial Practice: From System Modelling to Test Generation
Subject: Software engineering,Embedded systems
Level: Advanced
Description: Software testing is a crucial activity in a successful software project that demands a significant effort. Model-based testing has been proposed as a suitable way of replacing time consuming and costly manual processes with model-based tools for creation, execution and evaluation of tests. Model-based testing promises considerable improvements in productivity, quality and cost savings. On the other hand, model-based testing brings challenges since the adoption of such an approach could imply a major change in the established test process.

The main objective of the thesis is to assess the impact and benefits of using model-based testing for development processes within Volvo CE and evaluate its applicability using a quantitative and qualitative case study. The aims of this case study are twofold: (1) to understand and document how model-based testing can be applied in industry and (2) to identify the most important factors affecting model-based testing use, with a particular emphasis on uncovering organizational and technical factors.

Document current Testing processes and identify “contexts” and “gaps” for test automation as well as model-based testing approach
Select a tool for model-based testing suitable to the VCE context
Document the use of the model-based testing tool
Identify organizational and technical factors influencing model-based testing adoption in the VCE context.

Expected Results:
Identification of criteria for quantitative and qualitative analysis of VCE testing processes.
A proof-of-concept tool framework to support MBT and enhance productivity and efficiency of existing testing processes (towards test automation).
A report describing application of model-based testing methodology in VCE and the identification of organizational and technical factors influencing its adoption. Also identified quantitative and qualitative criterion.
Start date:
End date:
Prerequisites: Required Skills:
General knowledge of systems/software testing
System and software Modeling knowledge e.g. UML/SysML, Simulink
Knowledge of empirical research methods
IDT supervisors: Eduard Paul Enoiu, Jagadish Suryadevara
Examiner: Jan Carlson
Company contact: Volvo CE, Esklistuna Suryadevara Jagadish jagadish.suryadevara@volvo.com