Laboratoire de Programmation - Institut d'Informatique

BAC 2 EN SCIENCES INFORMATIQUESLaboratoire deProgrammationSystème de renseignements automatiques pourvoyageurs de la SNCBThomas Desart03/05/2012Chapitre 3 – Tests et fonction principaleLaboratoire de Programmation Page 1 sur 5

Tests White-BoxFonction 20 (cvlntrains)aLe chemin ab est couvert dans tous les cas.baLaboratoire de Programmation Page 2 sur 5

Fonction 27 (clpassages)Le prédicat pour le chemin abcdefghijbqr est :2≥length(e) ^ not change ^ e[2] ≠ ‘ ’ ^ change ^ e[i+1]≠ ‘ ’ ^ 48≤ord(e[i])≤57 ^ 0≤length(e)Laboratoire de Programmation Page 3 sur 5

Arc R6 R5 R4 R3 R2 R1RQBJi≥length(e)i≥length(e)i≥length(e)I i+1≥length(e) not change ^ e[i+1] ≠ ‘ ’H i+1≥length(e) not change ^ e[i+1] ≠ ‘ ’G i+1≥length(e) not change ^ e[i+1] ≠ ‘ ’ changeF i+1≥length(e) not change ^ e[i+1] ≠ ‘ ’ changeE i+2≥length(e) not change ^ e[i+2] ≠ ‘ ’ change e[i+1]≠ ‘ ’D i+2≥length(e) not change ^ e[i+2] ≠ ‘ ’ change e[i+1]≠ ‘ ’ 48≤ord(e[i])≤57C i+2≥length(e) not change ^ e[i+2] ≠ ‘ ’ change e[i+1]≠ ‘ ’ 48≤ord(e[i])≤57 i≤length(e)B i+2≥length(e) not change ^ e[i+2] ≠ ‘ ’ change e[i+1]≠ ‘ ’ 48≤ord(e[i])≤57 i≤length(e)A 2≥length(e) not change ^ e[2] ≠ ‘ ’ change e[i+1]≠ ‘ ’ 48≤ord(e[i])≤57 0≤length(e)Laboratoire de Programmation Page 4 sur 5

Test Black-BoxFonction 59 (sgare)Préconditions :n ,g , lg, li initialisesPostconditions :Supprime la gare de nom g de la liaison de nom n, met a jour la liste des gares lg et la listedes liaisons li, met a jour les fichiers gares.txt et liaisons.txt1 jeu avec une gare g sur une liaison et les listes lg et li non nulles1 jeu avec une gare g qui ne se trouve pas sur la liaison n2 jeux avec une seule de liste lg ou li nulle1 jeu avec les listes li et lg nulles1 jeu avec la gare g qui ne se trouve pas dans la liste lg1 jeu avec la liaison n qui ne se trouve pas dans la liste li2 jeux avec la gare g ou la liaison n inexistante2 jeux avec un des fichiers gares.txt ou liaisons.txt vides1 jeu avec les fichiers gares.txt liaisons.txt vides1 jeu avec la gare g qui ne se trouve pas dans le fichier gares.txt1 jeu avec la liaison n qui ne se trouve pas dans le fichier liaisons.txtLaboratoire de Programmation Page 5 sur 5