Reliability
Support for the Model Driven Architecture
Par Genaina Nunes Rodrigues, Graham Roberts, Wolfgang Emmerich et James Skene
Dept. of Computer Science, University College London
Extrait
La fiabilité est un aspect important de la qualité logicielle. Pour vérifier cette qualité en termes de fiabilité, on peut mesurer la continuité du service considéré ou, de façon équivalente, le temps moyen avant une panne.
Cette étude cherche à produire une méthode pour assurer le design de fiabilité en suivant les principes de la Model Driven Architecture (MDA). Ainsi, nous espérons contribuer à l'approche qui adresse de manière continue la fiabilité, dès les premières étapes et jusqu'à la fin de la conception logicielle.
De plus, nous estimons que MDA constitue un cadre de travail qui permet de parvenir à une évaluation de cette approche et ainsi d'intégrer sémantiquement l'analyse et la conception de modèle au sein du même environnement.
(Traduction Cogenit)
Gena´ina Nunes Rodrigues, Graham Roberts, Wolfgang Emmerich and James Skene
Dept. of Computer Science
University College London
Gower Street, London WC1E 6BT,
La méthodologie SMV
Il existe plusieurs méthodes destinées à améliorer la fiabilité des modèles. COGENIT propose l’approche SMV qui s'inspire de la programmation agile et y ajoute l'efficacité de la modélisation et de la simulation.
La modélisation du système à partir des exigences clients permet d’abord de valider des éléments clefs du cahier des charges.
- Celui-ci est-il exhaustif et précis ?
- Les spécifications forment-elles un ensemble cohérent ?
- Les spécifications sont-elles suffisamment détaillées ?
Une fois les spécifications validées et les modèles établis, on peut générer directement des tests afin de vérifier que les spécifications sont satisfaisantes. En fonction des résultats, les spécifications sont alors améliorées pour compléter les documents de spécifications originaux.
Les spécifications clarifiées, le système modélisé et les tests préparés ont pour effet de limiter drastiquement la recherche de bugs. L’ensemble des éléments de validation étant prêt pour valider le système, les erreurs sont découvertes plus rapidement et la productivité améliorée.
En outre, la modélisation va permettre d’obtenir, dès les étapes initiales, une vue précise de la charge du projet, car l’architecture générale aura été testée et validée.
La boucle SMV : des spécifications au retour d'informations client
Sitemap
