D) Vérification du corps de l'algorithme
instructions
 valMini
 montPlusValue
 valInit
 valPiece
 valPiece <= valMini
(état initial)
 100
 2
 ?
 ?
demander(valInit)
 100
 2
 92
 ?
while (valInit <= 0)
 100
 2
 92
 ?
 FALSE
valPiece = valInit
 100
 2
 92
 92
while (valPiece <= 100)
 100
 2
 92
 92
 TRUE
valPiece = valPiece + monPlusValue
 100
 2
 92
 94
while (valPiece <= 100)
 100
 2
 92
 94
 TRUE
valPiece = valPiece + monPlusValue
 100
 2
 92
 96
while (valPiece <= 100)
 100
 2
 92
 96
 TRUE
valPiece = valPiece + monPlusValue
 100
 2
 92
 98
while (valPiece <= 100)
 100
 2
 92
 98
 TRUE
valPiece = valPiece + monPlusValue
 100
 2
 92
 100
while (valPiece <= 100)
 100
 2
 92
 100
 TRUE
valPiece = valPiece + monPlusValue
 100
 2
 92
 102
while (valPiece <= 100)
 100
 2
 92
 102
 FALSE

instructions
 valMini
 montPlusValue
 valInit
 valPiece
 valPiece <= valMini
(état initial)
 100
 2
 ?
 ?
demander(valInit)
 100
 2
 97
 ?
while (valInit <= 0)
 100
 2
 97
 ?
 FALSE
valPiece = valInit
 100
 2
 97
 97
while (valPiece <= 100)
 100
 2
 97
 97
 TRUE
valPiece = valPiece + monPlusValue
 100
 2
 97
 99
while (valPiece <= 100)
 100
 2
 97
 99
 TRUE
valPiece = valPiece + monPlusValue
 100
 2
 97
 101
while (valPiece <= 100)
 100
 2
 97
 101
 FALSE

instructions
 valMini
 montPlusValue
 valInit
 valPiece
 valPiece <= valMini
(état initial)
 100
 2
 ?
 ?
demander(valInit)
 100
 2
 -10
 ?
while (valInit <= 0)
 100
 2
 -10
 ?
 TRUE
demander(valInit)
 100
 2
 130
 ?
while (valInit <= 0)
 100
 2
 130
 ?
 FALSE
valPiece = valInit
 100
 2
 130
 130
while (valPiece <= 100)
 100
 2
 130
 130
 FALSE
suivant         plan