Instroducción al testing

Introducci´on al Testing de Software
Maximiliano Cristi´a
Ingenier´ıa de Software
Facultad de Ciencias Exactas, Ingenier´ıa y Agrimensura
Universidad Nacional de Rosario
Noviembre de 2009
Resumen
En este apunte de clase se introducen brevemente los conceptos b´asicos de testing de software
necesarios para comprender las t´ecnicas de testing que se ense˜
nan m´as adelante.

´Indice
1. Verificaci´on y validaci´
on

1

2. Definici´
on de testing y vocabulario b´
asico

2

3. El proceso de testing

4

4. Testing de distintos aspectos de un software

6

5. Las dos metodolog´ıas cl´
asicas de testing

6

Las bases
A program is correct if it behaves according to its Un programa es correcto si verifica su especificaci´
on.
specification. – Program correctness definition
– Definici´on decorrecci´on de un programa
El testing de programas puede ser una forma muy
Program testing can be a very effective way to show efectiva de mostrar la presencia de errores, pero es
the presence of bugs, but it is hopelessly inadequate desesperanzadoramente inadecuado para mostrar su
for showing their absence. – Edsger Dijkstra
ausencia. – Edsger Dijkstra
Est´e atento a los errores en el c´
odigo mostradom´
as
Beware of bugs in the above code; I have only proved arriba; yo s´
olo demostr´e que es correcto, pero no lo
it correct, not tried it. – Donald Knuth
ejecut´e. – Donald Knuth

1.

Verificaci´
on y validaci´
on

El testing de software pertenece a una actividad o etapa del proceso de producci´on de software
denominada Verificaci´on y Validaci´on –usualmente abreviada como V&V.
V&V es el nombregen´erico dado a las actividades de comprobaci´on que aseguran que el software
respeta su especificaci´on y satisface las necesidades de sus usuarios. El sistema debe ser verificado y
1

validado en cada etapa del proceso de desarrollo utilizando los documentos (descripciones) producidas
durante las etapas anteriores [Som95]. En rigor no solo el c´odigo debe ser sometido a actividades de
V&V sinotambi´en todos los subproductos generados durante el desarrollo del software [GJM91].
Por ejemplo, en otros cap´ıtulos hemos estudiado c´omo verificar un modelo formal utilizando un
asistente de pruebas. Otro ejemplo es la verificaci´on de la arquitectura y el dise˜
no. En efecto, estos
subproductos deben ser verificados de forma tal de que exista mayor confianza en que cumplen con losrequerimientos del cliente –en particular el equipo de desarrollo debe asegurarse de que la arquitectura
podr´a incorporar los cambios previstos a bajo costo y que esta habilita otras propiedades que haya
solicitado el cliente tales como seguridad, portabilidad, etc.; para m´as detalles sobre la verificaci´on
de arquitecturas se puede consultar [BCK03, cap´ıtulo 11]. Tareas semejantes deben llevarse a cabopara los otros subproductos del desarrollo.
Si bien estos t´erminos en su uso cotidiano pueden llegar a ser sin´onimos, en Ingenier´ıa de Software
tienen significados diferentes y cada uno tiene una definici´on m´as o menos precisa.
Validaci´
on: ¿estamos construyendo el producto correcto?
Verificaci´
on: ¿estamos construyendo el producto correctamente?
En este sentido, la verificaci´on consiste encorroborar que el programa respeta su especificaci´on,
mientras que validaci´on significa corroborar que el programa satisface las expectativas del usuario
[Som95]. En otras palabras, la verificaci´on es una actividad desarrollada por ingenieros teniendo en
cuenta un modelo del programa y el programa en s´ı, en tanto que la validaci´on la debe realizar el
usuario teniendo en cuenta lo que ´elespera del programa y el programa en s´ı.
Existen varias t´ecnicas dentro del marco de la V&V desde las m´as informales (prototipaci´on de
requerimientos, revisi´on de requerimientos, etc.), pasando por las semiformales (el testing es la m´as
conocida pero ciertas t´ecnicas de an´alisis est´atico de c´odigo se usan frecuentemente), hasta la prueba
formal de programas, el c´alculo de refinamiento,...