Nu se pretează? Nu contează! La noi puteți returna bunurile în 30 de zile
Cu un voucher cadou nu veți da greș. În schimbul voucherului, destinatarul își poate alege orice din oferta noastră.
30 de zile pentru retur bunuri
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. Une telle analyse permet également de guider les concepteurs et développeurs pour obtenir un systčme plus testable: le systčme doit ętre testé plus efficacement ŕ moindre coűt. Nous proposons l'intégration de l'analyse de testabilité dans le processus de développement du logiciel. Nous avons d'abord étudié l'analyse de testabilité des spécifications de type flot de données. Ensuite, nous nous sommes intéressés ŕ l'analyse de testabilité du code, qui est implémenté par des langages impératifs. Ceci nécessite l'utilisation de la forme SSA (Single Static Assignment) afin de transformer le code impératif sous une forme flot de données. Enfin, concernant l'aide ŕ la spécification des objectifs de test, nous avons proposé la prise en compte des caractéristiques d'impact sur le processus de test, comme les mesures d'accessibilité et les sorties critiques.