Contratos de Software y Casos de Uso: Componentes Clave para la Especificación de Requisitos
Contratos de Software: Definición y Componentes Esenciales
Un contrato es un documento que especifica el cambio del estado del sistema a partir de la ejecución de la operación que describe. Su enfoque principal debe estar en el qué se logra y no en el cómo se implementa. Para una documentación completa, se recomienda construir un contrato por cada operación del sistema.
Partes Fundamentales de un Contrato de Software
Los contratos deben incluir las siguientes secciones clave:
- Nombre: Identificación de la operación y sus parámetros asociados.
- Responsabilidades: Descripción informal de las responsabilidades que debe cumplir la operación.
- Salida: El valor o retorno esperado de la operación.
- Precondiciones: Suposiciones necesarias sobre el