testing

Introducci´n al Testing de Software
o
Maximiliano Cristi´
a
Ingenier´ de Software
ıa
Facultad de Ciencias Exactas, Ingenier´ y Agrimensura
ıa
Universidad Nacional de Rosario
Noviembre de 2009
Resumen
En este apunte de clase se introducen brevemente los conceptos b´sicos de testing de software
a
necesarios para comprender las t´cnicas de testing que se ense˜an m´s adelante.
e
n
a´
Indice
1. Verificaci´n y validaci´n
o
o

1

2. Definici´n de testing y vocabulario b´sico
o
a

2

3. El proceso de testing

4

4. Testing de distintos aspectos de un software

6

5. Las dos metodolog´ cl´sicas de testing
ıas a

6

Las bases
A program is correct if it behaves according to its Un programa es correcto si verifica su especificaci´n.
o
specification. –Program correctness definition
– Definici´n de correcci´n de un programa
o
o
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. – EdsgerDijkstra
Est´ atento a los errores en el c´digo mostrado m´s
e
o
a
Beware of bugs in the above code; I have only proved arriba; yo s´lo demostr´ que es correcto, pero no lo
o
e
it correct, not tried it. – Donald Knuth
ejecut´. – Donald Knuth
e

1.

Verificaci´n y validaci´n
o
o

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

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