Projet SNCB : Etape 3

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