verificacion validacion pruebas software

DEFINICIONES
Verificación:
El proceso de evaluar un sistema o componente para determinar si los
productos de una fase de desarrollo dada satisfacen las condiciones impuestas
al inicio de esafase.
Validación:
El proceso de evaluar un sistema o componente durante o al final del proceso
de desarrollo para determinar si satisface los requisitos especificados.

PRUEBAS A REALIZAR
Previo ala ejecución de los trabajos de verificación es necesario hacer una
planificación y diseño de las pruebas para intentar detectar el máximo número y
variedad de defectos con el mínimo tiempo yesfuerzo.
Las pruebas a realizar han de ser de dos tipos:


Unidad: su ámbito de aplicación son los diferentes módulos en los que
se divide la programación. A su vez se clasifican en :
o Informales:tienen lugar durante el desarrollo de cada uno de los
módulos.
o Formales: Permiten declarar que un módulo está listo y
terminado.



Integración: Implican una progresión ordenada de pruebasque van
desde los componentes o módulos y que culminan en el sistema
completo (integración ascendente). Las diferentes etapas de la
progresión han surgido de la combinación del siguiente módulo quese
debe probar con el conjunto de módulos que ya han sido probados
(integración incremental).

Las pruebas de unidad, a su vez, se clasifican según su enfoque en dos tipos:


Estructurales o de“caja blanca”: Se centran en la estructura interna del
programa (analizan los caminos de ejecución), ver figura.

El criterio de cobertura lógica tenido en cuenta es el condición/decisión,
esdecir, los casos de prueba realizados son tales que toda condición y
toda decisión presentes en la programación adopten y tengan como
resultado, respectivamente, un valor verdadero y uno falso.

Funcionales o de “caja negra”: Se centran en las funciones que ha de
desempeñar (entradas y salidas), ver figura.

EJEMPLO
Un sistema automatizado de un garaje que gestiona el acceso al mismo,...