Projet SNCB : Etape 3

Projet SNCB : Etape 3Tests white/black-boxTravail realisé par Medaljon Selmani

Function 38 : Test white-boxbaPrédicat ba toujours possible. Aucun contrainte.

Function 10 : test white-box

R7 R6 R510987 fich = eof6 fich = eof Vi de fich = eoln5 fich = eof Vi de fich = eoln4 fich = eof Vi de fich = eoln3 fich eof Vi de fich = eoln2 fich eof Vi de fich = eoln1 fich eof Vi de fich = eolnz fich eof Vi de fich eolny fich eof Vi de fich eoln (e = ‘ ‘)x fich eof Vi de fich eoln (e de fich ‘ ‘) and(e de fich eoln)w fich eof Vi de fich eoln (e de fich ‘ ‘) and(e de fich eoln)v fich eof e de fich eoln (e de fich ‘ ‘) and(e de fich eoln)u fich eof e de fich eoln (e de fich ‘ ‘) and(e de fich eoln)t fich eof e de fich eoln (e de fich ‘ ‘) and(e de fich eoln)s fich eof e de fich eoln (e de fich ‘ ‘) and(e de fich eoln)r fich eof e de fich eoln (e fich ‘ ‘) and(e de fich eoln)q fich eof e de fich eoln (e fich ‘ ‘) and(e de fich eoln)p fich eof e de fich eoln (e de fich = ‘ ‘)o fich eof e de fich eoln (e de fich= ‘ ‘)n fich eof e de fich eoln (e de fich = ‘ ‘)m fich eof e de fich eoln (e de fich= ‘ ‘)l fich eof e de fich eoln (e de fich= ‘ ‘)k fich eof e de fich eoln e de fich ‘ ‘j fich eof e de fich eoln e de fich ‘ ‘i fich eof e de fich eoln e de fich ‘ ‘h fich eof e de fich eoln e de fich ‘ ‘g fich eof e de fich eoln e de fich ‘ ‘f fich eof e de fich eoln e de fich ‘ ‘e’ fich eof e de fich eoln e de fich ‘ ‘e fich eof e de fich eoln e de fich ‘ ‘d fich eof e de fich eoln e de fich ‘ ‘c fich eof e de fich eoln e de fich ‘ ‘b fich eof e de fich eoln e de fich ‘ ‘a Gare.txt eof e de gare.txt eoln e de fich ‘ ‘*Avec Vi : 1

R4 R3 R2 R110987654321zyxwvu (e de fich ‘ ‘)and(e de fich eoln)t (e de fich ‘ ‘)and(e de fich eoln)s (e de fich ‘ ‘)and(e de fich eoln)r (e de fich ‘ ‘) Vi de fich eolnand(e de fich eoln)q (e de fich ‘ ‘) Vi de fich eolnand(e de fich eoln)p (e = ‘ ‘) Vi de fich eolno (e = ‘ ‘) Vi de fich eolnn (e = ‘ ‘) Vi de fich eolnm (e = ‘ ‘) Vi de fich eoln e = ‘ ‘l (e = ‘ ‘) Vi de fich eoln e = ‘ ‘k (e ‘ ‘) Vi de fich eoln e = ‘ ‘j e de fich ‘ ‘ e de fich eoln e de fich ‘ ‘i e de fich ‘ ‘ e de fich eoln e de fich ‘ ‘h e de fich ‘ ‘ e de fich eoln e de fich ‘ ‘g e de fich ‘ ‘ e de fich eoln e de fich ‘ ‘f e de fich ‘ ‘ e de fich eoln e de fich ‘ ‘ fich eofe’ e de fich ‘ ‘ e de fich eoln e de fich ‘ ‘ fich eofe e de fich ‘ ‘ e de fich eoln e de fich ‘ ‘ fich eofd e de fich ‘ ‘ e de fich eoln e de fich ‘ ‘ fich eofc e de fich ‘ ‘ e de fich eoln e de fich ‘ ‘ fich eofb e de fich ‘ ‘ e de fich eoln e de fich ‘ ‘ fich eofa e de gare.txt ‘ ‘ e de gare.txt eoln e de gare.txt ‘ ‘ gare.txt eof

D’où le prédicat pour le chemin10987654321zyxwvutsrqponmlkjuhgfe’edcba est (Gare.txt eof) ∧ (e degare.txt eoln) ∧ (e de fich ‘ ‘) ∧ e( de gare.txt ‘ ‘) ∧ (e de gare.txt eoln) ∧ (e de gare.txt ‘ ‘) ∧ (gare.txt eof)Procedure 60 : Test black-boxEn-tête : procedure atrain (t : ntrain ; n : nliaison ; s : boolean ; lh : lpassages ;var lt : ltrains ; var li:lliaison)Pré : /Post : Ajoute le train de nom t à la liaison de nom n dans le sens de parcoursdonné par s avec le temps de passages listés dans lh, met à jour la liste destrains lt et la liste des liaisons li, met à jour les fichiers trains.txt et liaisons.txtJeux de tests :1. 1 jeu correspondant à l’ajout d’un train t à la liaison n dans le sens deparcours s avec les temps de passages lh2. 1 jeu correspondant à l’ajout d’un train t à la liaison n dans le sens deparcours s avec des temps de passages lh invalide ou inexistants(négatifs par ex)3. 1 jeu correspondant à l’ajout d’un train t à la liaison n dans un sens deparcours invalide ou inexistant4. 1 jeu correspondant à l’ajout d’un train t à une liaison n ne figurant pasdans li5. 1 jeu correspondant à l’ajout d’un train de nom t qui est déjà presentdans la liste de trains lt6. 1 jeu correspondant à l’ajout d’un train de nom t qui est invalide7. 1 jeu correspondant à la mise à jour des fichiers trains.txt et liaisons.txtainsi que la mise à jour des listes lt et li8. 1 jeu avec le fichier trains.txt inexistant9. 1 jeu avec le fichier trains.txt inexistant