Que sont les contrats d'opération?

Dans le domaine de la programmation informatique et de l'informatique, les contrats de fonctionnement sont un moyen de spécifier ou de documenter comment une fonction particulière modifiera différents éléments au sein d'un programme. Contrairement à une interface de programmation abstraite (API) ou à un document de contrôle d'interface, des contrats de fonctionnement sont utilisés pour aider pendant la phase de développement et de modélisation de la création d'une application ou d'un système informatique. Au niveau le plus élémentaire, le contrat définit quatre caractéristiques de l'opération, en particulier le nom de l'opération, toute référence à l'opération dans d'autres domaines de la conception, toutes les exigences en matière d'entrée ou d'état avant l'exécution de l'opération et l'état du système ou des variables après l'opération. Le contrat ne définit rien de spécifique sur le fonctionnement de l'opération en interne et ne traite plutôt que de la façon dont l'état d'un programme est affecté par son utilisation.

Les contrats d'opération, en général, ne sont pas conçus pour chaque opération d'un modèle de programme. InsouffisantsTead, ils sont réservés aux opérations particulièrement complexes ou difficiles à suivre. Plusieurs langages de modélisation informatique, tels que le langage de modélisation unifié (UML), prennent en charge les contrats d'opération et ont des moyens d'aider à visualiser la façon dont l'état d'un programme peut changer une fois l'opération effectuée.

Les deux premières définitions requises pour créer des contrats d'opération sont le nom de l'opération, qui peut être n'importe quoi, et toutes les références croisées. Une référence croisée est une liste d'autres opérations ou zones d'un modèle de programme qui utilisent l'opération définie ou que l'opération sera utilisée dans son traitement. Cela aide à voir comment une conception globale interagit et est particulièrement utile pour voir comment les changements dans une zone du modèle affecteront d'autres domaines.

Les contrats d'opération définissent ensuite les conditions préalables nécessaires pour exécuter l'opération. Cela peut impliquer de nécessiter certaines variables pourêtre chargé de valeurs appropriées, ou il peut exiger que certaines parties du programme soient dans un état particulier. Si les conditions préalables ne sont pas remplies lors de l'exécution de l'opération, l'opération n'aura pas lieu ou pourrait échouer complètement. Le contrat est utilisé comme un outil abstrait, de sorte que les conditions préalables sont généralement assez générales et impliquent davantage l'état du programme que les variables spécifiques.

La dernière partie des contrats d'exploitation définit toutes les conditions post-conditionnées. Les post-conditions sont une liste des éléments du modèle de programme qui ont été modifiés en raison de l'exécution de l'opération. Cela peut spécifier des modifications à une structure de données ou des modifications à l'état du programme, telles que le contrôle du contrôle vers un module distinct. Grâce à l'utilisation de contrats de fonctionnement bien définis, les programmes peuvent être modélisés et modifiés efficacement avant le début de la mise en œuvre réelle.