Procedimientos para pruebas estáticas

Al usar variables debe tomar en cuenta: su reduccion, el uso de variables globales y tener cuidado con las usadas en varios niveles. Verificar que las variables tengan valor inicial, que los argumentos coincidan en numero y tipo con sus invocaciones y que las estructuras tengan un mecanismo bien definido.

Procedimientos para pruebas dinámicas

Pruebe todas las unidades primitivas individualmente y luego, de manera gradual, después de integrar el programa, conserve las etiquetas que señalan que se alcanzó el módulo y asigne valores a los argumentos de salida de cada módulo. Realice pruebas necesarias para todas las posibles alternativas de cada módulo, antes de probar el siguiente y use instrucciones de depuración para imprimir valores de variables o para verificar que se ha llegado hasta cierto punto.

Diseños de casos de pruebas

Para productos de ingeniería la prueba del software debe de requerir tanto esfuerzo como diseño del producto.

Prueba de la caja blanca

Se comprueban los caminos lógicos del software proponiendo casos de prueba que ejerciten conjuntos específicos de condiciones y/o bucles, así como examinar el estado del programa en varios puntos para determinar si el estado real coincide con el esperado o mencionado.

Que resultados arroja?

  • Garantiza que se ejerzan por lo menos una vez todos los caminos independientes de cada módulo, así como todas las condiciones lógicas en sus vertientes verdadera y falsa, tambien como todos los bucles en sus límites y con sus límites operacionales, al mismo tiempo que se ejecuten las estructuras internas de datos para asegurar su validez
    •

    Porque enfocarnos en esto y no en otras situaciones?

    Los errores lógicos y las suposiciones incorrectas son inversamente proporcionales a la probabilidad de que se ejecute un camino del programa. Constantemente creemos que un camino lógico tiene pocas probabilidades de ejecutarse cuando, en realidad, se puede ejecutar de forma normal.