Informatique et Sciences du Numérique au lycée : un pas plus loin/LANGAGES/Langages et outils de spécification

Un livre de Wikilivres.
Sauter à la navigation Sauter à la recherche

Cette partie aborde ensuite la question : Comment exprimer ce que doit faire un programme? La spécification d'un programme exprime le résultat attendu de l'exécution d'un programme. Elle est la plupart du temps exprimée en langage naturel et il en résulte souvent quelque ambigüité conduisant parfois à quelque désappointement. Ces ambigüités dans la spécification doivent être levées afin qu'elle puisse être exprimée dans un langage de programmation. Il faut toutefois se garder d'imposer des choix non nécessaires (autrement dit, éviter de sur-spécifier) afin de ne pas contraindre outre mesure l'expression de la spécification dans sa programmation. Par exemple, il est important de mentionner que la gestion des attentes à un service doit se faire sur le mode "premier entré-premier sorti" mais il n'est pas nécessaire de requérir dans la spécification que le groupe de personnes attendant doit être représenté par une liste, un tableau, etc.

Voir Spécification formelle