ingeniería de software
Solución al problema del triángulo:
(ejemplo tomado de Auditoría y Seguridad de los Sistemas de Computación de Jorge R. Nardelli, quien cita a Glenford J. Myers, “El arte de probar el software”.Editorial El Ateneo, Bs.As. 1983)
“Con la finalidad de alertar al auditor sobre los problemas que presenta la prueba de un programa desde una óptica estrictamente técnica, desarrollaremos elinteresante ejemplo de Myers, a efectos de trasladar luego al campo de la auditoría las inquietudes y enseñanzas recogidas.
Myers explica que en muchas oportunidades, en el comienzo de los cursos que dictasobre la confiabilidad del software, asigna como tarea a cumplir en la casa y tener resuelta para la próxima sesión, la siguiente:
Tengo un pequeño programa a cual ingresan tres números enteros querepresentan las dimensiones de los lados de un triángulo. El programa examina la información de entrada e imprime un mensaje indicando si se trata de un triángulo escaleno, isósceles o equilátero.Desarrolle los datos de prueba a efectos de probar adecuadamente el programa”
Nardelli manifiesta que si bien el programa es trivial, los resultados no son nada halagadores, aún tratándose de unagran mayoría de profesionales capacitados en procesamiento de datos.
El programa tiene solamente ocho únicos caminos por lo cual por lo menos ocho casos de prueba serían deseables. Surge a la vistaque lo primero que debe probarse es que se trata de un triángulo, para lo cual la dimensión de un lado tiene que ser menor que la suma de los otros dos.
Algunos de los resultados obtenidos porlos alumnos de Myers son los siguientes:
POSIBLE FALLA DEL PROGRAMA
% Detección Alumnos
El programa no efectúa el control para determinar si se trata de un triángulo
56 %
El programa practica elcontrol, pero únicarmente para
A< B + C
28%
El programa no controla si se trata de un triángulo escaleno
84 %
El programa no controla si se trata de un triángulo isósceles
95%
El...
Regístrate para leer el documento completo.