ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

 ARTICLE VOL 11/1-2 - 2005  - pp.145-158  - doi:10.3166/objet.11.1-2.145-158
TITRE
Une méthode de formalisation progressive des exigences basée sur un modèle simulable

RÉSUMÉ
Les exigences d'un logiciel, souvent rédigées en langage naturel, sont à la base des phases de conception et de test fonctionnel. Le langage naturel est par nature ambigu, et les exigences peuvent donc être différemment interprétées lors de la construction et de la validation du logiciel. C'est pourquoi nous proposons une méthode de raffinement progressif des exigences vers des modèles dont la sémantique est connue. À partir d'exigences en langage naturel contrôlé, nous proposons tout d'abord de générer un modèle fonctionnel simulable basé sur les cas d'utilisation UML ; la simulation permet l'amélioration des exigences et peut aussi servir de base à un mécanisme de génération de tests. À partir des exigences ainsi améliorées, nous proposons également la génération d'une ébauche de modèle statique.


ABSTRACT
Software requirements, usually wrutten in natural language, are the basis for design and functionnal testing phases. Due to natural language ambiguity, the requirements can thus be interpretyed differently while building and validating the software. We thus propose an incremental refinement method from the requirements to models with well-known semantics. From requirements in controlled natural language, we first generate a simulatable functional model based on UML use cases, then the simulation is used to enhance the requirements and to generate tests. We also generate a draft of static model


AUTEUR(S)
Clémentine NEBUT, Franck FLEUREY

MOTS-CLÉS
modèles d'exigences, cas d'utilisation, UML.

KEYWORDS
requirement models, use cases, UML.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 34.95 €
• Non abonné : 34.95 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (213 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier