Comunicaciones Científicas y Tecnológicas

2011

Verificación y Validación de Software

Jorge Rubén Orlando Britto García, Gladys Noemí Dapozo

Información de contacto:
Teléfono/Fax: 03783-423126 Int 130 Correo Electrónico: jorgebritto198@hotmail.com
Proyecto Acreditado
Modelos y métricas para la evaluación de la calidad del software. F007-2009. SECYT-UNNE. Periodo
2010-2013.

Lugar de Trabajo
Facultad/Instituto: Facultad de Cs. Exactas y Naturales y Agrimensura

Palabras Claves: Calidad de software, prueba de software, técnicas de caja negra

Resumen:
Todo proceso de desarrollo de software incluye la etapa de Verificación y Validación (V&V), cuyo objetivo es
asegurar que el software satisface los requisitos del usuario y la calidad esperada. La Verificación responde a la
pregunta ¿Estamos construyendo el producto correctamente?, y la Validación a la pregunta ¿Estamos construyendo el
producto correcto? En este trabajo se describen la técnicas de V&V utilizadas para evaluar una aplicación web,
denominada Ciclope, que implementa una mesa de ayuda para usuarios de un servicio de conectividad a Internet. Se
realizaron Pruebas Funcionales, siendo esta una de las etapas del modelo V&V propuesto en el modelo de Calidad
Competisoft. Se utilizaron las siguientes estrategias de pruebas de “caja negra” (incluye lo que el usuario visualiza, no
se accede al código de la aplicación): Partición en Clases de Equivalencia, Pruebas Basadas en Requerimientos y
Análisis de Valores Límites. La técnica Partición en Clases de Equivalencia consiste en dividir el dominio de entrada
del programa bajo prueba en un conjunto finito de particiones o clases de equivalencia, para las que se asume un
comportamiento equivalente. En el caso particular de estudio, se aplicó la técnica para probar una funcionalidad
especifica del cliente, la generación de un ticket. Se construyó una tabla considerando las condiciones de entrada, las
clases válidas y las clases inválidas, que se tomó como base para generar los casos. En el primero se trata de abordar
la mayor cantidad de clases validas, y en el segundo y tercer caso clases inválidas respectivamente. Como resultado de
la aplicación de esta técnica se verificó que se cumplieron correctamente las clases definidas. Las Pruebas Basadas en
Requerimientos, son una aproximación sistemática al diseño de casos de prueba en donde el usuario considera cada
requerimiento y deriva un conjunto de pruebas para cada uno de ellos. Se consideran pruebas de validación en lugar
de pruebas de defectos (el usuario intenta demostrar que el sistema ha implementado sus requerimientos de forma
adecuada). En nuestro caso particular, se probaron las funcionalidades de todos los perfiles de usuarios de la
aplicación Cíclope. Para ello se elaboró una planilla de cálculo para la organización de la información y se capturaron
las pantallas con los resultados de la prueba. El resultado de la ejecución de los casos de prueba permitió detectar
errores en la transacción de altas, incorporación errónea de datos. El Análisis de Valores Límite (AVL) es una técnica
que complementa la partición equivalente. En lugar de seleccionar cualquier elemento de una clase de equivalencia, se
seleccionan casos de prueba en las “aristas” de la clase. En esta prueba, se definieron casos incluyendo valores límites
o atípicos en los datos de entrada obligatorios de la aplicación, que permitieron detectar algunos errores. Por otra
parte, es oportuno destacar que durante el proceso de prueba del software, se detectaron otros errores de casos cuya
validación no estaba prevista.
Se aplicaron técnicas V&V siguiendo el modelo Competisoft en una aplicación web en funcionamiento provista por
una empresa de software local. Los resultados obtenidos permitieron mejorar las prestaciones de dicha aplicación y
contribuyeron a profundizar el conocimiento de estas técnicas que forman parte de los mecanismos de aseguramiento
de calidad del software.

Notas:Becario: Jorge Rubén Orlando Britto García, Directora: Gladys Noemí Dapozo

UNNE - Secretaría General de Ciencia y Técnica - 25 de Mayo 868 - (W3400BCH) Corrientes - Argentina - Tel./Fax: +54 (03783) 427181