Modélisation, Partition et Spécification des Besoins Logiciels

Qu'est-ce qu'un Modèle ?

Un modèle est une abstraction d'un système fermé sémantiquement.

Langage de Modélisation

Un langage de modélisation permet de spécifier, construire, visualiser et documenter les artefacts des systèmes logiciels.

Pourquoi un Langage de Modélisation est-il Nécessaire ?

• Les systèmes complexes sont difficiles à comprendre sans modèle descriptif.
• Un langage de modélisation capable de capturer la sémantique d'un système logiciel est indispensable lors de la conduite d'un projet logiciel.
• La représentation d'un modèle dans un langage de modélisation standardisé a une valeur significative.

Principe de Partition

• Division en Plusieurs Parties : La partition vise à réduire la complexité en divisant le système en plusieurs parties.
• Domaines de Division : Fonctionnalité, information et comportement.
• Structure Hiérarchique :
  • Division verticale (raffinement) : Décomposition en sous-systèmes de plus en plus détaillés.
  • Division horizontale (division fonctionnelle) : Décomposition en modules fonctionnels distincts.

Spécification des Besoins Logiciels

Une spécification est un document qui définit de manière complète, exacte et vérifiable les exigences, la conception, le comportement ou d'autres caractéristiques d'un système ou d'un composant.

Caractéristiques d'une Bonne Spécification :

• Précision : Doit inclure des informations précises.
• Communication Efficace : Doit communiquer efficacement l'information.
• Orientation sur le "Quoi" : Doit décrire *ce* qu'il faut faire et non *comment* le faire.
• Description des Exigences : Doit décrire les exigences logicielles.
• Exclusion de l'Inutile : Doit exclure les informations superflues.
• Contraintes de Conception : Ne doit pas inclure les détails de conception, de vérification ou de gestion, sauf s'il s'agit de contraintes de conception influençant les caractéristiques souhaitables.
• Non-Ambiguïté : Chaque exigence doit avoir une seule interprétation.
• Complétude : Doit inclure tous les besoins importants et définir la réponse à tous les types d'entrées.
• Conformité aux Standards : Doit être conforme aux standards de spécification.
• Référencement : Tous les chiffres, tableaux, etc., doivent être étiquetés et référencés.
• Vérifiabilité : Il doit exister une procédure finie et rentable pour vérifier que le logiciel répond à l'exigence.
• Cohérence : Absence de conflit ou de contradiction entre les exigences.

Caractéristiques Souhaitables Supplémentaires :

• Facilité de Modification : Doit avoir une structure cohérente et logique.
• Non-Redondance : Éviter la répétition d'informations.
• Traçabilité : Facilité d'identification de l'origine et des conséquences de chaque exigence (référence en arrière et en avant).
• Utilisabilité : Facilité d'utilisation par le personnel d'exploitation et de maintenance, y compris ceux non impliqués dans le développement initial.
• Source de Connaissances : Servir de référence pour la maintenance future.