Ce livre porte sur l'etude de la testabilite des systemes reactifs, developpes selon une approche flot de donnees synchrone. L'objectif de l'analyse de testabilite est de prevoir et de mesurer la difficulte du test durant le developpement du systeme. Une telle analyse permet egalement de guider les concepteurs et developpeurs pour obtenir un systeme plus testable: le systeme doit etre teste plus efficacement a moindre cout. Nous proposons l'integration...