UE NI557 -- Tests

Examen

Le jeudi 20 mars de 10h45 à 12h45 en amphi ASTIER

Document autorisé: une feuille A4, recto-verso, de résumé du cours que vous aurez eu soin de rédiger.

Supports du cours

Exercices hebdomadaires

| exercice 0 | exercice 1 | exercice 2 | exercice 3 | exercice 4 | exercice 5 | exercice 6 |

Résultat des TP

La procédure de calcul de la note de TP est la suivante:

ocamlc synthese.ml
./a.out notes.txt

La note est sur 13

Exercice 0

Implémentez le module voteur dont la spécification est donnée ici. Vous implémenterez le module en C en respectant l'interface donnée dans le fichier voteur.h.
Ceci fait, vous testerez votre module en utilisant un jeu de tests donné dans un fichier texte. Sur chaque ligne de ce fichier, on trouve les valeurs des paramètres d'entrée, séparés par une virgule, puis la valeur de sortie attendue, séparée des entrée par un : (deux-points). Exemple de fichier d'entrée: test0.in. Vous devez définir un ensemble de lignes de tests couvrant la spécification fonctionnelle du module.
Le résultat de l'exécution de vos tests sera un fichier texte (extension .out) dont chaque ligne reprendra chaque ligne du fichier d'entrée .in complétée par le résultat de l'exécution et son statut (OK ou KO). Par exemple: 

734, 1, 745, 1, 730, 1: 736.33: 736.33, OK

Résultats

Exercice 1

On vous fourni des implantations du module voteur.c conformes au fichier d'interface voteur.h. Il est fort probable que ces implantations ne soient pas toutes totalement correctes. Construisez des jeux de tests afin de détecter les erreurs d'implantation. exécutez ces jeux de tests sur les implantations proposées et produisez un raaport d'exécution de test pour chacune d'elle. Puis, pour chaque rapport d'exécution de test, écrivez un rapport d'analyse signalant les anomalies détectées dans lequel pour chaque test ayant échoué vous indiquerez quelle exigence de fonctionnement de la spécification n'a pas été satisfaite.

Les 4 implémentations proposées: |un|deux|trois|quatre|

Livrable

Les fichiers d'entrée des tests et les rapports d'analyse.

Résultats

Ce fichier contient un rapport de tests pour les 4 voteurs établi par votre serviteur. Cet autre fichier contient quelques remarques sur les rapports que nous avons reçus ainsi qu'une petite méthodologie de conception de tests: lisez-le.
Les appréciations sur vos travaux ne sont pas encore finalisées.

Exercice 2

Le sujet est ici, et là le fichier d'interface nécessaire.

Livraison

Le fichier texte d'entrée des tests et le fichier PDF de commentaires et justifications des tests; le tout dans une archive .zip ou .tgz (ou .tar.gz) nommée comme il se doit: nom1[.nom2].ext

Résultats

Exercice 3

Cet exercice reprend le module voteur du premier exercice pour y appliquer la mesure de couverture structurelle. Les consignes sont ici.

Livrable

Une archive (zip ou tgz) correctement nommée qui contient:
  1. un README
  2. un module voteur.c conforme à l'interface voteur.h (cf Exercice 0) qui implémente la version outillée pour l'affichage des chemins
  3. votre fichier de tests (format texte: m1,v1,m2,v2,m3,v3:r)
  4. un document (texte ou pdf) contenant la trace de l'exécution des tests et l'analyse de couverture.

Résultats

Exercice 4

Tout est dans la spéc.

Exercice 5

Le travail consiste à tester les traducteurs JSON2XML réalisés la semaine dernière. Chaque traducteur est accompagné de la ligne de commande permettant son exécution sur un système Linux/UNIX.
Vous appliquerez vos tests sur chacun des traducteurs fournis. Pour cela, vous utiliserez un script shell ou un Makefile.

Vous testerez également votre propre programme.

Les fichiers de test ne sont pas fournis, c'est à vous de les concevoir et les écrire.

Livrables

  1. Un README
  2. Un ensemble de fichiers .json dont chacun contientdra un cas de test.
  3. Un document .pdf contenant votre rapport de tests.
  4. Le script ou le Makefile pour exécuter les tests.

Résultats

Exercice 6

Les consignes concernant ce dernier exercice sont ici. Le fichier d'interface triangle.h est là et le module triangle.o est là.

Livrables

  1. Le README
  2. Le programme d'exécution des tests
  3. Le fichier d'entrée des tests
  4. Le rapport avec diagnostic argumenté des anomalies

Résultats


Page initiale Maison
Page précédente Enseignement