cualidades de software

Introducción a la Ingeniería de Software
Cualidades del software
Correctitud (Correctness):..........................................................................................................1
Confiabilidad (Reliability):..........................................................................................................1
Robustez(Robustness):.............................................................................................................2
Performance (también Eficciency):.............................................................................................2
Amigabilidad (Friendliness):.......................................................................................................2
Verificabilidad(Verifiability):......................................................................................................3
Mantenibilidad (Maintainability):.................................................................................................3
Reparabilidad (Reparability):...............................................................................................................4
Evolucionabilidad(Evolvability):...........................................................................................................4
Reusabilidad (Reusability):.........................................................................................................4
Portabilidad (Portability):...........................................................................................................5
Comprensibilidad(Understandability):........................................................................................5
Interoperabilidad (Interoperability):...........................................................................................6
Productividad (Productivity):......................................................................................................6
Oportunidad(Timeliness)..........................................................................................................6
Visibilidad (Visibility):................................................................................................................7
Correctitud (Correctness):
Un programa es funcionalmente correcto si se comporta de acuerdo a la especificación de las funciones
(especificación de requerimientosfuncionales) que debería proveer. Esta definición de correctitud asume
que existe una especificación de requerimientos funcionales del sistema y que es posible determinar en
forma no ambigua si las cumple o no. Se presentan diversas dificultades cuando no existe dicha
especificación, o si existe pero está escrita informalmente utilizando, por ejemplo, lenguaje natural por lo
que es posible quecontenga ambiguedades.
La correctitud es una propiedad matemática que establece la equivalencia entre el software y su
especificación, por lo que cuanto más riguroso se haya sido en la especificación, más precisa y sistemática
podrá ser su evaluación.
Posteriormente se verá que la correctitud puede ser evaluada mediante diversos métodos, algunos de
enfoque experimental como las pruebas, otrosde enfoque analítico como verificación formal de la
correctitud.
Es de notar que esta definición de correctitud no toma en consideración el que la especificación en sí misma
puede ser incorrecta por contener inconsistencias internas, o no corresponder de forma adecuada a las
necesidades para las que fue concebido el programa.
Confiabilidad (Reliability):
Informalmente el software es confiablesi el usuario puede tenerle confianza. Formalmente la confiabilidad
se define en términos del comportamiento estadístico: la probabilidad de que el software opere como es
esperado en un intervalo de tiempo especificado. Contrariamente a la correctitud que es una cualidad
absoluta, la confiabilidad es relativa. Cualquier desviación de los requerimientos hace que el sistema sea
incorrecto,...