1.

PRUEBAS DE SOFTWARE INTRODUCCIN

La fase de pruebas es una de las ms costosas del ciclo de vida software. En sentido estricto, deben realizarse pruebas de todos los artefactos generados durante la construccin de un producto, lo que incluye especificaciones de requisitos, casos de uso, diagramas de diversos tipos y, por supuesto, el cdigo fuente y el resto de productos que forman parte de la aplicacin (p.ej., la base de datos). Obviamente, se aplican diferentes tcnicas de prueba a cada tipo de producto software.

1.01 El proceso de pruebas en el ciclo de vida

El estndar ISO/IEC 12207 (ISO/IEC 1995) identifica tres grupos de procesos en el ciclo de vida software: - Procesos principales, grupo en el que incluye los procesos de Adquisicin, Suministro, Desarrollo, Operacin y Mantenimiento. - Procesos de la organizacin, en donde se encuentran los procesos de Gestin, Mejora, Infraestructura y Formacin. - Procesos de soporte o auxiliares, en donde estn los procesos de Documentacin, Gestin de la Configuracin, Auditora, Resolucin de Problemas, Revisin Conjunta, Aseguramiento de la Calidad, Verificacin, Validacin, No define, como vemos, un proceso de Pruebas como tal, sino que aconse- ja, durante la ejecucin de los procesos principales o de la organizacin, utilizar los procesos de soporte. Entre stos se encuentran los procesos de Validacin y de Verificacin: - El proceso de Validacin tiene como objetivo determinar si los requisitos y el sistema final cumplen los objetivos para los que se construy el producto, respondiendo as a la pregunta el producto es correcto? - El proceso de Verificacin intenta determinar si los productos software de una actividad se ajustan a los requisitos o a las condiciones impuestas en actividades anteriores. De este modo, la pregunta a la que responde este proceso es se est construyendo el producto correctamente?

Del proceso de Verificacin se observa la importancia de verificar cada uno de los productos que se van construyendo, bajo la asuncin de que si lo que se va construyendo es todo ello correcto, tambin lo ser el producto final. Igual- mente, M.I.E. Erika Snchez Muiz

se observa que el proceso de Validacin resalta la importancia de comprobar el cumplimiento de los objetivos de los requisitos y del sistema final, de suerte que podra construirse un Plan de pruebas de aceptacin desde el momento mismo de tener los requisitos, que sera comprobado al finalizar el proyecto. Si tras la fase de requisitos viniese una segunda de diseo a alto nivel del sistema, tambin podra prepararse un Plan de pruebas de integracin, que sera comprobado tras tener codificados los diferentes mdulos del sistema. Esta correspondencia entre fases del desarrollo y tipos de pruebas produce el llamado modelo en V, del que se muestra un ejemplo en la Figura 1.

Figura 1. Modelo en V1.01.1 Pruebas de requisitos

La prueba de requisitos pretende comprobar los tres principales atributos de calidad de los requisitos, con el fin de detectar tantos errores como sea posible y cuanto antes: correccin (carencia de ambigedad), complecin (especificacin completa y clara del problema) y consistencia (que no haya requisitos contradictorios). (Bashir and Goel 2000) proponen la utilizacin de una Matriz de Prueba de Requisitos (RTM: Requirements Testing Matrix), en la que se lista cada requisito junto a sus casos de uso y casos de prueba:

Tabla 1. Tabla RTM (Matriz de Tabla de Requisitos)

M.I.E. Erika Snchez Muiz

1.01.2 Pruebas del diseo

La fase de diseo tiene como objetivo generar un conjunto de especificaciones completas del sistema que se va a implementar, transformando los requisitos en un Plan de implementacin. La prueba del diseo debe comprobar su consistencia, complecin, correccin, factibilidad (es decir, que el diseo sea realizable) y trazabilidad (es decir, que podamos navegar desde un requisito hasta el fragmento del diseo en que ste se encuentra). Las actividades que proponen (Bashir and Goel 2000) para este tipo de pruebas se muestran en la Figura 2.

Figura 2. Actividades para la prueba del diseo

M.I.E. Erika Snchez Muiz

1.01.3 Revisiones e inspecciones del cdigo fuente

Las revisiones e inspecciones de cdigo fuente son una tcnica para la deteccin manual de errores en el cdigo (Bashir and Goel 2000). Se trabaja bajo el principio de que cuatro ojos ven ms que dos, de tal manera que el mtodo de trabajo consistir, bsicamente, en pasar el cdigo escrito por un programador a un tercero o grupo de terceros, que tratar de encontrar posibles errores, faltas de adecuacin al estilo de codificacin utilizado por la organizacin, etc. Para ello suelen utilizarse listas de comprobacin (checklists), que enumeran defectos y en los que el revisor anota su presencia o ausencia. En (Fox 1998) puede consultarse una lista de comprobacin de errores tpicos del lenguaje Java, entre los que se incluyen el control de overflows y underflows, restriccin adecuada del acceso a los miembros de las clases, control de apertura y cierre de ficheros, etc.

M.I.E. Erika Snchez Muiz