cualidades del software

Cualidades del software como requerimientos
Correctitud (Correctness): 
Un programa es funcionalmente correcto si se comporta de acuerdo a la especificación de las funciones (especificación de requerimientos funcionales) 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 noambigua 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 que contenga ambigüedades. 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 laespecificación, más precisa y sistemática podrá ser su evaluación.
Confiabilidad (Reliability): 
Informalmente el software es confiable si 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 unacualidad absoluta, la confiabilidad es relativa. Cualquier desviación de los requerimientos hace que el sistema sea incorrecto, por otro lado, si la consecuencia de un error en el software no es seria, el software incorrecto aún puede ser confiable. En el caso ideal en el que la especificación de requerimientos funcionales captura todas las propiedades deseables de la aplicación y no hay propiedadesindeseables erróneamente especificadas, el conjunto de todos los programas confiables incluye el conjunto de programas correctos, pero no a la inversa. En la práctica, como la especificación es un modelo de lo que quiere el usuario que puede ser o no adecuado para sus necesidades y requerimientos reales, lo máximo que puede hacer el software es cumplir los requerimientos especificados del modelo,sin asegurar la adecuación del mismo.
Robustez (Robustness): 
Un programa es robusto si se comporta en forma razonable aún en circunstancias que no fueron anticipadas en la especificación de requerimientos; por ejemplo cuando encuentra datos de entrada incorrectos o algún malfuncionamiento del hardware como rotura de disco. Un programa que genere un error no recuperable entiempo de ejecución tanpronto como el usuario ingrese inadvertidamente un comando incorrecto no será robusto, aunque podría ser correcto si en la especificación de requerimientos no se establece la acción a tomar si se ingresa un comando incorrecto. La robustez es una cualidad difícil de definir, ya que si se pudiera establecer en forma precisa lo que se debiera hacer para obtener una aplicación robusta, se podríaespecificar completamente el comportamiento “razonable”, con lo cual sería equivalente a la correctitud, o a la confiabilidad en el caso ideal mencionado en la definición anterior. Se puede observar que la robustez y la correctitud están fuertemente relacionadas: si se incluye un requerimiento en la especificación será un tema de correctitud, si no se incluye podría ser un tema de robustez. La líneadivisoria entre ambos es la especificación del sistema
Performance (también Eficiencia): 
En la Ingeniería de Software generalmente performance equivale a eficiencia. Un sistema de software es eficiente si utiliza los recursos computacionales en forma económica. La performance de un sistema es importante porque afecta su usabilidad, por ejemplo, si es muy lento reduce la productividad de losusuarios, si usa demasiado espacio de disco puede ser muy caro de ejecutar, si utiliza demasiada memoria puede afectar al resto de las aplicaciones que se están ejecutando o ejecutarse demasiado lentamente mientras el sistema operativo intenta balancear el uso de la memoria por parte de las distintas aplicaciones. Detrás de estos problemas están los límites cambiantes de la eficiencia según cambia...