SwEx

Enviado por Programa Chuletas y clasificado en Otras materias

Escrito el en español con un tamaño de 4,31 KB

 
verificacion y validacion = aseguran que el sw este de acuerdo con su especificacion y cumpla con las necesidades de los clientes • incluyen actividades en cada etapa del proceso del sw : - revisiones de los requerimientos - revisiones del diseño - inspecciones de codigo - pruebas del producto.

validacion = estamos construyendo el producto correcto? se debe asegurar que el sw hace lo que el usuario quiere.

verficacion = estamos construyendo el producto correctamente? se debe que el sistema cumple su especificacion.

tecnicas de comprobacion y analisis de sistemas  
inspecciones de sw : analizan y comprueban las representaciones del sistema (documentos de requerimientos, diagramas de diseño, codigo fuente, planes de prueba, documentacion del usuario,etc) • se aplican a todas las etapas del diseño • son tecnicas estaticas (no requieren que el sistema se ejecute) • solo pueden comprobar la correspondencia entre un programa y su especificacion • es mas barato encontrar errores a traves de la inspeccion que por medio de pruebas extensivas del programa • se pueden utilizar como tecnicas de verficacion antes de que se implementen los programas • examinan la representacion fuente de un sistema : - modelo del sistema - especificacion - codigo • mas de 60% de los errores en un programa pueden detectarse utilizando inspecciones informales del programa • 90% de los errores en el programa pueden detectarse utilizando enfoques formales • sobrecargan al inicion los costos pero conducen a ahorros despues • cada error se considera de forma aislada, sin considerar como afectara el comportamiento del sistema.


• la revision del codigo estatico es mas efectiva menos cara que las pruebas por al menos 2 razines : - varios defectos se detectan en una sola sesion - reutiliza el conocimiento del dominio y del lenguaje de programacion (se centra en errores tipicos) • las inspecciones no reemplazan completamente a las pruebas • no pueden validar el comportamiento dinamico del sistema • no validan el sistema como un entero • las inspecciones y las pruebas deben utilizarse de forma conjunta en el proceso de verficacion y validacion.
inspecciones de programa = condiciones antes de iniciar una inspeccion del programa : - exista una especificacion precisa del codigo a inspeccionar - los miembros del equipo de inspeccion estan familiarizados con los estandares organizacionales - existe una version actualizada y suntacticamente correcta del codigo disponible • posibles comprobaciones que se pueden hacer durante el proceso de inspeccion : - fallas de datos - fallas de control - fallas de entrada/salida - fallas de interfaz - fallas de administracion de las excepciones. fallas de datos = se inicializan todas las variables antes que se utilicen? - tienen nombres todas las constantes? - el limite superior de los arreglos es igual a su tamaño? fallas de control = son correctas las instrucciones condicionales? - terminan todos los ciclos? - estan puestas correctamente entre llaves las instrucciones compuestas? - se han tomado en cuenta todos los casos posibles para instrucciones de decisiones multiples? - se han incluido las instrucciones break necesarios? fallas de entrada/salidas = se utilizan todas las variables de entrada? - se le asigna valoreas a todas las variables de salida?