Pruebas de Software

Jorge Andrs Moreno Carlos Lennis

Introduccion Proceso que permite verificar y revelar la calidad de un producto de Software. Son utilizadas para identificar posibles fallos de implementacin, calidad o usabilidad de un programa de Ordenador. Se integran dentro de las diferentes fases de ciclo del software dentro de la Ingeniera del Software.

Introduccin Esta es no es una fase constructiva como las anteriores. Es imposible probar por completo un Sistema trivial, porque las pruebas no son deterministicas, y tienen restricciones de tiempo y presupuesto.

El caso Columbia ?

Conceptos Confiabilidad de un Software: Probabilidad de que un sistema e software no falle durante un tiempo especificado bajo condiciones especificas. Falla: Cualquier desviacin del comportamiento observado respecto del especificado. Error: El sistema este en un estado tal que el procesamiento posterior al sistema conducir a una falla. Defecto: Es la causa mecnica o algortmica de un error.

Objetivo
Labor destructiva y rutinaria? 1. La prueba es el proceso de ejecucin de un programa con la intencin de descubrir un error. 2. Un buen caso de prueba es aquel que tiene una alta probabilidad de descubrir un error no encontrado hasta entonces. 3. Una prueba tiene xito si descubre un error no detectado hasta entonces.

Tcnicas de Control de Calidad

Tcnicas para evitar Defectos

Esta tcnica trata de impedir la ocurrencia de errores y fallas hallando defectos en el sistema ante de lanzarlo. Desarrollo de Metodologas: Evita los defectos proporcionando tcnicas que minimizan la introduccin de defectos Administracin de la configuracin: Evitar los defectos causados por los cambios sin disciplina en los modelos del sistema Tcnicas de verificacin: Encontrar defectos antes de ejecutar el programa Revisiones: inspeccin manual de los aspectos del sistema. Hay 2 tipos: ensayo e inspeccin.

Tcnicas para la deteccin de defectos Estas tcnicas ayudan a encontrar defectos pero no tratan de recuperar las fallas que causan: 1. Prueba: Es una tcnica de deteccin de defectos que trata de crear fallas o errores en forma planeada. Esto permite que el desarrollador detecte fallas antes de ser lanzado al cliente. 2. Depuracin: Asume que los defectos pueden hallarse iniciando a partir de una falla no planeada. 1. Depuracin para la correccin: se halla cualquier desviacin entre los requerimientos no funcionales observados y los especificados. 2. Depuracin del desempeo: trata la desviacin entre los requerimientos funcionales observados y los especificados.