El Clima Como Variante

METODOS CONVENCIONALES DE LA INGENIERIA DE SOTWARE

METODOS DE PRUEBA DEL SOFTWARE

La prueba del software es un elemento crucial para garantizar la calidad de un software y permite validar las especificaciones, el diseño y de la programación.

FUNDAMENTOS DE LAS PRUEBAS DE SOFTWARE

Las pruebas de software se fundamentan en cuatro elementos que serán detallados a continuación:

• Las directrices a seguir;

• Los principios a ser considerados;

• Su facilidad;

• Las clases de pruebas.

DIRECTRICES DE LA PRUEBA

• 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.

PRINCIPIOS DE LA PRUEBA

• A todas las pruebas se les debería poder hacer un seguimiento hasta los requisitos del cliente.

• Las pruebas deberían planificarse mucho antes de que empiecen (la planificación puede comenzar al final de la fase de análisis y la definición de casos de prueba al final de la fase de diseño).

• El principio de Pareto es aplicable a la prueba de software (80% de los errores descubiertos durante las pruebas surgen al hacer un seguimiento de solo el 20% de todos los módulos del programa).

• Las pruebas deberían empezar por lo pequeño y progresar hacia lo grande;

• No son posibles las pruebas exhaustivas.

• Para ser más efectivas, las pruebas deberían ser conducidas por un equipo independiente.

FACILIDAD DE LA PRUEBA

Un software debe ser diseñado con “facilidad para hacer pruebas” en mente, es decir, que permita ser probado más fácilmente, para esto, Roger Pressman recomienda considerar los siguientes parámetros determinados por James Bach:

• Operatividad: Cuanto mejor funcione el software, más eficientemente se puede probar;

• Observabilidad: Lo que se ve es lo que se prueba;

• Controlabilidad: Cuanto mejor se pueda controlar el software, más se puede automatizar y optimizar;

• Capacidad de descomposición: Si se controla el alcance de las pruebas, se puede aislar más rápidamente los problemas y llevar a cabo mejores pruebas de regresión;

• Simplicidad: Cuanto menos haya que probar, más rápidamente podremos probarlo;

• Estabilidad: Cuanto menos cambios, menos interrupciones a las pruebas;

• Facilidad de la comprensión: Cuanta más información tengamos, más inteligentes serán las pruebas.

CLASES DE PRUEBAS

El diseño de caso de pruebas se basa en los tipos de prueba existentes, que básicamente son dos:

PRUEBAS DE CAJA BLANCA

Las pruebas de caja blanca constituyen un minucioso examen de los detalles procedimentales, usando la estructura de control del diseño procedimental para crear casos de pruebas con lo cual:

• Se garantiza que se recorra por lo menos una vez los caminos independientes de cada módulo;

• Se ejecuten todas las decisiones lógicas en sus opciones verdadera y falsa;

• Se ejerciten todos los bucles en sus límites y con sus bucles operacionales;

• Se usen las estructuras internas de datos para asegurar su validez.

Todo esto debido a que:

• Los errores lógicos y las suposiciones incorrectas son inversamente proporcionales a la probabilidad de que se ejecute un camino del programa.

• Cualquier camino lógico puede ejecutarse de forma normal independientemente de nuestras suposiciones.

• Los errores tipográficos son aleatorios y no siempre pueden ser descubiertos por los compiladores y ambientes integrados de desarrollo.

• Pruebas de caja negra

existen básicamente dos tipos de pruebas de caja blanca:

PRUEBA DEL CAMINO BASICO

Este tipo de prueba constituye una medida de la complejidad lógica de un diseño procedimental para usarla como guía básica de un conjunto básico de caminos de ejecución y se basa en la teoría de grafos.

PRUEBAS DE CAJA NEGRA

Las pruebas de caja negra permiten obtener conjuntos de entrada que ejerciten los requisitos funcionales del software, complementándose con las pruebas de caja blanca, obteniendo errores en las siguientes categorías:

• Funciones incorrectas o inexistentes;

• Errores de interfaz;

• Errores en la estructura de datos;

• Rendimiento;

• Inicialización y terminación.

Por lo tanto, este tipo de pruebas se diseñan para:

• Determinar cómo se prueba la validez

...