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

par Erwan Brottier

Thèse de doctorat en Informatique

Sous la direction de Yves Le Traon.

Soutenue en 2009

à Rennes 1 .


  • Résumé

    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 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, il produit le formalisme interne de la plate-forme à 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 dès les premières étapes du développement logiciel. 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 et son formalisme interne. 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.

  • Titre traduit

    Requirements modelisation and analysis for software development : a model-driven approach


  • Résumé

    We focus in this PhD on the definition of an industrial platform promoting a better integration of techniques for requirements verification and validation within software development processes. This platform called R2A (which stands for Requirements for Analysis) is entirely built using technologies from model-driven engineering. The core of the platform is a model composition process working at two modeling levels. At the instance-level, it produces a global specification of requirements from a collection of partial, heterogeneous and potentially inconsistent specifications. At the design level (so-called meta-level), it produces the internal formalism of the platform (types of information that can be captured and supported features) from design components which embedd operational, compositional and deployment semantics. As such, this process promotes the adaptability of the platform to various industrial contexts. Obtaining a global specification of requirements (i) allows the application of modern techniques of verification and validation in order to detect inconsistencies and (ii) promotes a model-driven development approach (MDD) from the early stages of software development (synchronization between requirements and downstream development artifacts). The current version of the R2A platform is specialized for the industrial context of France Télécom. It supports four requirements description languages: UML activity diagrams, UML class diagrams, a constrained natural language and the internal formalism. The main features are (i) the generation of system test objectives, (ii) the production of a first analysis model and (iii) requirements consistency checking.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (215 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 209-215

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 2009/157
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.