Quels sont les contrats d'exploitation?
Dans le domaine de la programmation informatique et de l’informatique, les contrats d’exploitation permettent de spécifier ou de documenter la façon dont une fonction particulière modifiera différents éléments d’un programme. Contrairement à une interface de programmation abstraite (API) ou à un document de contrôle d'interface, les contrats d'opération sont utilisés lors de 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, à savoir le nom de l’opération, toute référence à l’opération dans d’autres zones de la conception, toute exigence d’introduction ou d’état avant que l’opération soit effectuée, et l’état de le système ou les variables après l’opération. Le contrat ne définit rien de spécifique sur le fonctionnement interne de l'opération, mais traite uniquement de la manière dont l'état d'un programme est affecté par son utilisation.
Les contrats d’opération, en général, ne sont pas construits pour chaque opération dans un modèle de programme. Ils sont plutôt réservés aux opérations particulièrement complexes ou difficiles à suivre. Plusieurs langages de modélisation informatique, tels que le langage UML (Unified Modeling Language), prennent en charge les contrats d'opération et permettent de 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ération sont le nom de l'opération, qui peut être n'importe quoi, et toute référence croisée. 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 en cours de définition ou que l'opération utilisera dans son traitement. Cela aide à voir comment une conception globale interagit et est particulièrement utile pour voir comment les modifications apportées à une zone du modèle affecteront d'autres zones.
Les contrats d'opération définissent ensuite les conditions préalables nécessaires à l'exécution de l'opération. Cela peut impliquer que certaines variables soient chargées avec des valeurs appropriées ou que certaines parties du programme se trouvent 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 des variables spécifiques.
La partie finale des contrats d’opération définit toutes les conditions postérieures. Les post-conditions sont une liste d'é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 dans une structure de données ou des modifications dans l'état du programme, telles que le transfert du contrôle vers un module séparé. Grâce à l'utilisation de contrats d'exploitation bien définis, les programmes peuvent être modélisés et modifiés efficacement avant le début de la mise en œuvre effective.