Analyse de Testabilité de Logiciels Flots de Données » książka
Analyse de Testabilité de Logiciels Flots de Données
ISBN-13: 9786131565519 / Francuski / Miękka / 2018 / 148 str.
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 de l'analyse de testabilite dans le processus de developpement du logiciel. Nous avons d'abord etudie l'analyse de testabilite des specifications de type flot de donnees. Ensuite, nous nous sommes interesses a l'analyse de testabilite du code, qui est implemente par des langages imperatifs. Ceci necessite l'utilisation de la forme SSA (Single Static Assignment) afin de transformer le code imperatif sous une forme flot de donnees. Enfin, concernant l'aide a la specification des objectifs de test, nous avons propose la prise en compte des caracteristiques d'impact sur le processus de test, comme les mesures d'accessibilite et les sorties critiques."
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. Lobjectif de lanalyse 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 lintégration de lanalyse de testabilité dans le processus de développement du logiciel. Nous avons dabord étudié lanalyse de testabilité des spécifications de type flot de données. Ensuite, nous nous sommes intéressés à lanalyse de testabilité du code, qui est implémenté par des langages impératifs. Ceci nécessite lutilisation de la forme SSA (Single Static Assignment) afin de transformer le code impératif sous une forme flot de données. Enfin, concernant laide à la spécification des objectifs de test, nous avons proposé la prise en compte des caractéristiques dimpact sur le processus de test, comme les mesures daccessibilité et les sorties critiques.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
