Auditoria de software

Definición de pruebas.
La prueba Es una de las fases más importantes del ciclo de vidade desarrollo del software. La prueba es el proceso de ejecutar un programa con la intención de descubrir defectos en el programa. La fase de prueba ocurre en la penúltima etapa, es decir después de la fase de programación pero antes de la fase de implantación del programa. La fase de prueba se deberealizar de la manera más robusta y eficiente.

Pasos para realizar las pruebas.
Estas especificaciones son cruciales a la hora de diseñar las pruebas de verificación. Note que el diseño de estas pruebas requiere los siguientes pasos:
1. Revisar la verificabilidad del requerimiento;
2. Especificar el criterio de verificación;
3. Hacer visible las propiedades o elementos del softwarenecesarios para verificar el cumplimiento del requerimiento;
4. Hacer controlable los elementos del software necesarios para llevar a cabo las pruebas;
5. Elaborar el plan de pruebas;
6. Ejecutar el plan de pruebas y reportar sus resultados.

Tipos datos de prueba.
• Análisis de requerimientos: Pruebas de sistema, pruebas de verificación (de requerimientos)
• Diseño: Pruebas deintegración, pruebas de subsistema.
• Codificación: Pruebas unitarias

Tipos de pruebas
• Pruebas unitarias
• Pruebas funcionales
• Pruebas de Integración
• Pruebas de validación
• Pruebas de sistema
• Caja blanca (sistemas)
• Caja negra (sistemas)
• Pruebas de aceptación
• Pruebas de regresión
• Pruebas de carga
• Pruebas deprestaciones
• Pruebas de recorrido
• Pruebas de mutación

Tipos de pruebas: pruebas altas

Prueba de enlace
También se le conoce como prueba en cadena. La prueba de enlace revisa para ver si los programas que son interdependientes trabajan, de hecho, como se planeó.
Una pequeña cantidad de datos de prueba, para probar las especificaciones del sistema, así como los programas, seusan para la prueba de enlace. La prueba de todas las combinaciones puede llevarse varios pasos a través del sistema, debido a que es mucho muy difícil describir los problemas si se trata de probar todo en una sola vez.
El analista crea datos de prueba especiales que cubren una diversidad de situaciones de procesamiento para la prueba de enlace. Primero, se procesan datos de prueba típicospara ver si el sistema puede trabajar las transacciones normales, aquellas que conformarán la mayor parte de su carga. Si el sistema trabaja con las transacciones normales, luego se añaden variaciones, incluyendo los datos inválidos usados para asegurarse de que el sistema pueda detectar errores adecuadamente.

Prueba de aceptación.
La prueba de aceptación se relaciona y define laaceptación formal de un producto acabado. Comprueba si el producto satisface los requerimientos originales del negocio. Es realizado por los representantes del negocio, usando los documentos originales de los requerimientos como referencias y no por el personal técnico.
Estas pruebas las realiza el cliente. Son básicamente pruebas funcionales, sobre el sistema completo, y buscan una cobertura dela especificación de requisitos y del manual del usuario. Estas pruebas no se realizan durante el desarrollo, pues sería impresentable de cara al cliente; sino una vez pasada todas las pruebas de integración por parte del desarrollador.

Prueba de caja blanca
Se denomina cajas blancas a un tipo de pruebas de software que se realiza sobre las funciones internas de un módulo. Así como laspruebas de caja negra ejercitan los requisitos funcionales desde el exterior del módulo, las de caja blanca están dirigidas a las funciones internas. Entre las técnicas usadas se encuentran; la cobertura de caminos (pruebas que hagan que se recorran todos los posibles caminos de ejecución), pruebas sobre las expresiones lógico-aritméticas, pruebas de camino de datos (definición-uso de variables),...