¿Qué son los contratos de operación?
En el ámbito de la programación de computadoras y la informática, los contratos de operación son una forma de especificar o documentar cómo una función particular cambiará diferentes elementos dentro de un programa. A diferencia de una interfaz de programación abstracta (API) o un documento de control de interfaz, los contratos de operación se utilizan para ayudar durante la fase de desarrollo y modelado de la creación de una aplicación o sistema informático. En el nivel más básico, el contrato define cuatro características de la operación, específicamente el nombre de la operación, cualquier referencia a la operación en otras áreas del diseño, cualquier requisito para la entrada o el estado antes de que se realice la operación y el estado del sistema o variables después de la operación se ha realizado. El contrato no define nada específico sobre cómo la operación funciona internamente, y en su lugar solo trata sobre cómo el estado de un programa se ve afectado por su uso.
Los contratos de operación, en general, no están construidos para cada operación dentro de un modelo de programa. InformesTEAD, están reservados para operaciones que son particularmente complejas o difíciles de rastrear. Varios idiomas de modelado de computadora, como el lenguaje de modelado unificado (UML), los contratos de operación de soporte y tienen formas de ayudar a visualizar cómo puede cambiar el estado de un programa una vez que se ha realizado la operación.
Las dos primeras definiciones requeridas para crear contratos de operación son el nombre de la operación, que puede ser cualquier cosa, y cualquier referencia cruzada. Una referencia cruzada es una lista de otras operaciones o áreas de un modelo de programa que utiliza la operación que se está definiendo o que la operación utilizará en su procesamiento. Esto ayuda a ver cómo interactúa un diseño general y es especialmente útil para ver cómo los cambios en un área del modelo afectarán a otras áreas.
.Los contratos de operación a continuación definen las condiciones previas necesarias para ejecutar la operación. Esto puede implicar requerir ciertas variables paracargarse con los valores apropiados, o puede requerir que ciertas partes del programa se encuentren en un estado particular. Si no se cumplen las condiciones previas cuando se ejecuta la operación, la operación no tendrá lugar o podría fallar por completo. El contrato se utiliza como una herramienta abstracta, por lo que las condiciones previas generalmente son bastante generales e involucran el estado del programa que las variables específicas.
La parte final de los contratos de operación define cualquier condición posterior. Las condiciones posteriores son una lista de elementos dentro del modelo de programa que se han cambiado debido a la ejecución de la operación. Esto puede especificar cambios en una estructura de datos o modificaciones en el estado del programa, como cambiar el control a un módulo separado. Mediante el uso de contratos de operación bien definidos, los programas pueden modelarse y modificarse de manera efectiva antes de que comience la implementación real.
.