Analyse de testabilité de logiciels flots de données [French]

By Thanh Binh Nguyen

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.

• Format: Paperback
• Language: French
• ISBN: 6131565511
• ISBN13: 9786131565519
• Release Date: March 2011
• Publisher: Univ Europeenne
• Length: 148 Pages
• Weight: 0.50 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"