TIPOS DE PRUEBA

Diego Lancheros
 IS de Sala Limpia
La ingeniera del software de sala limpia usa una versin especializada del modelo de
software incremental. Pequeos equipos de software independientes desarrollan una
tubera de incrementos de software. Conforme cada incremento se certifica, se integra
en el todo. Por tanto, la funcionalidad del sistema crece con el tiempo.

Dentro de los incrementos de sala limpia, ocurren las siguientes tareas:

Planeacin del incremento.

Recopilacin de requerimientos.
Especificacin de estructura de caja.
Diseo formal.
Verificacin de exactitud.
Generacin, inspeccin y verificacin de cdigo
Planeacin de prueba estadstica.
Prueba de uso estadstico
Certificacin.
 Planeacin del incremento.
Se desarrolla un plan de proyecto que adopte la
estrategia incremental. Se crea la funcionalidad
de cada incremento, su tamao proyectado y un
calendario de desarrollo de sala limpia.
Recopilacin de requerimientos.
Se desarrolla una descripcin mas detallada de
los requerimientos del cliente para cada
incremento.
 Especificacin de estructura de caja.
Se usa un mtodo de especificacin que utilice
las estructuras de caja para describir la
especificacin funcional. Las estructuras de caja
separan la definicin de comportamiento, datos
y procedimientos en cada nivel de refinamiento.
 Diseo formal.
Al usar el enfoque de estructura de cajas, el
diseo de sala limpia es una extensin natural
de la especificacin. Aunque es posible hacer
una distincin clara entre las dos actividades,
las especificaciones (llamadas cajas negras) se
refinan iterativamente (dentro de un incremento)
para convertirse en anlogas de los diseos
arquitectnicos y en el nivel de componente
(llamados cajas de estado y cajas claras,
respectivamente).
 Verificacin de exactitud.
El equipo de sala limpia realiza una serie de
rigurosas actividades de verificacin de
exactitud sobre el diseo y, luego, el cdigo. La
verificacin comienza con la estructura de caja
de nivel mas alto (especificacin) y avanza
hacia el detalle y el cdigo de diseo. El primer
nivel de la verificacin de exactitud ocurre al
aplicar un conjunto de preguntas de exactitud.
Verificacin de exactitud.
Generacin, inspeccin y verificacin de cdigo.

Las especificaciones de estructura de caja,

representadas en un lenguaje especializado, se
traducen al lenguaje de programacin
adecuado. Las revisiones tcnicas se usan
entonces para asegurar la conformidad
semntica del cdigo y las estructuras de
cdigo, as como la exactitud sintctica del
cdigo. Luego se realiza la verificacin e
exactitud para el cdigo fuente.
 Planeacin de prueba estadstica.
Se analiza el uso proyectado del software y se
planea y disea una suite de casos de prueba
que ejercitan una distribucin de probabilidad
de uso. En la figura esta actividad de cuarto
limpio se realiza en paralelo con la
especificacin, la verificacin y la generacin de
cdigo.
 Prueba de uso estadstico.
Dado que la prueba exhaustiva del software de
computadora es imposible, siempre es
necesario disear un nmero finito de casos de
prueba. Las tcnicas de uso estadstico
ejecutan una serie de pruebas derivadas de una
muestra estadstica de todas las posibles
ejecuciones de programa efectuadas por todos
los usuarios de una poblacin objetivo.
 Certificacin.
Una vez completadas la verificacin, inspeccin
y prueba de uso (y todos los errores corregidos),
el incremento se certifica como listo para su
integracin.
 Pruebas de Recuperacin y Tolerancia a fallas

Verificar que los procesos de recuperacin

(manual o automtica) restauran
apropiadamente la Base de datos, estas
pruebas aseguran que una aplicacin o sistema
se recupere de una variedad de anomalas de
hardware, software o red con prdidas de datos
o fallas de integridad.
 Condiciones para la prueba
Los siguientes tipos de condiciones deben incluirse en la prueba:

Interrupcin de electricidad en el cliente.

Interrupcin de electricidad en el servidor
Interrupcin en la comunicacin hacia el servidor (cadas de
red)
Interrupcin en la comunicacin con los controladores de disco.
Ciclos incompletos (procesos de consultas interrumpidos,
procesos de sincronizacin de datos interrumpidos)
Llaves o apuntadores de base de datos invlidos
Elementos corruptos o invlidos en la base de datos.
 Consideraciones
Las pruebas de recuperacin pueden llegar a ser
molestas. Los procedimientos para desconectar
cables o simular prdida de electricidad pueden ser
poco factibles o deseables. Podran llegar a
requerirse mtodos alternativos, como
herramientas de diagnstico.
Se requiere la participacin de personal de la red,
administradores de la base de datos y del sistema.
Estas pruebas deben ser ejecutadas en horas no
laborables o en mquinas aisladas.
 Referencias
Ingeniera de software. Un enfoque prctico. Roger S. Pressman - VII
Edicin.

Ingeniera de Software. Ian Sommerville. 7. Edicin.

Anlisis y Diseo de Sistemas. Kendall y Kendall. 3. Edicin

http://virtual.itca.edu.sv/Mediadores/stis/44___
ingeniera_del_software_de_sala_limpia.html

http://noegonzalezm.blogspot.com.co/2010/12/sala-limpia.html

http://
blogingenieriaweb.blogspot.com.co/2016/06/pruebas-de-recuperacion-y-tol
erancia.html
Gracias