TALLER VERIFICACIÓN Y VALIDACIÓN

PRESENTADO POR:
JUAN MANUEL CARDONA VALENCIA

PRESENTADO A:
DIANA CAROLINA OSORIO

INGENIERIA DEL SOFTWARE II

INGENIERIA DE SISTEMAS

CORPORACIÓN DE ESTUDIOS TECNOLÓGICOS DEL NORTE DEL VALLE

CARTGO – VALLE
2019
1. Señale las diferencias entre verificación y validación, y explique por qué la
validación es un proceso particularmente difícil.
R/
La validación es más general, debido a que, su objetivo es revisar que el software
cumple con las expectativas del cliente, independientemente de cómo este
construido y desglosado el software. La verificación si entra en más detalle
analizando el levantamiento de requerimientos, que los requerimientos funcionales
y no funcionales estén acordes a lo que se ve en el software, y a mirar cual es el
comportamiento de todo el programa.
Es un proceso particularmente difícil debido a que es el cliente quien da la última
palabra y es quien decide si el producto software se ajusta a su necesidad.

2. Explique por qué las inspecciones de programas son una técnica efectiva para
descubrir errores en un programa. ¿Qué tipos de errores probablemente no sean
descubiertos a través de las inspecciones?
R/
Son una técnica efectiva debido a que es aplicable en todas las etapas del ciclo de
desarrollo, requerimientos, arquitectura, diseño, código, etc. No se requieren
herramientas sofisticadas, es más eficiente que buscar defectos en pruebas y se
descubren errores en etapas tempranas.

3. Explique por qué puede ser rentable utilizar métodos formales en el desarrollo de
sistemas software de seguridad críticos. ¿Por qué piensa usted que algunos
desarrolladores de este tipo de sistemas están en contra del uso de los métodos
formales?
R/
Utilizar los métodos formales puede ser rentable en virtud de que el software
quedaría mejor elaborado, ya que este comprende modelos matemáticos y mejor
manejo del razonamiento para la realización de cada etapa de desarrollo, Algunos
desarrolladores no están de acuerdo con el uso de estos métodos por las siguientes
desventajas:
 El desarrollo de herramientas que apoyen la aplicación de métodos formales
es complicado y los programas resultantes son incómodos para los usuarios.
 Los investigadores por lo general no conocen la realidad industrial.
 Es escasa la colaboración entre la industria y el mundo académico, que en
ocasiones se muestra demasiado dogmático.
 Se considera que la aplicación de métodos formales encarece los productos y
ralentiza su desarrollo.
https://www.studocu.com/es-ar/document/universidad-nacional-de-la-
rioja/ingenieria-en-software/resumenes/resumen-de-metodos-
formales/2868360/view