apuntes

Interacción y evolucion del software
Las etapas de vida software suelen formar parte de un ciclo o bucle, como su nombre sugiere y no son simplemente una lista lineal. Observece la figura las diferentes etapas que rodean al núcleo documentación. La documentación no es una etapa independiente como se puede esperar si no que esta intetgrada en todas las etapas del ciclo de vida software.

Factores en la calidad del software
La construcción de software requiere el cumplimiento de numerosas características. Entre ellas se destacan las siguientes:

Eficiencia. La eficiencia de un software es su capacidad para hacer un buen uso de los
Recursos que manipula.

Transportabilidad (portabilidad) la transportabilidad o portabilidad es la facilidad
Con la que un software puede ser transportado sobre diferentes
Sistemas físicos o lógicos.

Verificabilidad. La verificalidad – facilidad de verificación de un software- es su capacidad para soportar los procedimientos de validación y de aceptar juegos de test
o ensayo de programas.

Integridad. Es la capacidad de un software de proteger sus propios componentes contra los procesos que no tengan el derecho de acceder.

Fácil de utilizar. Un software es fácil de utilizar si se puede comunicar con el usuario de manera cómoda.

Corrección (exactitud). Capacidad de los productos software de realizar exactamente las áreas definidas por su especificación.

Robustez. Capacidad de los productos software de funcionar incluso en situaciones normales.

Extensibilidad. Facilidad que tiene los productos de adaptarse a cambio en su especificación.
.

Métodos formales de verificación de programas
Aunque la verificación formal de programas se sale fuera del ámbito de este libro, por su importancia vamos a consideras dos conceptos clave, asertos (afirmaciones) y princondiciones poscondiciones invariantes que ayudan a documentar, corregir y clarificar el diseño de modulos y de programas.

Asrciones
Una parte importante de una verificación formal es la documentación de un programa a traves de acertos o afirmaciones – sustendncias logicas acerca del programa que se le declaran. La tarea de utilizar verificación formal es probar que un segmento de programa cumple su especificación.

Precondiciones y postcondiciones
Son afirmaciones sencillas sobre condiciones al principio y al final de los modulos. Una precondición de un procedimiento es una afirmación logica sobre sus parámetros de entrada.
Una postcondicion de un procedimientos puede ser una afirmación logica que describe el cambio en el estado del programa producido por la ejecución del procedimiento.
La precondición indica que los parámetros de entrada min y max se dedine antes de que comiense la ejecución del procedimiento.la precondiciones y postcondiciones son mas que un metodo para resumir acciones de un procedimiento

Reglas para prueba de programas
Un medio util para probar que un programa p hace lo que realmente ha de hacer es proporcionar aserciones que expresan las condiciones antes y después que p sea ejecutado. La primera asecion, la precondición describe las condiciones que han de ser verdaderas antes de ejecutar p. la segunda aserción, la postcondicion, describe las condiciones que han de ser verdaderas después de que p se haya ejecutado (suponiendo que la precondición fuera verdadera antes).


Invariantes de bucles
Una invariante de bucle es una condición que es verdadera antes y después de la ejecución de un bucle. Las invariantes de bucles se utiliza para demostrar la conexión. Utilizando invariantes se puede detectar errores antes de comenzar la codificación y por esta razón reducir tiempos de depuración y prueba.