Université Paris 6 / CNAM Master d'Informatique M2 Spécialité STL	Module de test Thématique Logiciels Sûrs

Emploi du temps et planning prévisionnel

Les cours/TD ont lieu en 2007:

le lundi de 10h à 12h en salle 25-24-306
le mercredi de 18h30 à 20h30 en salle 41-313

Les séances devraient avoir lieu selon le planning suivant:

lundi (V. Ménissier-Morain)		mercredi (P. Ayrault)
		7/2	cours 1: introduction
12/2	cours 2: test structurel	14/2	td 1/2 test structurel
		21/2	td 2/2 test structurel
26/2	cours 3: test fonctionnel	28/2	fin du td 2/2, présentation du TP
5/3	td 3: test fonctionnel	7/3	td 4: un exemple conséquent de test fonctionnel
		14/3	cours 4: tests alternatifs
26/3	EXAMEN amphi A1
05/4	Résultats 1ère session
26/4	Oral 2nde session

Les résultats du module de test devraient être publiés jeudi 5/4 et le rattrapage sera sous forme d'oral le jeudi 26/4 à partir de 14h sur le site Kennedy. Ceux qui souhaitent passer ce rattrapage doivent se manifester d'ici au 23/4.

Les cours, année 2006

Le TP 2007

Le logiciel de TP, écrit par Philippe Ayrault et François Pessaux, version 1.5.1
Le sujet de TP 2007 et les fichiers à tester:

HexaToDecimal au format Linux, Cygwin, Mac OS X
OctalToDecimal au format Linux, Cygwin, Mac OS X
Segment au format Linux, Cygwin, Mac OS X
Hysteresis au format Linux, Cygwin, Mac OS X

Les fichiers objets du TP 2007 devraient être en ligne d'ici à la fin de la semaine.

À rendre avant le lundi 26 mars 2007, sous forme électronique

Examens

sujet ED4A En cas de problème, envoyer un mail à Valérie Ménissier-Morain et Philippe Ayrault