Verificación y Documentación de Programas

Abstract

FUNDAMENTACION DE LA MATERIA En esta materia se verán las bases del Proceso de Prueba y Evaluación de Software. La Evaluación de Software es una disciplina cuya meta, entre otras, es obtener altos cánones de calidad de los productos de software, según la inversión que este requirió. El software es abstracto e intangible, no está restringido por materiales o gobernado por leyes físicas o por procesos de manufactura. Sin embargo,esta falta de restricciones naturales significa que el software puede llegar a ser extremadamente complejo y, por lo tanto, muy difícil de entender y probar su correcto funcionamiento. La dificultad humana de entender y probar elementosabstractos hace que esta materia nos llene de certezas al dictarla, acerca de como medirlos procesos, y nos deje tan perplejos a la hora del ver el resultado del sistema en sus conjunto, después que ha pasado las pruebas.