Que sont les contrats d'opération?

Dans le domaine de la programmation informatique et de l'informatique, les contrats d'exploitation 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 pour l'entrée ou l'état avant l'exécution de l'opération et l'état de l'état dele système ou les variables après l'opération ont été effectués.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.Au lieu de cela, 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 comment 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érationsont 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 modifications dans une zone du modèle affecteront d'autres zones.

Les contrats de fonctionnement définissent ensuite les conditions préalables nécessaires pour exécuter l'opération.Cela peut impliquer que certaines variables soient chargées de valeurs appropriées, ou il peut nécessiter 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'opération définit toute condition post-condition.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.