Fonction 10 : test white-box

Fonction 10 : test white-box
R4
10
9
8
7
6
5
4
3
2
1
z
y
x
w
v
u
t
s
r
q
p
o
n
m
l
k
j
i
h
g
f
e’
e
d
c
b
a
(e de fich<> ‘ ‘) and
(e de fich <> eoln)
(e de fich <> ‘ ‘)
and
(e de fich <> eoln)
(e de fich<> ‘ ‘) and
(e de fich <> eoln)
(e de fich <> ‘ ‘)
and
(e de fich <> eoln)
(e de fich <> ‘ ‘)
and
(e de fich <> eoln)
(e = ‘ ‘)
(e = ‘ ‘)
(e = ‘ ‘)
(e = ‘ ‘)
(e = ‘ ‘)
(e <> ‘ ‘)
e de fich <> ‘ ‘
e de fich <> ‘ ‘
e de fich <> ‘ ‘
e de fich <> ‘ ‘
e de fich <> ‘ ‘
e de fich <> ‘ ‘
e de fich <> ‘ ‘
e de fich <> ‘ ‘
e de fich <> ‘ ‘
e de fich <> ‘ ‘
e de gare.txt <> ‘ ‘
R3
R2
R1
Vi de fich <> eoln
Vi de fich <> eoln
Vi de fich <> eoln
Vi de fich <> eoln
Vi de fich <> eoln
Vi de fich <> eoln
e=‘ ‘
Vi de fich <> eoln
e=‘ ‘
Vi de fich <> eoln
e=‘ ‘
e de fich <> eoln
e de fich <> ‘ ‘
e de fich <> eoln
e de fich <> ‘ ‘
e de fich <> eoln
e de fich <> ‘ ‘
e de fich <> eoln
e de fich <> ‘ ‘
e de fich <> eoln
e de fich <> ‘ ‘
e de fich <> eoln
e de fich <> ‘ ‘
e de fich <> eoln
e de fich <> ‘ ‘
e de fich <> eoln
e de fich <> ‘ ‘
e de fich <> eoln
e de fich <> ‘ ‘
e de fich <> eoln
e de fich <> ‘ ‘
e de gare.txt <>
e de gare.txt <> ‘
eoln
‘
Avec Vi : 1<=i <= n : l’ensemble des éléments dans gare.txt.
fich <> eof
fich <> eof
fich <> eof
fich <> eof
fich <> eof
fich <> eof
gare.txt <> eof
10
9
8
7
6
5
4
3
2
1
z
y
x
R7
R6
fich = eof
fich = eof
fich = eof
fich = eof
fich <> eof
fich <> eof
fich <> eof
fich <> eof
fich <> eof
fich <> eof
Vi de fich = eoln
Vi de fich = eoln
Vi de fich = eoln
Vi de fich = eoln
Vi de fich = eoln
Vi de fich = eoln
Vi de fich <> eoln
Vi de fich <> eoln
Vi de fich <> eoln
R5
(e = ‘ ‘)
(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<=i <= n : l’ensemble des éléments dans gare.txt.
Procédure 63 : test Black-Box
procedure ptabhoraires(n : nliaison; g1 : ngare; g2 : ngare; s : boolean; t1 : temps; t2 : temps; li : lliaison;
var tab : tabhoraire)
{Pré : n,g1,g2,s,t1,t2, li sont initialisées AND
li = (V1) -> ... -> (Vn) AND
Vi : 1 <= i <= n : est une liste chainée contenant le nom de la liaison et possède l'adresse de deux autres
listes chainées, c'est à dire une qui correspond au sens naturel (N) et une autre pour le sens inverse (I).
Post : (s = true) => tab = contient de N l'horaire avec la liste des trains circulant dans une liste de gare entre
g1 et g2 dont l'intervalle de temps correspond entre t1 et t2
OR (s = false) => tab = contient de I l'horaire avec la liste des trains circulant dans une liste de gare entre
g1 et g2 dont l'intervalle de temps correspond entre t1 et t2}
Jeux de tests
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
1 jeu de test correspondant à une liste de gares
1 jeu de test correspondant à une liste de trains
1 jeu de test correspondant à une liste de gares et de trains au temps t1
1 jeu de test correspondant à une liste de gares et de trains au temps t2
1 jeu de test correspondant à un ensemble de gares et de train compris entre l’intervalle de temps
t1 et t2
1 jeu de test correspondant à une liste de gare vide.
1 jeu de test correspondant à une liste de train vide.
2 jeux avec s =true et s=false.
Un jeu Si s = true => tab est l’horaire des trains partant dans le sens normal.
Un jeu Si s= false => tab est l’horaire des trains partant dans le sens inverse.
Un jeu de test correspondant à tab = NILL
Un jeu avec t1 <> t2
Un jeu avec t1 < t2
Un jeu de test avec g1 <> g2