Ce livre porte sur l''étude de la testabilité des systèmes réactifs, développés selon une approche flot de données synchrone. L''objectif de l''analyse de testabilité est de prévoir et de mesurer la difficulté du test durant le développement du système...