Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles.
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 (the RDL, which stands for Requirements Description Language) and the internal formalism (the RM, which stands for Requirements Metamodel). The main features are (i) the generation of system test objectives, (ii) the production of a first analysis model and (iii) requirements consistency checking.
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.
Domaines
Génie logiciel [cs.SE]
Loading...