HAL Id: hal-01302223
https://hal.archives-ouvertes.fr/hal-01302223v1
Submitted on 13 Apr 2016 (v1), last revised 19 Apr 2016 (v2)
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
La Validation dans le Processus de Développement
Imen Sayar, Jeanine Souquières
To cite this version:
Imen Sayar, Jeanine Souquières. La Validation dans le Processus de Développement. 34ème Congrès
INFORSID, May 2016, Grenoble, France. �hal-01302223v1�
La Validation dans le Processus de Développement
Imen Sayar — Jeanine Souquières
LORIA – CNRS UMR 7503 – Université de Lorraine Campus Scientifique, BP 239
F-54506 Vandœuvre lès Nancy cedex {Firstname.Lastname}@loria.fr
RÉSUMÉ.
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.
ABSTRACT.
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.
MOTS-CLÉS :
exigences, spécification, raffinement, validation, vérification, outils
KEYWORDS: