Quality assurance – Model based testing in practice
This course deals with model-based testing, a class of technologies shown to be effective and efficient in assessing the quality and correctness of large software systems. Throughout the course the participants will learn how to design and use model-based testing tools, how to create realistic models and how to use these models to automate the testing process in their organisation.
About the course
- Fundamentals of Model-based Testing: basic model-based testing terminology; what model-based testing is; finite state machines; how to select your tests using models; making these tests executable.
- Model-driven Testing: creating models from industrial code; automating test design; model-checking and searching through large models to find suitable tests; test automation; executing model-based tests.
- Using Coverage Criteria in Model-based Testing: practical ways to search the input space thoroughly; graph-based coverage criteria; logic-based coverage criteria; how to provide traceability from code to tests; make regression testing easier;
- How to use Model-based Testing in Practice: tools for model-based testing; test management, choosing the model-based criteria to use and deciding how much automation is needed; test maintenance using model-based testing; test documentation in model-based testing.
After this course students should be able to:
- have knowledge about models and understand model-based testing.
- develop practical skills and abilities on applying model-based testing in industrial practice.
- to test software using model-based testing in structured, organised ways.
Related industrial challenges addressed in the course
For Course Syllabus use course code DVA469 in the.