Andere Kunden interessierten sich auch für
![Etude d¿un poste de contrôle mobile pour drone: supports logiciels]( "Etude d¿un poste de contrôle mobile pour drone: supports logiciels")
Etude d¿un poste de contrôle mobile pour drone: supports logiciels23,99 €![Gestion Electronique de Document]( "Gestion Electronique de Document")
Gestion Electronique de Document32,99 €![Logiciels libres Moteur de développement pour l¿Afrique]( "Logiciels libres Moteur de développement pour l¿Afrique")
Logiciels libres Moteur de développement pour l¿Afrique26,99 €![Détection comportementale des logiciels malveillants par l'exploration de données]( "Détection comportementale des logiciels malveillants par l'exploration de données")
Détection comportementale des logiciels malveillants par l'exploration de données36,99 €![Exploration des systèmes de gestion de bases de données dans le contexte des données médicales]( "Exploration des systèmes de gestion de bases de données dans le contexte des données médicales")
Exploration des systèmes de gestion de bases de données dans le contexte des données médicales43,99 €![Détection des logiciels malveillants à l'aide de la régression logistique avec analyse dynamique]( "Détection des logiciels malveillants à l'aide de la régression logistique avec analyse dynamique")
Détection des logiciels malveillants à l'aide de la régression logistique avec analyse dynamique26,99 €![Analyse comparative des techniques de détection des logiciels malveillants]( "Analyse comparative des techniques de détection des logiciels malveillants")
Analyse comparative des techniques de détection des logiciels malveillants26,99 €
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.