Print Course syllabus
Course syllabus - Model based testing
Scope
2.5 credits
Course code
DVA458
Valid from
Autumn semester 2017
Education level
Second cycle
Progressive Specialisation
A1N (Second cycle, has only first-cycle course/s as entry requirements).
Main area(s)
Computer Science
School
School of Innovation, Design and Engineering
Ratified
2017-01-31
Status
This syllabus is not current and will not be given any more
Literature lists
Course literature is preliminary up to 8 weeks before course start. Course literature can be valid over several semesters.
-
Books
Practical model-based testing : a tools approach
Amsterdam : Morgan Kaufmann Publishers, cop. 2007 - xix, 433 s.
ISBN: 978-0-12-372501-1 LIBRIS-ID: 11330854
Software testing and analysis : process, principles, and techniques
[Hoboken, N.J.] : Wiley, c2008. - xxii, 488 p.
ISBN: 978-0-471-45593-6 LIBRIS-ID: 12918672
URL: Link
Introduction to software testing
Cambridge : Cambridge University Press, 2008 - 322 p.
ISBN: 978-0-521-88038-1 (hbk.) LIBRIS-ID: 10875362
Objectives
Model-based testing has become a popular way of testing software systems. The purpose of this course is to provide knowledge about how to test software systems through models. The course covers basic theories and practical use cases of model-based testing.
Learning outcomes
After completing the course, the student shall be able to:
1. describe and explain what model-based testing is
2. implement models in a specification language
3. understand and apply model coverage criteria in a model-based testing tool
4. develop test cases and use a model-based testing tool on a software system.
Course content
The course covers the following topics:
1. Introduction to model-based testing
2. Techniques for model-based testing
3. Basis for modeling requirements
4. Basis for modeling software systems
5. Coverage criteria for models
6. Designing tests in model-based testing
The course will be divided into three modules:
Module 1: Fundamentals of Model-based Testing, (covering topics 1 and 2)
Module 2: Using Requirement Models in Model-based Testing, (covering topics 3 and 4)
Module 3: Using Evaluation Criteria in Model-based Testing, (covering topics 5 and 6)
Tuition
Video lectures and assignments.
Specific requirements
120 credits of which at least 80 credits in engineering or informatics including at least 30 credits programming or software development. In addition, 18 months of documented work experience in software development or related areas. For courses given entirely in English exemption is made from the requirement in Swedish course B/Swedish course 3.
Examination
Written assignment (INL1), 0,5 credits, (examines the learning objective 1), Marks Fail (U) or Pass (G)
Written assignment (INL2), 0,5 credits, (examines the learning objective 2), Marks Fail (U) or Pass (G)
Written assignment (INL3), 0,5 credits, (examines the learning objective 3), Marks Fail (U) or Pass (G)
Written assignment (INL4), 1 credit, (examines the learning objective 4, Marks Fail (U) or Pass (G)
A student who has a certificate from MDU regarding a disability has the opportunity to submit a request for supportive measures during written examinations or other forms of examination, in accordance with the Rules and Regulations for Examinations at First-cycle and Second-cycle Level at Mälardalen University (2020/1655). It is the examiner who takes decisions on any supportive measures, based on what kind of certificate is issued, and in that case which measures are to be applied.
Suspicions of attempting to deceive in examinations (cheating) are reported to the Vice-Chancellor, in accordance with the Higher Education Ordinance, and are examined by the University’s Disciplinary Board. If the Disciplinary Board considers the student to be guilty of a disciplinary offence, the Board will take a decision on disciplinary action, which will be a warning or suspension.
Grade
Pass, Fail
Interim Regulations and Other Regulations
The course overlaps with 2 credits towards Software Verification and Validation 7,5 credits.