Ce document a été produit par HEVEA.
Votre browser peut avoir a être configuré pour afficher correctement
certains symboles.
Reportez-vous à la documentation d'HEVEA.
Licence d'informatique
Projet Unix
comp --- Check out my programs
Octobre 2002
Ce document est disponible sous forme d'un fichier PostScript compressé.
L'objet de la commande comp (Check out my programs) que vous
allez développer est de valider un programme par une étude de son
exécution. C'est-à-dire vérifier que pour une exécution donnée d'un
programme, le résultat produit est conforme au résultat attendu.
Systématiser de telles vérifications lors d'une phase de
développement d'un logiciel permet de
-
réaliser effectivement des tests. Combien de logiciels n'ont
que trop succinctement été testés !
- focaliser sur les tests devant être menées plutôt que sur la
manière de les mener ;
- rejouer systématiquement une batterie de tests lors de la
modification du logiciel.
Une première partie du sujet présente une version basique de la
commande comp. Des extensions sont ensuite proposées.
Ce document a été traduit de LATEX par
HEVEA et HACHA.