• Transparents de cours :
  • Introduction au cours (pdf)
  • Tests en boite blanche (pdf)
  • Mocking (pdf)
  • Boîte noire (pdf)
  • Méthodes formelles (1/2) (pdf)
  • Méthodes formelles (1/2) : preuves de programmes (pdf)
• Planches de TP :
  • TP 0 (pdf)
  • TP 1 (pdf)
  • TP 2 (pdf)
  • TP 3 (pdf)
  • TP 4 (pdf)
  • TP 5 (pdf)
• Planches de TD :
  • TD 1 (pdf)
  • TD 2 (pdf)
  • TD 3 (pdf)
  • TD 4 (pdf)

Bienvenue sur le cours de fiabilité logicielle