Facultad de Telemática

 

INGENIERIA DE SOFTWARE

 

Juan José López Salinas

5º "B"

 

Procedimientos para pruebas estáticas

 

Tenga cuidado con las variables usadas en varios niveles. Es buena práctica usar nombres únicos en cada nivel.

 

Revise el alcance de las variables y si es posible redúzcalo al máximo para evitar problemas.

 

Procedimientos para pruebas estáticas

 

Asegúrese que las estructuras tengan un mecanismo de terminación bien definido.

 

Verifique si todos los argumentos de los subprogramas coinciden en un número y tipo con sus respectivas invocaciones.

 

Procedimientos para pruebas dinámicas

 

Pruebe todas las unidades primitivas individualmente y luego, de manera gradual vaya insertándolos en el programa principal y probándolos.

 

Procedimientos para pruebas dinámicas

 

Realice todas las pruebas necesarias para revisar todas las posibles alternativas de cada módulo, antes de probar el siguiente.

Use instrucciones de depuración para imprimir valores de variables o para verificar que se ha llegado hasta cierto punto y utilice alguna marca de comentario para facilitar su localización.

 

Procedimientos para pruebas dinámicas

 

Si después de tratar de corregir un defecto no lo consigue, use de las cosas que usted cree que estén bien, seguramente falla en algo.

 

Diseños de casos de pruebas

 

Para cualquier producto de ingeniería (y de muchos otros campos), la prueba del software debe de requerir tanto esfuerzo como diseño del producto. Muchos tratan las pruebas como algo sin importancia, realizando pruebas con pocas garantías.

 

Prueba de la caja blanca

 

O también conocida como caja de cristal, se basa en el minucioso examen de los detalles procedimentales. Se comprueban los caminos lógicos del software proponiendo casos de prueba que ejerciten conjuntos específicos de condiciones y/o bucles.

 

¿ Que resultados arroja ?

 

Se ejerciten todas las condiciones lógicas en sus vertientes verdadera y falsa.

Se ejecuten todos los bucles en sus límites y con sus límites operacionales.

Ejecuten las estructuras internas de datos para asegurar su validez.

 

 

¿Porque enfocarnos en esto y no en otras situaciones?

 

A menudo creemos que un camino lógico tiene pocas probabilidades de ejecutarse cuando, de hecho, se puede ejecutar de forma normal.

Los errores tipográficos son aleatorios.