Course Syllabus
 
PDF Extract Anglais
 Français
 index
Module : IT306
Title :
Software testing
Number of hours :
Lecture : 12.00 h
Tutorial classes : 6.00 h
ECTS credits :
2.00
Teacher(s) :
RENAULT David
ROLLET Antoine - Responsible
Shared by UV(s) :
I9GL-A Software Management
C9QFIA-D Modeling, verification and test of systems
Level :
third year module
Abstract :
Software testing is used to ensure the apparent correctness of a system w.r.t. some specifications. This approach is naturally not exhaustive as it would generally require an infinite, or if finite an enormous, amount of test cases. Hence, choosing which test case will be ran is crucial in order to ensure enough reliability.
Plan :
    • The importance and costs of software testing
    • Formal approach to software testing
    • Test cases generation from a formal model
    • Covering criterions
    • Applications of software testing
Prerequisite :
None
Evaluation :
2h exam
Document(s) :
Given in classroom
Keyword(s) :
Software testing, test cases covering
Online course :
None