Testing - KATI9M23

  • Number of hours

    • Lectures 8.0
    • Projects -
    • Tutorials -
    • Internship -
    • Laboratory works 12.0
    • Written tests 2.0

    ECTS

    ECTS 0.6

Goal(s)

Definition and implementation of software tests

Content(s)

Medical risks, example of Therac-25
General information about the dependability
Tests and software development cycle
Static and dynamic tests
Functional, structural and random dynamic tests
Structural tests: test sequences, oracle and coverage criteria
Test techniques: control graph, data flow and mutation test
HMI tests and ergonomic evaluation
Role of the human in the dependability

Prerequisites

Object programming in Java

Calendar

The course exists in the following branches:

  • Curriculum - TIS - Semester 9

Additional Information

Course ID : KATI9M23
Course language(s): FR

You can find this course among all other courses.

Bibliography

Précis de génie logiciel, Gaudel et al., Dunod, 1997
Le test de logiciels, Xanthakis et al., Hermes, 2000