estandar ieee 729 (validacion y verificacion)

16
PONTIFICIA UNIVERSIDAD CATÓLICA DEL ECUADOR SEDE IBARRA ESCUELA DE INGENIERÍA PLAN DE TRABAJO DE Validación y Verificación de Software (IEEE-729) Línea de Investigación: Cultura organizacional e informática. Autores: Guissela Guerrero Shirley Delgado

Upload: shirlid-n

Post on 08-Jun-2015

944 views

Category:

Education


6 download

TRANSCRIPT

Page 1: Estandar IEEE 729 (Validacion y Verificacion)

PONTIFICIA UNIVERSIDAD CATÓLICA DEL ECUADORSEDE IBARRA

ESCUELA DE INGENIERÍA

PLAN DE TRABAJO DE

Validación y Verificación de Software (IEEE-729)

Línea de Investigación: Cultura organizacional e informática.

Autores: Guissela Guerrero

Shirley Delgado

Lugar-FechaIbarra – Abril 2014

Page 2: Estandar IEEE 729 (Validacion y Verificacion)

RESUMEN

El presente documento fue creado con la finalidad de conocer dar a conocer la verificación y validación del software poniendo énfasis en las técnicas de verificación estática y en la prueba dinámica de código.

En el capítulo 1 se explica sobre terminología relacionada con planificación estratégica estas definiciones nos ayudaran a llevar de mejor manera el proceso investigativo y posteriormente a sacar conclusiones del tema de investigación.

En el capítulo 2 tendremos ya la definición de validación y verificación de software de forma más detallada y también las técnicas para evaluar los aspectos antes mencionados.

Page 3: Estandar IEEE 729 (Validacion y Verificacion)

ABSTRACT

This document was created with the purpose of meeting to present the verification and validation of software with an emphasis on the techniques of static verification and dynamic test code.

Chapter 1 explains about terminology related to strategic planning these definitions help us better carry the investigation and then draw conclusions of the research topic.

Chapter 2 we as the definition of validation and verification of software in more detail and to assess the technical aspects mentioned above.

Page 4: Estandar IEEE 729 (Validacion y Verificacion)

ContenidoIntroducción................................................................................................................................5

CAPITULO I...................................................................................................................................6

Marco Teórico..........................................................................................................................6

Planeación...............................................................................................................................6

Organización............................................................................................................................6

Dirección..................................................................................................................................7

Control.....................................................................................................................................7

Objetivo General de la Investigación......................................................................................8

Objetivos Específicos de la Investigación................................................................................8

Capítulo 2.....................................................................................................................................8

Los procesos.............................................................................................................................8

Verificación y Validación.....................................................................................................8

Objetivos de verificación y validación.................................................................................8

Diferencia Verificación y Validación....................................................................................9

Plan de Verificación y Validación........................................................................................9

Plan de Pruebas.................................................................................................................10

Técnicas de Validación y Verificación................................................................................10

Proceso de depuración......................................................................................................11

Estándares y Normas relacionados con Verificación y Validación....................................11

Bibliografía.................................................................................................................................12

Page 5: Estandar IEEE 729 (Validacion y Verificacion)

Introducción

La producción de software enfrenta uno de los grandes problemas que es fundamental para el desarrollo de las Tecnologías de la información (TI) que es el costo de desarrollo y la calidad con que estos son entregados a usuarios finales para su uso dentro de su organización. Actualmente una de las disciplinas que propician contar con programas o aplicaciones de funcionalidad probada que garantiza el desarrollo de las TI es previamente la gestión de la calidad en el proceso de desarrollo de software.

Desde los primeros momentos en que se comenzó a desarrollar programas de aplicaciones; los errores y defectos que estás presentaban a la hora de la entrega y puesta en funcionamiento dejaron clara la necesidad de propiciar un ambiente de gestión de la calidad con el objetivo de garantizar el funcionamiento óptimo de las aplicaciones, mejorando el proceso de desarrollo para entregar al usuario un producto con calidad.

A partir de esta problemática, el presente trabajo tiene el objetivo dar a conocer dos procesos los cuales son parte fundamental en la evaluación de software como es la validación y verificación y también las técnicas que estas utilizan. En la gestión de la calidad de los procesos y proyectos se utilizan métricas para medir características del producto y tomar después las decisiones en cuanto a la eliminación de los defectos, evitando costos innecesarios y entregas prolongadas del producto en desarrollo.

Page 6: Estandar IEEE 729 (Validacion y Verificacion)

CAPITULO I

Marco Teórico

El marco teórico que se desarrolla a continuación, permite conocer lo referente al Estándar IEEE 729, enfocándose a lo que es validación y verificación.

Primero partiremos con la definición de planeación estratégica con el fin de comprender una buena organización y planeación para tomar decisiones más acertadas. La planeación correcta y ordenada nos permitirá llevar a cabo el proceso de investigación.

Planeación

Planear significa diseñar un escenario deseado y ayuda a identificar las formas de completarlo. La planeación trata con el futuro de las decisiones actuales. Steiner (1983) define la planeación estratégica como la identificación sistemática de las oportunidades y amenazas de un futuro, los cuales se combinan con información relevante forma la base para la toma de decisiones y menciona para poder lograr una mejor planeación estratégica se debe identificar y planear un proceso, una filosofía y la estructura.

Para lograr el proceso de planeación iniciamos con la obtención de metas organizacionales, la definición de estrategias y políticas. Además, de desarrollar acciones para implementar estrategias con el fin de obtener mejores resultados. Como la planeación estratégica de Steiner (1983) como una actitud, aconseja que se le dedique determinación y se desempeñen las actividades y tareas por parte de los involucrados con dedicación

Del mismo  modo menciona también que la planeación estratégica ayuda a las empresas a tomar mejores decisiones al tener plasmado en papel lo que se va hacer y cómo se va a realizar.

Por otra parte Wentz (1985) considera dos niveles para la planeación estratégica: el nivel de estrategia del programa, la cual especifica cómo funciona la investigación de mercados dentro del plan de mercadeo de una empresa y el nivel de estrategia del proyecto la cual especifica la utilización de la investigación como apoyo a lograr los objetivos de una empresa.(http://catarina.udlap.mx, s.f.)

Organización

Según CHIAVENATO, IDALBERTO, Administración, (2002) la organización “Comprende una estructura organizacional, directrices, normas y reglamentos de la organización, rutinas y procedimientos, en fin, todos los aspectos que expresan cómo la organización pretende que sean las relaciones entre los órganos, cargos y ocupantes, con la finalidad de que sus objetivos sean alcanzados y su equilibrio interno sea mantenido.”

Page 7: Estandar IEEE 729 (Validacion y Verificacion)

Según lo expresado por el autor se dice que la organización determina recursos y actividades necesarias para alcanzar los objetivos, diseñando una estructura departamental de la institución para la asignación de canales de comunicación y delegar responsabilidades y autoridad a cada puesto, así permite la consecución de los objetivos primordiales de la empresa lo más eficientemente y con un mínimo de esfuerzo.

Dirección

Según CHIAVENATO, IDALBERTO, (2002) Administración. “Es una función administrativa distribuida en todos los niveles jerárquicos de la empresa. Dirección es el proceso de encaminar todas las actividades del personal de manera que sea más fácil conseguir los objetivos que el gerente se ha trazado, indicando a los empleados el camino que deben seguir y hasta donde se quiere llegar”.

Las investigadoras expresan que la dirección es la capacidad de influir en las personas para que contribuyan a las metas de una institución, ya que implica dar órdenes, influir y motivar a los empleados para que realicen tareas esenciales. Las relaciones humanas y el tiempo son dos ejes fundamentales para el buen desempeño de la dirección, de hecho los gerentes incluyen en su relación con los empleados la motivación, el enfoque de liderazgo, el trabajo en equipos y la comunicación.

Control

Según CHIAVENATO, IDALBERTO, (2002) Administración. “El control se define como la función administrativa relacionada con el monitoreo de las actividades para mantener la organización en el camino correcto, de modo que se puede conseguir los objetivos y emprender los ajustes necesarios para conseguir los desvíos.

Se puede decir que el propósito y la naturaleza del control es garantizar que los planes tengan éxito, es decir consiste en medir y corregir el desempeño individual y organizacional para asegurar los planes y objetivos de las empresas, es así que al detectar desviaciones ofrece una base para adoptar acciones, a fin de corregir desvíos indeseados sean éstos reales o potenciales.

Page 8: Estandar IEEE 729 (Validacion y Verificacion)

Objetivo General de la Investigación

El objetivo de este proyecto es dar a conocer los procesos de validación y verificación como también las técnicas de dichos procesos y si el software realizado es de calidad.

Objetivos Específicos de la Investigación

1. Comprender la diferencia entre verificación y validación del software.2. Comprender la inspección del software y el análisis estático como

métodos de descubrir fallos y mejorar la calidad del software.3. Conocer las técnicas de pruebas para descubrir fallos en el código.4. Analizar las técnicas específicas para las pruebas de componentes y

pruebas de sistemas orientados a objetos.

Capítulo 2

Los procesos

Verificación y Validación

La verificación y validación es el nombre que se da a los procesos de comprobación y análisis que aseguran que el software que se desarrolla está acorde a su especificación y cumple las necesidades de los clientes. La V&V es un proceso de ciclo de vida completo. Inicia con las revisiones de los requerimientos y continúa con las revisiones del diseño y las inspecciones del código hasta la prueba del producto. Existen actividades de V&V en cada etapa del proceso de desarrollo del software. (Drak & Lopez, 2014)

Objetivos de verificación y validación

Detectar y corregir los defectos tan pronto como sea posible en el ciclo de vida del software.

Disminuir los riesgos, las desviaciones sobre los presupuestos y sobre el programa de tiempos.

Mejorar la calidad y fiabilidad del software. Mejorar la visibilidad de la gestión del proceso de desarrollo. Valorar rápidamente los cambios propuestos y sus consecuencias.

Page 9: Estandar IEEE 729 (Validacion y Verificacion)

Diferencia Verificación y Validación

Boehm (1979) expresó la diferencia entre ellas de forma sucinta:

Verificación: ¿Estamos construyendo el producto correctamente?El papel de la verificación comprende comprobar que el software está de acuerdo con su especificación. Se comprueba que el sistema cumple los requerimientos funcionales y no funcionales que se le han especificado.

Validación: ¿Estamos construyendo el producto concreto?La validación es un proceso más general. Se debe asegurar que el software cumple las expectativas del cliente. Va más allá de comprobar si el sistema está acorde con su especificación, para probar que el software hace lo que el usuario espera a diferencia de lo que se ha especificado. (Drak & Lopez, 2014)

Importancia de Verificar y Validar

Es importante llevar a cabo la validación de los requerimientos del sistema de forma inicial.

Es fácil cometer errores y omisiones durante la fase de análisis de requerimientos del sistema y, en tales casos, el software final no cumplirá las expectativas de los clientes. Sin embargo, en la realidad, la validación de los requerimientos no puede descubrir todos los problemas que presenta la aplicación. Algunos defectos en los requerimientos solo pueden descubrirse cuando la implementación del sistema es completa. (Drak & Lopez, 2014)

Plan de Verificación y Validación

A continuación se presenta un modelo básico de un plan de verificación y validación. (Leonardo, 2014)

Propósito -Documentos de referencia

Definiciones Visión General de las verificaciones y validaciones Gestión de la V y V V y V en fase de requerimientos V y V en fase de diseño V y V en fase de implementación V y V en fase de pruebas V y V en fase de implantación V y V en fase de mantenimiento

- Informes de V y V del software- Procedimientos administrativos de la V y V

Informe de resolución de anomalías

Page 10: Estandar IEEE 729 (Validacion y Verificacion)

Política de iteración de tareas Política de desviación Procedimientos de Control Estándares, prácticas y convenciones

Plan de Pruebas

Es un documento que tiene como objetivo señalar el enfoque, los recursos y el esquema de actividades de prueba, así como los elementos a probar, las características, las actividades de prueba, el personal responsable y los riesgos asociados. (Leonardo, 2014)

A continuación se presenta el contenido básico de un plan de pruebas:

Identificar el documento Introducción y resumen de elementos y características a probar Elementos de software que se van a probar Características que se van a probar Características que no se prueban Enfoque general de la prueba (Actividades, técnicas, herramientas, etc.) Criterios de aprobación para cada elemento probado. Criterios para suspender y requisitos para reanudar actividad Documentos a entregar Actividades de preparación y ejecución de pruebas Necesidades de entorno Responsabilidades en la organización y realización de las pruebas Necesidades de personal y de formación Cronograma de tiempos y actividades Riesgos asumidos por el plan Aprobaciones y firmas con nombre y puesto desempeñado.

Técnicas de Validación y Verificación

Inspecciones de Software

Analizan y comprueban las representaciones del sistema (los diagramas de diseño, el código fuente del programa). Se aplica a todas las etapas del proceso de desarrollo y se complementan con algún tipo de análisis automático del texto fuente y documentos asociados. Son técnicas de verificación y validación estáticas, no requieren que el sistema se ejecute. (Ceniceros, 2012)

Pruebas de Software

Page 11: Estandar IEEE 729 (Validacion y Verificacion)

Consisten en comparar datos teóricos con los resultados del software utilizando series de datos de prueba, se examinan los resultados del software y su comportamiento operacional para comprobar que se desempeñe conforme a lo requerido. Es una técnica dinámica de la verificación y validación ya que requiere disponer de un prototipo ejecutable del sistema. (Ceniceros, 2012)

Proceso de depuración

Es un proceso independiente que no tiene por qué estar integrado:

• La verificación y validación establece la existencia de defectos en el programa.• La depuración es el proceso que localiza el origen y corrige estos defectos.

Localizar los fallos es un proceso complejo porque los fallos no necesariamente se localizan cerca del punto en que se detectan. Para localizar un fallo de un programa el programador responsable de la depuración tiene que diseñar programas de prueba adicionales que repitan el fallo original y que ayudan a descubrir el origen del fallo.

Después de que se descubre el origen del fallo en el programa, este debe corregirse y entonces reevaluar el sistema. Esto implica repetir de nuevo las pruebas anteriores (pruebas de regresión). Estas pruebas se hacen para comprobar que los cambios introducidos resuelven definitivamente el fallo y no introducen nuevos fallos. La estadística muestra que la reparación de un fallo frecuentemente es incompleta y además introduce nuevos fallos. (Drak &Lopez, 2014)

Estándares y Normas relacionados con Verificación y Validación

IEEE Standard for Software Verification and Validation. IEEE Std 1012-1998

SPICE (Software Process Capability Determination) o Comité internacional de estándares de ingeniería de software

ISO/ICE JTC 1/SC 7o Proporciona una plataforma para evaluación de los procesos

software o ISO/IEC TR 15504-1:1998(E), Information Technology - Software

Life Cycle Processes SPiCE for SPACE (S4S) Assessment Model. Cómo implementar la

evaluación y mejora de procesos. Incluye nuevos procesos de soporte o support, e incluye V&VI

ESA Guide for Independent Software Verification and Validation. Issue 2 Jan. 2009 (Rodriguez, 2009)

Page 12: Estandar IEEE 729 (Validacion y Verificacion)

BibliografíaCeniceros, J. C. (07 de agosto de 2012). Juan Carlos Espinosa Ceniceros. Obtenido de

http://juankenny.blogspot.com/2012/08/vvs-la-verificacion-y-validacion-de.html

Chievenato, I. (2002). Administracion.

Drak, J., & Lopez, P. (20 de 05 de 2014). CTR - Computadores y Tiempo Real. Obtenido de http://www.ctr.unican.es/asignaturas/Ingenieria_Software_4_F/Doc/M7_09_VerificacionValidacion-2011.pdf

http://catarina.udlap.mx. (s.f.). http://catarina.udlap.mx. Obtenido de http://catarina.udlap.mx/u_dl_a/tales/documentos/lni/ortiz_m_m/capitulo2.pdf

http://www.buenastareas.com. (25 de abril de 2014). http://www.buenastareas.com. Obtenido de http://www.buenastareas.com/ensayos/Introduccion-De-Una-Tesis/1975068.html

Leonardo. (20 de 05 de 2014). Obtenido de leonardosc.files.wordpress.com/.../verificacion-y-validacion-de-software

Rodriguez, A. I. (Mayo de 2009). Facultad de Informatica Universidad Politecnica de Madrid. Obtenido de https://www.fi.upm.es/masteris/sites/www.fi.upm.es.masteris/files/proceso_V&V_pruebas%20unitarias.pdf