The subject matter of this course concerns modern and practical techniques for software testing and reliability modeling, suitable for the working software engineer. Software testing concerns the problem of analyzing and evaluating software products to reach some conclusion about their fitness for use. For safety critical, mission critical and enterprise critical systems development it is nowadays essential to have some form of software quality assurance measures in place within an IT project. Quality assurance measures may involve both managerial and technical procedures.
However, the primary focus of this course will be on technical procedures to predict, discover and diagnose errors in software systems.
Performance on the course for individuals will be assessed by the grade awarded for lab work and a take-home examination. Successfully completed lab work gives a total of 3 points. The examination gives 4.5 points. The total number of points given by the course is 7.5 points.
In addition to the Masters level course which involves lab work 3 hp and an exam 4.5 hp, the graduate level version of this course requires an extra graduate level project for 1.5hp.
This will typically be based on a taking a research paper in software testing, implementing some practical aspects of it to perform testing experiments at an advanced level, and writing the results up in a written report.