Course syllabus - Software Verification and Validation
Autumn semester 2016
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.
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
Introduction to software testing
Cambridge : Cambridge University Press, 2008 - 322 p.
ISBN: 978-0-521-88038-1 (hbk.) LIBRIS-ID: 10875362
Software verification and validation (especially software testing) consumes a large percentage of the development costs and is an important activity in the industry. The aim of the course is to give an in-depth knowledge in the fundamentals of verification and validation of software systems with special focus on Software Testing. The student will be made aware of both the state of art in research and state of practice in industry.
Upon fulfilling the course, the student should be able to:
- understand the possibilities and limitations of software testing In delivery of fault-free software
- apply various software testing techniques in development projects
- analyze the software testing results as well as use them for test management purposes
The focus of this course will be on software testing. A variety of test techniques will be covered along with applicability aspects as well as the
bindings on software reliability modeling.
The course includes:
- Introduction to Software Verification and Validation
- Software Testing overview and classifications
- Functional(black box) testing
- Structural (white box) testing
- Integration testing
- Mutation testing
- Model-based testing and Test case generation
- Software reliability modeling together with bindings on testing
- Overview of testing process, testing tools and test automation
The contents will reflect the latest research topics as well as industrial practices. Guest lectures by industrial experts will be the highlight of
Assignments, Reports, Seminar presentations
At least 120 ECTS credits within at least 60 ECTS credits computer science where at least 7,5 ECTS credits in software engineering are included. 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.
Written assignment (INL3), 2 credits, marks Fail (U) or Pass (G)
Laboratory work (LAB2), 1,5 credits, marks Fail (U) or Pass (G)
Examination (TEN2), written assignment, 4 credits, 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.Study guide