• Studies
• Courses
• • INF4290

INF4290 - Software verification and validation

Course content

The validation and verification of software systems is a major issue in the IT industry. The objective of this course is to train future computer scientists and engineers in the fundamental concepts on which state-of-the-art software testing techniques are based. In addition, other important aspects related to software quality are addressed, though in a more superficial manner: quality assurance, safety, fault tolerance, reliability assessment. Though the orientation of the course is practical in nature, the goal is to focus on fundamental and rigorous principles that the students can benefit from for the many years to come, regardless of the evolution of technology.

The course consists of general software testing principles; White-box testing based on code analysis; Black-box, specification-based testing; Testing object-oriented programs; Inspections and reviews; Safety analysis; Statistical testing and reliability analysis; Fault tolerance; Defensive programming.

Learning outcomes

After having completed this course, the students will be able to apply main stream testing techniques, understand their main strengths and weaknesses, and determine when they are appropriate. In addition, the students will have acquired basic knowledge of concepts related to safety and reliability analyses, fault tolerance, and defensive programming.

Admission

Students at UiO must apply for courses in StudentWeb.

International applicants, if you are not already enrolled as a student at UiO, please see our information about admission requirements and procedures for international applicants.

Prerequisites

Recommended prior knowledge

General software engineering essentials and basic statistics. Students should be familiar with at least one programming language, and preferably an object-oriented language such as C++ or Java.

INF1000 - Introduction to object-oriented programming, INF1010 - Object oriented programming, INF1050 - Systems development and INF2100 - Programming project.

Teaching

Two hours of lectures per week.

Exam information

A graded mark will be awarded based on a student project. General information about the examination.

Assessment and grading

Course grades are awarded on a descending scale using alphabetic grades from A to E for passes and F for fail. Read more about the grading system .

An external auditor regularly evaluates the academic quality of the course, including the form of exam used on the course.

Possibility of make-up exams and re-takes

This subject does not offer new examination in the beginning of the subsequent term for candidates who withdraw during an ordinary examination or fail an ordinary examination. For general information about new examination, see http://www.mn.uio.no/studier/admin/eksamen/utsatt-og-ny-eksamen/index.html and http://www.mn.uio.no/english/studies/admin/examination/retaking-examinations/

Withdrawing from exams and limits on re-takes

A student can sit for this exam up to 3 times. If a student wishes to withdraw from the exam, s/he must do this in StudentWeb at least two weeks prior to the first day of the exam. Failure to do so will be counted as one of the three opportunities to sit for the exam.

Other information

It is strongly recommended to attend the first lecture since it will be given important information.

Contact us