Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Analyse de testabilité de logiciels flots de données
Univ Europeenne - EAN : 9786131565519
Édition papier
EAN : 9786131565519
Paru le : 3 mars 2011
49,00 €
46,45 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9786131565519
- Réf. fournisseur : 4719719
- Editeur : Univ Europeenne
- Date Parution : 3 mars 2011
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 148
- Format : H:229 mm L:152 mm E:9 mm
- Poids : 228gr
- Interdit de retour : Retour interdit
- Résumé : 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.
