VERIFICACIN Verificacin: Estamos construyendo el producto
corrctamente?.El software debera ajustarse a su especificacin
Se enfoca ms al proceso de evaluacin del sistema o de los
componentes, permite determinar si los productos de una determinada
fase del desarrollo satisfacen las condiciones impuestas en el
inicio de la misma. Responde la preguntaEstamos construyendo el
producto correctamente?, entonces el software debera ajustarse a
sus especificaciones iniciales.
Verificacin: Estamos construyendo el producto corrctamente?.El
software debera ajustarse a su especificacin
Validacin: estamos construyendo el producto correcto?.El
software debera hacer lo que el cliente realmente reclama.Tambin es
una evaluacin del sistema o componentes, pero solo se efecta en el
transcurso o al final del proceso del desarrollo para determinar si
cumple con lo especificado. Responde la preguntaEstamos
construyendo el producto correcto?, entonces el software debera
hacer lo que el cliente realmente quiere que haga.
TCNICAS DE VALIDACIN Y VERIFICACIN Para aplicar estas tcnicas
siempre en necesario modelar cierto tipo de pruebas (tests)
especficas, las pruebas son actividades en las cuales un sistema o
uno de sus componentes se ejecuta en circunstancias previamente
especificadas, los resultados se observan y registran y se realiza
una evaluacin de algn aspecto.Varias pruebas juntas con un fin
especifico constituyen uncaso de pruebasdonde un conjunto de
entradas, condiciones de ejecucin y resultados esperados son
desarrollados para un objetivo particular.
Las pruebas deben centrarse en dos objetivos:Probar si el
software no hace lo que debe hacer.Probar si el software hace lo
que no debe hacer, es decir, si provoca efectos secundarios.
VERIFICACIN DINMICA Y ESTTICAInspecciones de software. Se ocupa
del anlisis de representaciones estticas del sistema para
describrir problemas (verificacin esttica)Pueden ser complementadas
por documentos basados en herramientas y anlisis del cdigoPruebas
del software. Se ocupa de la ejercitacin y la observacin del
comportamiento del producto (verificacin dinmica)El sistema se
ejecuta con datos de pruebas y se observa su compotamiento
operativo.
PRUEBALA DEFINICIN CORRECTAPROBAR ES EL PROCESO EJECUCIN DE UN
PROGRAMA CON EL FIN DE ENCONTRAR ERRORES.
LA PRUEBA ES EL PROCESO DE EJECUCIN DE UN PROGRAMA CON LA
INTENCIN 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.
TIPOS DE PRUEBASPruebas de defectosPruebas diseadas para
descubrir defectos en el sistema.Una prueba de defectos exitosa es
aquella que revela la presencia de defectos en un sistema.Pruebas
de validacinPrevisto para mostrar que el software cumple sus
requerimientos.Una prueba con xito es aquella que muestra que un
requerimiento se ha implementado correctamente.
PRUEBAS Y DEPURACINLas pruebas de defectos y depuracin son
distintos procesos.La verificacin y validacin se ocupan de
establecer la existencia de defectos en un programa.La depuracin se
ocupa de ubicar y reparar estos errores.La depuracin implica
formular una hiptesis sobre el comportamiento del programa y despus
probar esta hiptesis y encontrar el error del sistema.
EL PROCESO DE DEPURACINLocalizar errorDisear reparaciones de
erroresReparar erroresProbar de nuevo el programaResultadosDe
pruebasEspecificacinCasos De pruebas
PLANIFICACIN DE V &VSe requiere una cuidadosa planificacin
para sacar el mximo de los procesos de inspeccin y pruebas. La
planificacin debera comenzar pronto en el proceso de desarrollo.El
plan debera identificar el balance entre la verificacin esttica y
las pruebas.La planificacin trata de definir estndares para el
proceso de prueba en lugar de describir pruebas de productos.
