Durée: 3 demi-journées

Dates: mardi 13 et mercredi 14 octobre 2015 (14h-17h); mardi 3 novembre (14h-17h, partage d'expériences)

Lieu: INRIA Saclay, bâtiment Turing, salle Gilles Kahn

Intervenant: Hande Özaygen

Pré-requis: La pratique d'au moins un langage de programmation.

Nombre de participants: 15 maximum.

Cette formation est à destination des ingénieurs, chercheurs et (post-)doctorants INRIA.

Le nombre de places est limité. Pour s'inscrire, merci d'écrire à irina.lahaye AT inria.fr avant le 30 septembre.

La formation sera dispensée en anglais (interactions en français possibles).

Introduction

The SED Saclay offers a training course on Software Testing. The course aims to introduce basic software testing concepts and principles, fundamental testing process, testing techniques, and testing tools. The goal is to provide a well-founded basic knowledge of software testing and help the participants grasp a structured and systematic approach for testing and evaluation of software, improve the effectiveness and efficiency of software tests and thus develop quality software.

The course will provide generic knowledge and technique on testing. It will be independent of any programming language. The last session will be devoted to experience exchange and discussions.

Programme
  1. Fundamentals of testing
    • Terms and motivation
    • Software quality
    • Test effort
    • Fundamental testing process
    • General principles of testing
  2. Testing throughout the software life cycle
    • Software development models
    • Testing levels
      • Component tests
      • Integration tests
      • System tests
      • Acceptance tests
      • Generic types of testing
  3. Testing techniques
    • Static techniques
      • Reviews
      • Static analysis
    • Dynamic techniques
      • Black-box testing
        • Equivalence class partitioning
        • Boundary value analysis
        • State transition testing
        • Cause-effect graphing and decision tables
        • Pairwise testing
        • Use-case testing
      • White-box testing
        • Statement coverage
        • Decision/branch coverage
        • Condition testing and coverage
        • Multiple condition testing and coverage
  4. Testing tools