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 this 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.
The students should after the course 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
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.
- 120 credits of which at least 80 credits in Computer Science and/or Computer Engineering or equivalent.
- In addition, English A/English 6 is required.
- For courses given entirely in English exemption is made from the requirement in Swedish course B/Swedish course 3.
You can also apply for the course and get your eligibility evaluated based on knowledge acquired in other ways, such as work experience, other studies etc.
Course title in Swedish
Kvalitetssäkring - Modellbaserad testning i praktiken
After submitting your electronic application, the next step is to submit documentation to demonstrate your eligibility for the course you have applied for. In order to document your eligibility, you must provide your high school diploma and university transcript and proof of your English language proficiency.
To meet the entry requirements for this course you need to have previous academic qualifications (university studies). You will find the specific entry requirements above.
No academic qualifications?
If you do not have the formal academic qualifications needed for a specific course, you can apply for the course and get your eligibility evaluated based on knowledge acquired in other ways, such as work experience, other studies etc. This is also known as a validation of prior learning.
Recognition of prior learning means the mapping out and assessment of an individual's competence and qualifications, regardless how, where or when they were acquired – in the formal education system or in some other way in Sweden or abroad, just recently or a long time ago.
If you think your knowledge and competences will qualify you for this course, you will need to upload th following with your application:
- CV with description of your educational and professional background. Your CV must describe your knowledge and competences in relation to the entry requirements.
- If you refer to work experience, you need to upload an Employers certificate.
If we need more information, we will contact you.
The courses are part of the Prompt project where MDH offers courses at master's level. The courses are given online without physical meetings and are flexible in time and space so that they can be combined with professional life.For companies that want to collaborate on competence development