Expert systèmes critiques

Spécification d'exigences


Cycle en V


Cycle_en_V
Voici un exemple de cycle en V pour un système générique. La descente du cycle en V, à gauche, est un raffinement progressif en blocs systèmes de plus en plus détaillés. La remontée du cycle en V, à gauche, est constituée de tests de plus en plus globaux, en face des niveaux de descente.

Exigences par niveau de spécification


Les spécifications de niveau système, sous-système, équipement, logiciel et matériel se présente généralement sous la forme d’exigences décrivant comment le bloc-système doit se comporter. Les exigences d’un niveau sont tracées vers des exigences-filles du niveau en dessous. Toutes les exigences d’un niveau aynt un sous-niveau doivent être tracées par raffinement vers une ou plusieurs exigences du niveau d’en dessous.

Propriétés des exigences


Les exigences doivent être:
  • claires
  • non ambigües
  • testables
  • testées par un ou plusieurs tests
  • raffinées (sauf pour les exigences du bas du cycle en V)

Outillage


La rédaction et la traçabilité des spécifications d’exigences est généralement outillée pour les systèmes complexes.
Deux exemple d’outil son Requisite Pro et DOORS.
Ces outils permettent de générer une matrice de traçabilité, pour vérifier le raffinement et le test de chaque exigence de haut et moyen niveau.