Print Course syllabus
Course syllabus - Software Verification and Validation
Scope
7.5 credits
Course code
CDT414
Valid from
Autumn semester 2013
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
2013-02-13
Literature lists
Course literature is preliminary up to 8 weeks before course start. Course literature can be valid over several semesters.
-
Books
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
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.
Learning outcomes
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
Course content
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
this course.
Tuition
Assignments, Reports, Seminar presentations
Specific requirements
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.
Examination
Exercise (INL2), 2 credits, marks 3, 4 or 5
Exercise, laboratory work (LAB1), 1.5 credits, marks 3, 4 or 5
Examination (TEN1), 4 credits, marks 3, 4 or 5
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