TD de Test Logiciel : Exercices et Problèmes Corrigés

Introduction au document de travaux dirigés

Ce document de travaux dirigés s'adresse aux étudiants en informatique abordant le domaine du test logiciel. Structuré en plusieurs sections thématiques, il propose une série d'exercices pratiques et théoriques permettant d'explorer les différentes méthodes de validation et d'analyse de programmes.

Structure et grands thèmes abordés

Le polycopié aborde plusieurs notions fondamentales du génie logiciel à travers des exercices variés. Les premières sections introduisent les concepts généraux, tels que la notion de test exhaustif, le test aléatoire et les limites des différentes campagnes de vérification. On y trouve également des exercices de programmation et de correction de spécifications ambigües.

Le document développe ensuite la sélection de tests en boîte noire, notamment avec l'approche pairwise pour les configurations réseau, ainsi que l'analyse partitionnelle des domaines de données. Les critères de couverture orientés contrôle font l'objet d'exercices approfondis sur des portions de code en langage C, permettant d'étudier la couverture des instructions, des décisions, des conditions et des chemins.

Enfin, les dernières parties ouvrent sur des sujets avancés tels que la mutation de code, l'exécution symbolique et l'exécution concolique, invitant l'étudiant à manipuler des prédicats de chemin et à comprendre les limites des solveurs de contraintes.

Méthodes d'utilisation pour les révisions

Ce support de travaux dirigés est particulièrement utile pour s'entraîner activement avant des examens ou des contrôles continus en informatique. Il est conseillé de traiter chaque exercice par écrit, notamment pour les graphes de contrôle et les calculs de couverture, avant de confronter ses résultats aux définitions du cours.

Télécharger TD de Test Logiciel : Exercices et Problèmes Corrigés pdf