Course syllabus - Automated Test Generation, 2.5 credits
Autumn semester 2019
A1N (Second cycle, has only first-cycle course/s as entry requirements).
School of Innovation, Design and Engineering
Course literature is preliminary up to 8 weeks before course start. Course literature can be valid over several semesters.
Kursen har ingen specifik litteratur
Akademin för innovation, design och teknik,
Automated test generation 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 automatic techniques. The course covers basic theories and practical use cases of automated testing.
After completing the course the student should be able to:
1. describe and explain what automated test generation is.
2. implement test generation for a programming language.
3. understand and apply coverage criteria in a test generation tool to develop test cases and use a test generation tool on a software system.
The course covers the following topics:
- Introduction to automated test generation
- Methods for test generation
- Basis for coverage criteria
- Basis for random test generation
- Coverage criteria for software
- Automated model-based test design
The course will be divided into three modules:
● Module 1: Fundamentals of Automated Test Generation
● Module 2: Using Test Design Techniques in Automated Test Generation
● Module 3: Using Evaluation Criteria in Automated Test Generation
120 credits, of which 80 credits in Computer Science and/or Computer Engineering. In addition, Swedish course B/Swedish course 3 and English course A/English course 6 are required. For courses given entirely in English exemption is made from the requirement in Swedish course B/Swedish course 3.
Assignment (INL1), 0.5 credit, marks Fail (U) or Pass (G) (examines learning outcome 1)
Assignment (INL2), 0.5 credit, marks Fail (U) or Pass (G) (examines learning outcome 2)
Assignment (INL3), 0.5 credit, marks Fail (U) or Pass (G) (examines learning outcome 2)
Assignment (INL4), 1 credit, marks Fail (U) or Pass (G) (examines learning outcome 3)
A student who has a certificate from MDH 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 (2016/0601). 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.Study guide