Maîtriser l'ambiguïté dans l'expression d'exigences en langage naturel

L'une des tâches principales de l'ingenierie des exigences est l'elaboration d'un document d'exigences qui decrive de facon precise, coherente et complete les proprietes fonctionnelles et non-fonctionnelles du systeme a construire. A un certain moment au cours du processus d'ingenierie d'exigences, les exigences sont consignees par ecrit en utilisant le langage naturel ou un langage de specification d'exigences. D'une part, le langage naturel est souple, universel et repandu; d'autre part, les exigences en langage naturel sont reputees pour etre incompletes, incoherente et ambigues par essence. Des techniques de specification formelle et semi-formelle d'exigences telles que UML [13] ou SCR [5] ont ete proposees pour pallier ces deficiences. Dans une certaine mesure, la completude et la coherence de ces specifications peuvent etre traitees de facon mecanique a l'aide d'outils. Toutefois, comme une etude recente l'a montre, l'ambiguite apparait rarement au cours du developpement d'un modele d'exigences [10]; aussi, comme une technique de specification d'exigences oblige a la precision, le modele d'exigences resultant devient incorrect sans comprendre d'ambiguite. Dans le present article, les auteurs montrent, en utilisant une liste de verification, comment detecter des ambiguites dans des exigences exprimees en langage naturel. Une distinction est faite entre ambiguites linguistiques et celles propres a l'ingenierie des exigences. Les premieres, telles que les references ambigues de pronoms, sont habituellement decrites dans les ouvrages sur l'ingenierie des exigences. Les secondes interviennent en fonction du contexte de l'ingenierie des exigences, contexte qui inclut le domaine d'application et le domaine du systeme. Par exemple, l'exigence « si le client de la banque maintient un solde positif sur son compte cheque, il n'y a pas de frais mensuels » est ambigue non en raison de sa forme linguistique mais en raison de l'environnement operationnel et du domaine d'application. Dans les documents d'exigences que les auteurs ont etudies, les ambiguites propres a l'ingenierie des exigences representaient la majorite des ambiguites alors que les ambiguites linguistiques tenaient une part bien moindre. Par ailleurs, les auteurs presentent une approche permettant d'identifier les types d'ambiguites propres a l'ingenierie des exigences a partir d'un metamodele, par exemple d'une technique de specification d'exigences. En se basant sur les types d'ambiguites identifies, les auteurs ont developpe, pour les exigences redigees en langage naturel, une technique d'inspection amelioree reposant sur des listes de verification et sur une relecture s'appuyant sur des scenarios.