Productos de Pruebas

Hace hambre!!

Las bases.• La verificación consiste en corroborar que el programa respeta su

especificación, mientras que validación significa corroborar que el programa satisface las expectativas del usuario

• Una falla es el síntoma manifiesto de la presencia de un error, Es decir que un error permanecerá oculto hasta que ocurra una falla causada por aquel.

• Ejemplo si la condición de una sentencia if es x > 0 cuando debería haber sido x > 1.

• Las Prueba (test) es una actividad en la cual un sistema o uno de sus componentes se ejecuta en circunstancias previamente especificadas, los resultados se observan y registran y se realiza una evaluación de algún aspecto

Modelo en V.

Objetivos de las pruebas.• 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 un error no detectado hasta entonces

El testing de Software.• Consiste en la verificación dinámica del comportamiento de un

programa sobre un conjunto finito de casos de prueba, apropiadamente seleccionados a partir del dominio de ejecución, en relación con el comportamiento esperado

• Testear un programa significa ejecutarlo bajo condiciones controladas tales que permitan observar su salida o resultados.

• El testing se estructura en casos de prueba o casos de test; los casos de prueba se reúnen en conjuntos de prueba.

Caso de prueba• Un caso de prueba es una serie de pruebas de entrada,

condiciones de ejecución y resultados esperados desarrollados para un objetivo en particular, tal como ejecutar una ruta particular de un programa o verificar el cumplimiento con un requerimiento en específico.

• Los casos de pruebas reflejan los requerimientos que serán verificados. Esta verificación deberá ser realizada de diferentes maneras y por diferentes probadores.

Niveles de pruebas.

Estructura general de una prueba

Proceso de una prueba

Estándares internacionales.• IEEE 829 : estándar para documentar pruebas de software

especifica 8 etapas del proceso de documentación.

• BS 7925-2 (estándar británico para pruebas de software) describe técnicas para el diseño y medición de casos de prueba, trata la ejecución y análisis de los resultados , características a seleccionar para determinar, comparar y mejorar la calidad de la prueba

• ¿Por que no probar todo?

• Prácticamente imposible

• Es imposible evaluar todas las posibilidades

• Recursos (costo, tiempo, personal)

¿Alguna preguntas.?

El testing de Software.