La spécification d’un

logiciel
RÉALISÉ PAR : TOUMI ILYES
 PLAN

 Introduction
 Définition : spécification d’un logiciel
 Catégories de spécification d’un logiciel
 Un exemple d’un outil de spécification d’un logiciel : Doxygen
 Introduction

 Avant de commencer la phase de conception d’un logiciel, il est nécessaire de

passer par la phase d’analyse des besoins connue aussi par la phase de
spécification
 C’est donc la base pour arriver à la fin à un logiciel qui fonctionne
convenablement selon le besoin
Définition : spécification d’un logiciel

 La spécification établit ce que le système doit faire (le QUOI) et les contraintes
sous lesquelles il doit opérer
 L’ingénierie de la spécification consiste donc à établir une communication entre
les clients et les concepteurs du systèmes
 C’est donc l’analyse du besoin de l’utilisateur
 Comme tout processus de communication, il s’agit donc d’un échange
d’informations ayant pour support un canal de communication entre plusieurs
entités
 L’objectif est d’arriver à la fin de cette phase à rédiger le cahier de charges
fonctionnel du logiciel
 Catégories de spécifications

 Il y a trois grandes catégories de spécifications de système :

 Les spécifications fonctionnelles : on définit les services du système en termes de
relation entre les entrées et les sorties
 Les spécifications non fonctionnelles : ce sont les contraintes et les propriétés remplies
par le système dans son intégralité ,comme, par exemple, l’efficacité, la robustesse, la
sécurité, . . .
 Les spécifications liées aux domaines d’activité : ce sont des spécifications,
fonctionnelles ou non fonctionnelles, qui définissent des informations ou des
contraintes liées aux règles qui régissent certains domaines
Un exemple d’un outil de spécification :
Doxygen
 Doxygen est la contraction de « dox » (« docs », abréviation anglaise de
« documents ») et de « gen » (« generator »), « générateur de documentation ».
 Doxygen peut analyser des fichiers sources écrits dans les langages C, PHP, C++,
Java, Python, IDL, Fortran, VHDL, Tcl ...
 La documentation peut être produite dans les formats suivants : HTML
(compressé ou non), LaTeX, PDF avec hyperliens, et prochainement XML (en
cours de développement).
Un exemple d’un outil de spécification :
Doxygen
Un exemple d’un outil de spécification :
Doxygen
Un exemple d’un outil de spécification :
Doxygen
 UML :
YPES DE DIAGRAMMES + LOGICIEL
YSAWER