Master M2 -Fiabilité Logicielle

Emploi du temps 2011/2012

Cours/TD Mercredi14-16h (S 102)
Jeudi14h-16h (S 102)
TP Mercredi16h-18h (S 107)
Présentations :le jeudi 27 octobre 2011. Salle 102.

Examen :le mercredi 2 novembre 2011 Durée 2 h.Salle 102.

Support de cours

Cours 1: Introduction

Cours 2: Construction et Evaluation de Test

Cours 3: Construction et Evaluation de Test

Cours 4: Test d'intégration

Cours 5: Validation Formelle

Fiches de TD

TD1

TD2

TD3

TD4

TD5

Fiches de TP

TP1 test JUnit

TP2 , Couverture de Test. Les classes StringArray.java , StringTest.java

TP 3, Tests Application Web Un exemple, Un formulaire à tester,

TP4, Objets Persistents Doc postgres

TP5, Objets Factices EuroCalc.java , EuroCalcTest.java , ITauxChange.java ,

TP6, Spécifications JML EssaiJML.java ,

Presentations Etudiantes

Déploiement logiciel

Suivi de Probème et gestion de projet

Analyse de performance

Analyse Statique

Techniques de Débogage

Références


M. Schwartzbach
Lecture Notes on Static Analysis.

Aleph-One
Smashing The Stack For Fun And Profit. Aleph One Phrack, Vol7, Issue Forty-Nine (accessible via le net).

Johannes Link
Unit Testing in Java. Morgan Kaufmann. ISBN 1-55860-868-0.

Bertrand Meyer
Objet-Oriented Software Construction.Prentice Hall. ISBN 0-13-629155-4.

A. Zeller
Whey Programs fail.

Junit
Le site Junit

JML
Le site JML

ESC/Java2
Le site ESCJava2

Convention de codage SUN
Le texte

Denis Lugiez
Last modified: Fri Oct 28 14:49:17 CEST 2011