Etapa de verificacion

Etapa de verificación
-Manejo de Requerimientos
De acuerdo con el "Capability Maturity Model" (CMM) [A4], el manejo de requerimientos involucra:
"Establecer y mantener un acuerdo con el clientesobre los requerimientos de el proyecto de software. Este acuerdo son los requerimientos de el sistema alojados al software." … "Este acuerdo cubre requerimientos técnicos y no técnicos (como fechasde entrega).
El acuerdo forma las bases para estimar, planear, ejecutar y monitorear el proyecto de desarrollo de software a través de todo su ciclo de vida." … "Bajo las restricciones del proyecto,el grupo de manejo de requerimientos toma las medidas necesarias para que los requerimientos que están bajo su responsabilidad estén documentados y controlados"
¿De que manera podemos controlar losrequerimientos de software si estos siempre evolucionan con el tiempo? El CMM nos proporciona las guías para lograrlo.
"Para lograr el control de los requerimientos, el grupo de requerimientos revisalos requerimientos antes de que estos sean incorporados al proyecto de software y cada vez que los requerimientos cambian los planes, productos, y actividades son ajustadas para quedar en línea con losnuevos requerimientos de software".
-Método de Verificación
Entre los métodos de verificación más utilizados, se encuentran:
Aserciones E/S
Precondición más débil
Inducción estructuralAserciones E/S
Basado en la lógica de Hoare. El programa, en lógica de Hoare, se específica mediante aserciones que relacionan las entradas y salidas del programa. Se garantiza que si la entrada actualsatisface las restricciones de entrada (precondiciones) la salida satisface las restricciones de salida (pos condiciones).
Se utiliza una expresión del tipo P{programa}Q, siendo P y Q aserciones de lalógica, para indicar que si P es cierto antes de la ejecución del programa y dicho programa termina, entonces Q es cierto tras la ejecución de dicho programa. Este método permite tanto la corrección...