Une approche basée sur les modèles pour le test de robustesse
Les manières de créer et de développer des systèmes informatiques ne cessent d'évoluer. La complexité croissante des logiciels informatiques (répartition du code, utilisation de composants externes, limitation des ressources, etc.) nécessite des méthodes de conception et de validation rigoureus...
Main Author: | |
---|---|
Language: | FRE |
Published: |
2005
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00011203 http://tel.archives-ouvertes.fr/docs/00/05/24/22/PDF/main.pdf http://tel.archives-ouvertes.fr/docs/00/05/24/22/PDF/thesePachon.pdf |