Tarea 4

Universidad Abierta Para Adultos (UAPA)
ESCUELA
Ingeniería y Tecnología
ASIGNATURA
Software II
FACILITADOR
Joan Tejada Caba
PARTICIPANTE
Victor Manuel Campusano Sosa
MATRICULA
100034497
TEMA
Semana 4
FECHA
08/02/2022
Escribir un reporte de lectura que incluya:
Un informe escrito donde se describa en dos páginas los aspectos fundamentales
de verificación, validación y estimación de costo de software.
Verificación y validación:
Conjunto de procesos de comprobación y análisis que aseguran que el software que se
desarrolla esta acorde a su especificación y cumple las necesidades de los clientes.
Estas entidades existen en cada etapa del proceso de desarrollo del software.
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.
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.
Verificación
¿Se está contrayendo el producto correctamente?
Se comprueba que el software cumple los requisitos funcionales y no funcionales de su
especificación.
Validación
¿Se está construyendo el producto correcto?
Se comprueba que el software cumple las expectativas que el cliente espera
Nota:
Nunca se va a poder demostrar que el software esta completamente libre de defectos.
Técnicas de verificación y Validación
Inspecciones del software:
• Se analizan las diferentes representaciones del sistema (diagramas de
requerimientos, diagramas de diseño y código fuente) en búsqueda de defectos.
• Son técnicas de validación estáticas (no requieren que el código se ejecute)
• Debe realizarse durante todo el ciclo de desarrollo.
Pruebas del software:
• Se contrasta dinámicamente la respuesta de prototipos ejecutables del sistema con
el comportamiento operacional esperado.
• Técnicas de validación dinámicas
• Requiere disponer de prototipo ejecutables, por lo que solo pueden utilizarse en
ciertas fases del proceso.
Métodos formales de verificación
Entre los métodos de verificación más utilizados, se encuentran:
Aserciones E/S:
El programa, en lógica de Hoare, se especifica mediante aserciones que relacionan las

entradas y salidas del programa. Se garantiza que si la entrada actual satisface las
restricciones de entrada (precondiciones) la salida satisface las restricciones de salida
(poscondiciones).
Precondición más débil:
Consiste en dada una poscondición POST, encontrar, operando hacia atrás, un

programa S tal que la precondición se satisfaga en un amplio conjunto de situaciones.
Inducción estructural:
La inducción estructural es una técnica de verificación formal que se basa en el principio

de inducción matemática.
Tipos de pruebas
Pruebas unitarias
Comprueba si el código funciona y cumple con las especificaciones necesarias para su

desempeño óptimo, se focaliza en verificar cada módulo con lo que mejora el manejo de
la integración de lo más básico a los componentes mayores.
Pruebas de integración
Comprueba si los programas básicos funcionan correctamente luego de integrarlos,

identificando los errores producidos por la combinación, definiendo si las interfaces entre
los usuarios y las aplicaciones funcionan de una manera adecuada.
Pruebas de regresión
Comprueba si los cambios efectuados en una parte del programa afectan a otras partes
de la aplicación.
Elabora un informe con las pruebas realizada a un módulo de un

sistema X.
Especificación del programa

El programa lee tres números enteros, los que son interpretados como representaciones
de las longitudes de los lados de un triángulo. El programa escribe un mensaje que
informa si el triángulo es escaleno, isósceles o equilátero.
Verificación (Pruebas unitarias)
lado1 = 0, lado2 = 1, lado3 = 0 Resultado = error

lado1 = 2, lado2 = 2, lado3 = 3 Resultado = isósceles
lado1 = 2, lado2 = 3, lado3 = 4 Resultado = escaleno
lado1 = 2, lado2 = 2, lado3 = 2 Resultado = equilátero

Tarea 4

Cargado por

Copyright:

Formatos disponibles

Tarea 4

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tarea 4

Cargado por

Copyright:

Formatos disponibles

Universidad Abierta Para Adultos (UAPA)

Joan Tejada Caba

Victor Manuel Campusano Sosa

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

El programa, en lógica de Hoare, se especifica mediante aserciones que relacionan las

Precondición más débil:

Consiste en dada una poscondición POST, encontrar, operando hacia atrás, un

La inducción estructural es una técnica de verificación formal que se basa en el principio

Comprueba si el código funciona y cumple con las especificaciones necesarias para su

Comprueba si los programas básicos funcionan correctamente luego de integrarlos,

Elabora un informe con las pruebas realizada a un módulo de un

Especificación del programa

Verificación (Pruebas unitarias)

lado1 = 0, lado2 = 1, lado3 = 0 Resultado = error

También podría gustarte