Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles.

Erwan Brottier 1, 2
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : Dans cette thèse, nous nous intéressons à la définition d'une plate-forme industrielle favorisant une meilleure intégration des techniques de vérification et de validation des exigences au sein des processus de développement. Cette plate-forme, appelée R2A (pour Requirements To Analysis) est entièrement construite à l'aide de technologies issues de l'ingénierie dirigée par les modèles. Le cœur de la plate-forme est un processus de composition de modèles à deux niveaux de modélisation. Au niveau instance, il produit une spécification globale des exigences à partir d'une collection de spécifications d'exigences partielles, hétérogènes et potentiellement incohérentes. Au niveau de la conception de la plate-forme (niveau meta), il produit le formalisme interne de la plate-forme (types d'information pouvant être capturée et fonctionnalités supportées) à partir de composants de conception embarquant des sémantiques opérationnelles, de composition et de déploiement. Ce processus favorise l'adaptabilité de la plate-forme à des contextes industriels variés. L'obtention d'une spécification globale des exigences (i) autorise l'application des techniques modernes de vérification et de validation pour la détection d'incohérences et (ii) favorise une approche de développement dirigée par les modèles (MDD) dès les premières étapes du développement logiciel (synchronisation exigences et artefacts de développement aval). Dans sa version actuelle, la plate-forme est spécialisée pour le contexte industriel de France Télécom. Elle supporte quatre langages de description des exigences : les diagrammes d'activité et de classes UML, un langage naturel contraint (le RDL, pour Requirements Description Language) et son formalisme interne (le RM, pour Requirements Metamodel). Les fonctionnalités principales sont (i) la génération d'objectifs de test système, (ii) la production d'une première spécification d'analyse et (iii) la vérification de la cohérence des exigences.
keyword : exigences MDA IDM
Type de document :
Thèse
Génie logiciel [cs.SE]. Université Rennes 1, 2009. Français
Liste complète des métadonnées

Littérature citée [69 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00512174
Contributeur : Loïc Lesage <>
Soumis le : vendredi 27 août 2010 - 16:27:03
Dernière modification le : vendredi 16 novembre 2018 - 01:30:32
Document(s) archivé(s) le : lundi 29 novembre 2010 - 12:13:05

Identifiants

  • HAL Id : tel-00512174, version 1

Citation

Erwan Brottier. Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles.. Génie logiciel [cs.SE]. Université Rennes 1, 2009. Français. 〈tel-00512174〉

Partager

Métriques

Consultations de la notice

611

Téléchargements de fichiers

2465