Pruebas

3. Pruebas

3.1 Técnicas de pruebas de software

3.1.1 Objetivos
• Ejecutar programas para encontrar errores.
• Un buen caso de prueba es el que encuentra un nuevo error con mayorprobabilidad.
• Prueba exitosa es aquella que descubre un nuevo error.
• Diseñar pruebas que sistemáticamente descubran clases diferentes de errores y con el mínimo tiempo total y esfuerzo.

EntradasConfiguración del SW:
• Especificaciones requeridas del usuario.
• Especificaciones de diseño.
• Código fuente.
Configuración de las pruebas:
• Plan de pruebas y procedimientos.• Herramientas.
• Casos de pruebas y resultados esperados.

3.1.2 Diseños de casos de prueba
Cualquier producto ingenieril puede ser probado de dos formas:
1. Conociendo la funciónespecífica que el producto debe de realizar, las pruebas pueden ser llevadas a cabo para demostrar que cada función es completamente operacional; a esto se le llama pruebas de caja negra.
2. Conociendoel funcionamiento interno de un producto, las pruebas pueden ser llevadas a cabo para asegurar que todas las piezas encajen; esto es, que la operación interna del producto se lleve a cabo de acuerdoa las especificaciones y que todos los componentes internos hayan sido ejecutados adecuadamente; a esto se le llama pruebas de caja blanca.

3.1.3 Pruebas de caja blanca
Utilizan la estructura decontrol del diseño procedural para derivar casos de prueba.
Los casos derivados pueden :
• Garantizar que todas las trayectorias independientes dentro de un módulo, hayan sido ejecutadas dentro deéste
• al menos una vez.
• Ejecutar todos los lados de las decisiones lógicas.
• Ejecutar todos los ciclos en sus límites operacionales.
• Ejecutar las estructuras de datos internas paraasegurar su validez.
Razones para llevar a cabo las pruebas de caja blanca :
• Los errores lógicos y suposiciones incorrectas son inversamente proporcionales a la probabilidad de que la trayectoria...