Bachelor and Master Theses

Model based testing is one way to automate the generation of test scripts based on an explicit model (e.g. a state machine) that is typically made based on requirements specifications. Together with Alstom, MDU has developed a model-based test script generation framework, that takes the state machine model of the (sub) system under test made in GraphWalker and generates executable test scripts in C#. This thesis idea will investigate how to generate test scripts from an existing model but with slightly changed requirements. For example, if there are two similar train projects at Alstom, the requirements for a sub-system can be similar, but different in some respects. How will this variability be captured in the GraphWalker model, and how to enhance the test generation framework to generate test scripts based on such a model?

Good programming skills, good understanding of industrial software engineering principles, good understanding of software engineering tools such as configuration management tools, source code management tools, and document management tools. Good understanding of the test script generation framework developed by MDU and GraphWalker tool.

This work builds on previous work done by PhD student Muhammad Nouman Zafar. Check his relevant publications here: https://www.es.mdu.se/staff/4244-Muhammad_Nouman_Zafar

This thesis is a MDU thesis, but documentation will be provided by our industrial partner, Alstom.