tema15_estrategiaspruebasw
Páginas: 10 (2259 palabras)
Publicado: 11 de diciembre de 2015
TEMA 15:
ESTRATEGIAS DE PRUEBA DEL
SOFTWARE
INTRODUCCIÓN
La prueba del software es un elemento crítico para la garantía de la
calidad del software y representa una revisión final de las
especificaciones, del diseño y de la codificación.
La prueba de software es un elemento que a menudo se le conoce
como verificación y validación (V & V).
Bohem lo define:
Verificación: ¿Estamosconstruyendo el software
correctamente?
Validación: ¿Estamos construyendo el producto correcto?
Ingeniería del Software
OBJETIVOS DE LA PRUEBA
La prueba es un proceso de ejecución de un programa con la
intención de descubrir un error.
Un buen caso de prueba es aquel que tiene una alta probabilidad
de mostrar un error no descubierto hasta entonces.
Una prueba tiene éxito si descubre unerror no detectado hasta
entonces.
“La prueba no puede asegurar la ausencia de
defectos, sólo puede demostrar que existen defectos
en el software”.
Ingeniería del Software
PRINCIPIOS DE LA PRUEBA
Las pruebas deberán planificarse mucho antes de que empiecen
para garantizar la calidad de acuerdo a lo establecido en el ciclo de
vida en V.
Las pruebas deberán empezar por lo pequeño yprogresar hacia lo
grande.
No son posibles las pruebas exhaustivas.
Para ser más efectivas, las pruebas deberán ser conducidas por un
equipo independiente.
Ingeniería del Software
TIPOS DE PRUEBAS
En los módulos, Pruebas de unidad.
En la unión de los módulos, Pruebas de integración.
Cuando tenemos todos unidos, Prueba de validación.
Cuando el sistema está funcionando, Prueba desistema.
Ingeniería del Software
PRUEBAS DE UNIDAD
La prueba de unidad centra el proceso de verificación en la menor
unidad del diseño del software: “el módulo”.
Usando la descripción del diseño procedimental como guía, se
prueban los caminos de control importantes, con el fin de descubrir
errores dentro del límite del módulo.
La prueba de unidad está orientada a caja blanca y estepaso se
puede llevar a cabo en paralelo para múltiples módulos.
Ingeniería del Software
PRUEBAS DE UNIDAD:
PRUEBAS DE CAJA BLANCA
La prueba de caja blanca denominada a veces prueba de caja de cristal
es un método de diseño de casos de prueba que usa la estructura de
control del diseño procedimental para obtener los casos de prueba.
Se comprueban los caminos lógicos del softwareproponiendo casos de
prueba que ejerciten conjuntos específicos de condiciones y/o bucles. Se
puede examinar el estado del programa en varios puntos para
determinar si el estado real coincide con el esperado.
Mediante los métodos de prueba de caja blanca, el ingeniero del
software puede obtener casos de prueba que:
1. Garanticen que se ejercita por lo menos una vez todos los caminos
independientes de cadamódulo.
2. Ejerciten todas las decisiones lógicas en sus vertientes verdadera y
falsa.
3. Ejecuten todos los bucles es sus límites y con sus límites
operacionales.
4. Ejerciten las estructuras internas de datos para asegurar su validez.
Ingeniería del Software
PRUEBA DE CAJA BLANCA:
PRUEBA DEL CAMINO BÁSICO
La prueba del camino básico es una técnica de prueba de caja
blanca propuestainicialmente por Tom McCabe.
Esta técnica permite al diseñador de casos de prueba obtener una
medida de la complejidad lógica de un diseño procedimental y usar
esa medida como guía para la definición de un conjunto básico
(diseño de casos de prueba) de caminos de ejecución.
Los casos de prueba derivados del conjunto básico garantizan que
durante la prueba se ejecuta por lo menos una vez cadasentencia
del programa.
Ingeniería del Software
PRUEBAS DE CAJA BLANCA:
PRUEBA DEL CAMINO BÁSICO
Notación del grafo de flujo:
Cualquier representación del diseño procedimental se puede
traducir a un grafo de flujo o grafo del programa.
Cada círculo denominado nodo del grafo de flujo, representa
una o más sentencias procedimentales.
Un solo nodo puede corresponder a una secuencia...
ESTRATEGIAS DE PRUEBA DEL
SOFTWARE
INTRODUCCIÓN
La prueba del software es un elemento crítico para la garantía de la
calidad del software y representa una revisión final de las
especificaciones, del diseño y de la codificación.
La prueba de software es un elemento que a menudo se le conoce
como verificación y validación (V & V).
Bohem lo define:
Verificación: ¿Estamosconstruyendo el software
correctamente?
Validación: ¿Estamos construyendo el producto correcto?
Ingeniería del Software
OBJETIVOS DE LA PRUEBA
La prueba es un proceso de ejecución de un programa con la
intención de descubrir un error.
Un buen caso de prueba es aquel que tiene una alta probabilidad
de mostrar un error no descubierto hasta entonces.
Una prueba tiene éxito si descubre unerror no detectado hasta
entonces.
“La prueba no puede asegurar la ausencia de
defectos, sólo puede demostrar que existen defectos
en el software”.
Ingeniería del Software
PRINCIPIOS DE LA PRUEBA
Las pruebas deberán planificarse mucho antes de que empiecen
para garantizar la calidad de acuerdo a lo establecido en el ciclo de
vida en V.
Las pruebas deberán empezar por lo pequeño yprogresar hacia lo
grande.
No son posibles las pruebas exhaustivas.
Para ser más efectivas, las pruebas deberán ser conducidas por un
equipo independiente.
Ingeniería del Software
TIPOS DE PRUEBAS
En los módulos, Pruebas de unidad.
En la unión de los módulos, Pruebas de integración.
Cuando tenemos todos unidos, Prueba de validación.
Cuando el sistema está funcionando, Prueba desistema.
Ingeniería del Software
PRUEBAS DE UNIDAD
La prueba de unidad centra el proceso de verificación en la menor
unidad del diseño del software: “el módulo”.
Usando la descripción del diseño procedimental como guía, se
prueban los caminos de control importantes, con el fin de descubrir
errores dentro del límite del módulo.
La prueba de unidad está orientada a caja blanca y estepaso se
puede llevar a cabo en paralelo para múltiples módulos.
Ingeniería del Software
PRUEBAS DE UNIDAD:
PRUEBAS DE CAJA BLANCA
La prueba de caja blanca denominada a veces prueba de caja de cristal
es un método de diseño de casos de prueba que usa la estructura de
control del diseño procedimental para obtener los casos de prueba.
Se comprueban los caminos lógicos del softwareproponiendo casos de
prueba que ejerciten conjuntos específicos de condiciones y/o bucles. Se
puede examinar el estado del programa en varios puntos para
determinar si el estado real coincide con el esperado.
Mediante los métodos de prueba de caja blanca, el ingeniero del
software puede obtener casos de prueba que:
1. Garanticen que se ejercita por lo menos una vez todos los caminos
independientes de cadamódulo.
2. Ejerciten todas las decisiones lógicas en sus vertientes verdadera y
falsa.
3. Ejecuten todos los bucles es sus límites y con sus límites
operacionales.
4. Ejerciten las estructuras internas de datos para asegurar su validez.
Ingeniería del Software
PRUEBA DE CAJA BLANCA:
PRUEBA DEL CAMINO BÁSICO
La prueba del camino básico es una técnica de prueba de caja
blanca propuestainicialmente por Tom McCabe.
Esta técnica permite al diseñador de casos de prueba obtener una
medida de la complejidad lógica de un diseño procedimental y usar
esa medida como guía para la definición de un conjunto básico
(diseño de casos de prueba) de caminos de ejecución.
Los casos de prueba derivados del conjunto básico garantizan que
durante la prueba se ejecuta por lo menos una vez cadasentencia
del programa.
Ingeniería del Software
PRUEBAS DE CAJA BLANCA:
PRUEBA DEL CAMINO BÁSICO
Notación del grafo de flujo:
Cualquier representación del diseño procedimental se puede
traducir a un grafo de flujo o grafo del programa.
Cada círculo denominado nodo del grafo de flujo, representa
una o más sentencias procedimentales.
Un solo nodo puede corresponder a una secuencia...
Leer documento completo
Regístrate para leer el documento completo.