SQM – Verification and ValidationSQM – GESTIÓN DE CALIDAD DE SOFTWARE

PRESENTACIÓN 2

JUNIO 2014

OBJETIVOS

Conocer los conceptos de Verificación y validación en ingeniería de software.

Conocer las bases sobre las pruebas en el desarrollo de software.

Contenido

Verificación y validación

Principio de las pruebas

Técnicas de pruebas

Verificación y validación

La verificación es la demostración de la consistencia, la integridad y la exactitud del software en cada etapa del desarrollo del ciclo de vida.

La verificación asegura que Cada paso en el proceso de desarrollo es realizado correctamente.

La validación es la determinación de la exactitud del programa con respecto a las necesidades del usuario.

Verificación y validación

Verificación es comparable a hacer el balance en la chequera, para cada transacción se registra y obtiene saldo. Cada vez que se hace un registro se verifica la aritmética y el saldo sean correctos.

Validación es comparable con recibir el estado de cuenta del banco, se revisa que estén registradas todas las transacciones y que el saldo este correcto. Si existen errores, de calculo o registro, se encontraran acá.

Principios de las pruebas

Se verifica que el software cumpla con los requerimientos.

Se trata de la operación de un sistema bajo condiciones controladas y la evaluación de los resultados.

Razones en los errores del software

Falta de comunicación

Complejidad del software

Errores de programación

Cambio de los requerimientos

Presiones de tiempo

Egos

Código mal documentado

Herramientas de desarrollo de software

Pruebas

El objetivo de una metodología de pruebas es reducir el proceso de pruebas exhaustivas a un proceso de pruebas finito.

La parte mas crucial es encontrar un conjunto de datos de prueba suficientes que cubra el dominio pero pequeño para su uso.

Pruebas

Las pruebas deben realizarse de conformidad con los planes y procedimientos.

Generar datos de prueba en todas las etapas.

Desarrollar un medio para el calculo de los valores esperados para los datos de prueba.

Los casos de pruebas no solo deben ser escritos para valores de entrada validos.

Volver a realizar pruebas cuando se hagan modificaciones.

Técnicas de pruebas

De caja negra

De caja blanca

Unitarias

Integración

Integración incremental

Funcionales

De sistema

Aceptación

Regresión

Pruebas de caja negra y blanca

Pruebas de caja negra La prueba verifica que el ítem que se está probando, cuando se dan

las entradas apropiadas produce los resultados esperados, sin importar los detalles internos del programa.

Pruebas de caja blanca Se realiza cuando se accede al código fuente de la aplicación y en

consecuencia a los diferentes algoritmos y estructuras de datos utilizadas.

Pruebas unitarias

Son pruebas en el nivel mas simple para probar funciones particulares o módulos de código.

Generalmente las realiza el programador.

Pruebas de integración

Se prueban las partes combinadas para determinar si funcionan correctamente juntas.

Las partes pueden ser módulos de código, aplicaciones individuales, etc.

Pruebas de integración incremental

Se trata de probar continuamente la aplicación conforme se agregan nuevas funcionalidades.

Se realizan en segmentos pequeños.

Pruebas funcionales

Proporciona la garantía final de que el software cumple con todos los requisitos funcionales y de comportamiento.

Pruebas de sistema

Se verifica que todos los elementos del sistema completo (hardware, personas, bases de datos, software) funcionen correctamente y que se logre la función global del sistema.

Pruebas de aceptación

Es la prueba final, basada en las especificaciones del usuario final o cliente durante un periodo de tiempo limitado.

Puede realizarse con datos reales.

Pruebas de regresión

Se realizan cuando se hacen cambios en el sistema vigente.

Todas las partes afectadas por las modificaciones deben ser probadas de nuevo.

Criterios de finalización de las pruebas

Terminar cuando el tiempo programado para las pruebas expira.

Terminan cuando los casos de prueba ya no reportan errores.