Analyse de Testabilit?de Logiciels Flots de Donn?s

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.

Author: Binh Nguyen-T

Publisher: Omniscriptum

Publication Date: Feb 28, 2018

Number of Pages: 148 pages

Binding: Paperback or Softback

ISBN-10: 6131565511

ISBN-13: 9786131565519