Model-based Testing, 2.5 credits

Model-based Testing, 2.5 credits

All Courses Software Testing

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 organization.

Responsible: Mälardalen University (Eduard Enoiu/Daniel Sundmark)

Course modules:

  1. 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.
  2. 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.
  3. 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;
  4. 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.

Learning outcomes: 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, organized ways.

Related industrial challenges addressed in the course: In industry, software testing is an essential and very consuming activity in the process of engineering software. Model-based testing is a promising technology that tackles challenges related to test design, test selection and test execution.

Upcoming instances: September 2017, and ’18

More info:

  • Course title in Swedish: Modellbaserad testning
  • Course code: DVA458 (at MdH), MDH-24117 (at antagning.se)
  • Course syllabus at Mälardalen University
  • Autumn 2017 instance at Mälardalen University
  • Apply at antagning.se
  • Admission requirements: 120 credits of which at least 80 credits in Computer Science and / or equivalent. In addition, at least 18 months of documented work experience in software development.