CSC_4IN10_TA - Test et validation des logiciels

Tester un logiciel permet de s'assurer dans une certaine mesure de sa correction vis à vis de sa spécification. Même si des tests exhaustifs ne sont généralement pas réalisables; la conception rationnelle de jeux de tests peut permettre de trouver des erreurs et de garantir un fonctionnement nominal dans des classes de cas déterminées.Aussi; déterminer des jeux de tests et mesurer l'étendue des cas de fonctionnement qu'ils couvrent nécessitent des connaissances et des compétences techniques ainsi que la maîtrise d'outils permettant le passage à grande échelle. Ce cours a pour but de présenter les concepts de base du test logiciel. Les différents types de couvertures et de tests seront étudiés. Des techniques statiques seront également explorées. Des outils seront présentés pour automatiser les tests et les insérer dans le déroulement du cycle de développement du logiciel. Les aspects non fonctionnels ainsi que les tests d'interfaces seront évoqués : de par leur nature ils nécessitent des techniques particulières puisque leurs résultats ne se mesurent pas par une 'simple' comparaison avec un résultat attendu.