La Validation dans le Processus de Développement - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

La Validation dans le Processus de Développement

Résumé

The amelioration of the quality of a system begins by the requirements elicitation. Our goal is to bridge the gap between requirements, those of the client, and the specification, this of the computer scientist. In this paper, we talk about the validation all along the development of a system, taking into account its requirements and its Event-B specification. The verification may also detect incoherences in the requirements. The Rodin platform is important all along to improve the quality and the documentation of the system, both of its specification and its development process. We illustrate our approach on the case study of an aircraft landing system.
L'amélioration de la qualité d'un logiciel commence par l'expression de ses exigences en langage naturel. Notre objectif est de combler l'écart entre le cahier des charges, celui du client, et la spécification formelle, celle de l'informaticien. Dans ce papier, nous abordons la validation tout au long du processus de développement, en tenant compte des exigences et la spécification en Event-B du logiciel. La vérification peut aussi détecter des incohérences dans les exigences. La place des outils, notamment avec la plateforme Rodin, est importante au long de ce processus, améliorant sa qualité et sa documentation. Notre approche est illustrée par l'étude de cas d'un système de contrôle du train d'atterrissage d'un avion.
Fichier principal
Vignette du fichier
Souquieres_Sayar.pdf (764.99 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01302223 , version 1 (13-04-2016)

Identifiants

  • HAL Id : hal-01302223 , version 1

Citer

Imen Sayar, Jeanine Souquières. La Validation dans le Processus de Développement. 34ème Congrès INFORSID, May 2016, Grenoble, France. ⟨hal-01302223v1⟩
260 Consultations
586 Téléchargements

Partager

Gmail Facebook X LinkedIn More