Analyse de Testabilit de Logiciels Flots de Donn es

Ce livre porte sur l'tude de la testabilit des systmes ractifs, dvelopps selon une approche flot de donnes synchrone. L'objectif de l'analyse de testabilit est de prvoir et de mesurer la difficult du test durant le dveloppement du systme. Une telle analyse permet galement de guider les concepteurs et dveloppeurs pour obtenir un systme plus testable: le systme doit tre test plus efficacement moindre cot. Nous proposons l'intgration de l'analyse de testabilit dans le processus de dveloppement du logiciel. Nous avons d'abord tudi l'analyse de testabilit des spcifications de type flot de donnes. Ensuite, nous nous sommes intresss l'analyse de testabilit du code, qui est implment par des langages impratifs. Ceci ncessite l'utilisation de la forme SSA (Single Static Assignment) afin de transformer le code impratif sous une forme flot de donnes. Enfin, concernant l'aide la spcification des objectifs de test, nous avons propos la prise en compte des caractristiques d'impact sur le processus de test, comme les mesures d'accessibilit et les sorties critiques.