Une méthode de formalisation progressive des exigences basée sur un modèle simulable

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.