Génie Logiciel - Tests et preuves de programmes
Définition. Un test d'intégration est une procédure permettant de vérifier le bon fonctionnement d'un logiciel suite à l'assemblage de modules indépendants.
Test et Validation du Logiciel Test Structurel - Cedric-CnamTest Structurel ou Test boîte blanche. Utilise la structure pour dériver des cas de tests. Au niveau unitaire : utilise le code (instructions, conditions ... Introduction au test structurel - Exemple Fil rouge (TD)Introduction au test structurel - Exemple Fil rouge. (TD) mercredi 19 novembre 2014 11:00 (1h 30m). Orateurs: Dr PEUREUX, Fabien (Institut FEMTO-ST); Dr ... TD de Test LogicielTD de Test Logiciel ... (2) Donner des jeux de tests du programme couvrant les crit`eres et montrant qu'ils sont différents. Exercice 4 (Couverture structurelle).
Autres Cours:
