SlideShare una empresa de Scribd logo
1 de 58
Ingeniería en Sistemas de Información Diseño de Sistemas (3K1)
Contenidos de la Unidad 6 Verificación y Validación del  Diseño ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Sommerville. Cap. 22   Sommerville. Cap. 23
Verificación y Validación del Diseño (La Prueba del Software ) ,[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],V & V
[object Object],[object Object],[object Object],[object Object],[object Object],V & V
[object Object],[object Object],[object Object],[object Object],[object Object],Validación del Software
[object Object],[object Object],[object Object],[object Object],Objetivo del Proceso de V & V
[object Object],[object Object],[object Object],[object Object],Objetivo del Proceso de V & V
[object Object],[object Object],[object Object],[object Object],Objetivo del Proceso de V & V
[object Object],[object Object],[object Object],[object Object],2 Aproximaciones complementarias en V & V
[object Object],[object Object],[object Object],[object Object],2 Aproximaciones complementarias en V & V
Verificación y Validación  Estática y Dinámica
[object Object],[object Object],[object Object],[object Object],Verificación y Validación  Estática y Dinámica
[object Object],[object Object],[object Object],Verificación y Validación  Estática y Dinámica
[object Object],[object Object],[object Object],[object Object],Verificación y Validación  Estática y Dinámica
[object Object],[object Object],[object Object],[object Object],Verificación y Validación  Estática y Dinámica
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Tipos de Pruebas
[object Object],[object Object],[object Object],[object Object],[object Object],V & V Vs. Depuración
[object Object],[object Object],[object Object],[object Object],V & V Vs. Depuración
[object Object],[object Object],[object Object],[object Object],[object Object],V & V Vs. Depuración
[object Object],[object Object],[object Object],[object Object],Depuración
[object Object],[object Object],[object Object],[object Object],Depuración  Pruebas de Regresión
[object Object],[object Object],[object Object],[object Object],[object Object],Depuración  Pruebas de Regresión
[object Object],[object Object],[object Object],[object Object],Planificación de la verificación y validación
[object Object],[object Object],[object Object],Planificación de la verificación y validación
[object Object],[object Object],[object Object],Planificación de la verificación y validación
[object Object],[object Object],[object Object],Plan de Pruebas
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Plan de Pruebas
[object Object],[object Object],[object Object],[object Object],[object Object],Inspecciones de software
[object Object],[object Object],[object Object],[object Object],[object Object],Inspecciones de software
[object Object],[object Object],[object Object],Inspecciones de software
[object Object],[object Object],[object Object],[object Object],Revisiones y Pruebas
[object Object],[object Object],[object Object],Revisiones y Pruebas
[object Object],[object Object],Revisiones y Pruebas
[object Object],[object Object],[object Object],[object Object],El proceso de inspección de programas
[object Object],[object Object],[object Object],[object Object],El proceso de inspección de programas
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],El proceso de inspección de programas
Roles en el Proceso de Inspección
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],El proceso de inspección de programas
[object Object],[object Object],[object Object],[object Object],[object Object],El proceso de inspección de programas
El proceso de inspección de programas
[object Object],[object Object],[object Object],[object Object],El proceso de inspección de programas
[object Object],[object Object],[object Object],[object Object],El proceso de inspección de programas
[object Object],[object Object],[object Object],El proceso de inspección de programas
[object Object],[object Object],[object Object],[object Object],El proceso de inspección de programas
[object Object],[object Object],[object Object],El proceso de inspección de programas
[object Object],[object Object],[object Object],[object Object],El proceso de inspección de programas
[object Object],[object Object],[object Object],Análisis estático automatizado
[object Object],[object Object],[object Object],[object Object],Análisis estático automatizado
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Análisis estático automatizado
[object Object],[object Object],[object Object],[object Object],[object Object],Análisis estático automatizado
[object Object],[object Object],[object Object],[object Object],[object Object],Análisis estático automatizado
[object Object],[object Object],[object Object],[object Object],[object Object],Verificación y métodos formales
[object Object],[object Object],[object Object],[object Object],Verificación y métodos formales
[object Object],[object Object],[object Object],[object Object],[object Object],Verificación y métodos formales
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Argumentos en contra de la Verificación Formal
[object Object],[object Object],[object Object],[object Object],Argumentos en contra de la Verificación Formal
[object Object],[object Object],[object Object],Argumentos en contra de la Verificación Formal

Más contenido relacionado

La actualidad más candente

Construccion y Pruebas de Software
Construccion y Pruebas de SoftwareConstruccion y Pruebas de Software
Construccion y Pruebas de SoftwareGustavo Bazan Maal
 
CMMI CALIDAD EN SOFTWARE
CMMI CALIDAD EN SOFTWARECMMI CALIDAD EN SOFTWARE
CMMI CALIDAD EN SOFTWAREkatymi13
 
Ejemplos práctios de calidad en el software tecdencies
Ejemplos práctios de calidad en el software tecdenciesEjemplos práctios de calidad en el software tecdencies
Ejemplos práctios de calidad en el software tecdenciesMICProductivity
 
Métricas de procesos y proyectos
Métricas de procesos y proyectosMétricas de procesos y proyectos
Métricas de procesos y proyectosjose_macias
 
Temas Unidad 2
Temas Unidad 2Temas Unidad 2
Temas Unidad 2wiso08
 
Métricas de calidad de software
Métricas de calidad de softwareMétricas de calidad de software
Métricas de calidad de softwaredaners08
 
ingenieria de requerimientos
ingenieria de requerimientos ingenieria de requerimientos
ingenieria de requerimientos Gabriel Garcia
 
Tema N° 7 Atributos de Calidad del Software según Norma ISO 25010
Tema N° 7 Atributos de Calidad del Software según Norma ISO 25010Tema N° 7 Atributos de Calidad del Software según Norma ISO 25010
Tema N° 7 Atributos de Calidad del Software según Norma ISO 25010SaraEAlcntaraR
 
Métricas de Calidad del Software.pptx
Métricas de Calidad del Software.pptxMétricas de Calidad del Software.pptx
Métricas de Calidad del Software.pptxEduardo Robayo
 
Plan de Pruebas
Plan de PruebasPlan de Pruebas
Plan de Pruebaschoselin
 
Gestion de la configuracion del software
Gestion de la configuracion del softwareGestion de la configuracion del software
Gestion de la configuracion del softwareJohan Prevot R
 
Proceso, modelos y metodos de ingenieria de software
Proceso, modelos y metodos de ingenieria de softwareProceso, modelos y metodos de ingenieria de software
Proceso, modelos y metodos de ingenieria de softwaresergio
 

La actualidad más candente (20)

Construccion y Pruebas de Software
Construccion y Pruebas de SoftwareConstruccion y Pruebas de Software
Construccion y Pruebas de Software
 
CMMI CALIDAD EN SOFTWARE
CMMI CALIDAD EN SOFTWARECMMI CALIDAD EN SOFTWARE
CMMI CALIDAD EN SOFTWARE
 
Sqa
SqaSqa
Sqa
 
Ejemplos práctios de calidad en el software tecdencies
Ejemplos práctios de calidad en el software tecdenciesEjemplos práctios de calidad en el software tecdencies
Ejemplos práctios de calidad en el software tecdencies
 
Tecnicas de Pruebas
 Tecnicas de Pruebas  Tecnicas de Pruebas
Tecnicas de Pruebas
 
Métricas de procesos y proyectos
Métricas de procesos y proyectosMétricas de procesos y proyectos
Métricas de procesos y proyectos
 
Temas Unidad 2
Temas Unidad 2Temas Unidad 2
Temas Unidad 2
 
Métricas de calidad de software
Métricas de calidad de softwareMétricas de calidad de software
Métricas de calidad de software
 
ingenieria de requerimientos
ingenieria de requerimientos ingenieria de requerimientos
ingenieria de requerimientos
 
Alcance Del Sistema
Alcance Del SistemaAlcance Del Sistema
Alcance Del Sistema
 
Tema N° 7 Atributos de Calidad del Software según Norma ISO 25010
Tema N° 7 Atributos de Calidad del Software según Norma ISO 25010Tema N° 7 Atributos de Calidad del Software según Norma ISO 25010
Tema N° 7 Atributos de Calidad del Software según Norma ISO 25010
 
Proceso del Software
Proceso del Software Proceso del Software
Proceso del Software
 
Métricas de Calidad del Software.pptx
Métricas de Calidad del Software.pptxMétricas de Calidad del Software.pptx
Métricas de Calidad del Software.pptx
 
Pruebas del Software
Pruebas del SoftwarePruebas del Software
Pruebas del Software
 
Plan de Pruebas
Plan de PruebasPlan de Pruebas
Plan de Pruebas
 
2. El proceso del software
2. El proceso del software2. El proceso del software
2. El proceso del software
 
Gestion de la configuracion del software
Gestion de la configuracion del softwareGestion de la configuracion del software
Gestion de la configuracion del software
 
Calidad en el desarrollo del software
Calidad en el desarrollo del softwareCalidad en el desarrollo del software
Calidad en el desarrollo del software
 
GESTIÓN DE LA CONFIGURACIÓN DEL SOFTWARE (GCS)
GESTIÓN DE LA CONFIGURACIÓN DEL SOFTWARE (GCS)GESTIÓN DE LA CONFIGURACIÓN DEL SOFTWARE (GCS)
GESTIÓN DE LA CONFIGURACIÓN DEL SOFTWARE (GCS)
 
Proceso, modelos y metodos de ingenieria de software
Proceso, modelos y metodos de ingenieria de softwareProceso, modelos y metodos de ingenieria de software
Proceso, modelos y metodos de ingenieria de software
 

Similar a Verificación y Validación del Diseño

Similar a Verificación y Validación del Diseño (20)

Sesión Nº 13 - CALIDAD DE SW.pptx
Sesión Nº 13 - CALIDAD DE SW.pptxSesión Nº 13 - CALIDAD DE SW.pptx
Sesión Nº 13 - CALIDAD DE SW.pptx
 
Auditoria ii
Auditoria iiAuditoria ii
Auditoria ii
 
Unidad 1 verificacion y-validacion
Unidad 1 verificacion y-validacionUnidad 1 verificacion y-validacion
Unidad 1 verificacion y-validacion
 
Pruebas de software
Pruebas de softwarePruebas de software
Pruebas de software
 
Gestión de la Calidad
Gestión de la CalidadGestión de la Calidad
Gestión de la Calidad
 
SQM Verification and Validation
SQM Verification and ValidationSQM Verification and Validation
SQM Verification and Validation
 
Auditoria ii
Auditoria iiAuditoria ii
Auditoria ii
 
Auditoria ii
Auditoria iiAuditoria ii
Auditoria ii
 
Estrategias prueba de software
Estrategias prueba de softwareEstrategias prueba de software
Estrategias prueba de software
 
Gestion De Calidad Cap 26
Gestion De Calidad Cap 26Gestion De Calidad Cap 26
Gestion De Calidad Cap 26
 
Pruebas software (1)
Pruebas  software (1)Pruebas  software (1)
Pruebas software (1)
 
Mayra romero
Mayra romeroMayra romero
Mayra romero
 
Calidad de software y TDD
Calidad de software y TDDCalidad de software y TDD
Calidad de software y TDD
 
Gestión De Calidad
Gestión De CalidadGestión De Calidad
Gestión De Calidad
 
GestióN De Calidad
GestióN De CalidadGestióN De Calidad
GestióN De Calidad
 
Capitulo 17 estrategias_de_prueba_de_software
Capitulo 17 estrategias_de_prueba_de_softwareCapitulo 17 estrategias_de_prueba_de_software
Capitulo 17 estrategias_de_prueba_de_software
 
Sqm
SqmSqm
Sqm
 
Calidad de software
Calidad de softwareCalidad de software
Calidad de software
 
Deber2
Deber2Deber2
Deber2
 
Calidad del software
Calidad del softwareCalidad del software
Calidad del software
 

Más de Juan Pablo Bustos Thames

El Proceso de Diseño de Interfaz del Usuario por Ian Sommerville
El Proceso de Diseño de Interfaz del Usuario por Ian SommervilleEl Proceso de Diseño de Interfaz del Usuario por Ian Sommerville
El Proceso de Diseño de Interfaz del Usuario por Ian SommervilleJuan Pablo Bustos Thames
 
El Proceso de Diseño de interfaces de usuario. Roger Pressman
El Proceso de Diseño de interfaces de usuario. Roger PressmanEl Proceso de Diseño de interfaces de usuario. Roger Pressman
El Proceso de Diseño de interfaces de usuario. Roger PressmanJuan Pablo Bustos Thames
 
Descomposición modular y estilos de control
Descomposición modular y estilos de controlDescomposición modular y estilos de control
Descomposición modular y estilos de controlJuan Pablo Bustos Thames
 
Visibilidad. Paquetes, Estratos y Particiones. Diagramas de Estado y de Activ...
Visibilidad. Paquetes, Estratos y Particiones. Diagramas de Estado y de Activ...Visibilidad. Paquetes, Estratos y Particiones. Diagramas de Estado y de Activ...
Visibilidad. Paquetes, Estratos y Particiones. Diagramas de Estado y de Activ...Juan Pablo Bustos Thames
 
Soluciones con objetos y patrones. visibilidad
Soluciones con objetos y patrones. visibilidadSoluciones con objetos y patrones. visibilidad
Soluciones con objetos y patrones. visibilidadJuan Pablo Bustos Thames
 
Patrones para asignar responsabilidades. grasp
Patrones para asignar responsabilidades. graspPatrones para asignar responsabilidades. grasp
Patrones para asignar responsabilidades. graspJuan Pablo Bustos Thames
 
Del análisis al diseño. conclusión de la fase del análisis. diagramas de cola...
Del análisis al diseño. conclusión de la fase del análisis. diagramas de cola...Del análisis al diseño. conclusión de la fase del análisis. diagramas de cola...
Del análisis al diseño. conclusión de la fase del análisis. diagramas de cola...Juan Pablo Bustos Thames
 
Del análisis al diseño. diagramas de secuencia y contratos
Del análisis al diseño. diagramas de secuencia y contratosDel análisis al diseño. diagramas de secuencia y contratos
Del análisis al diseño. diagramas de secuencia y contratosJuan Pablo Bustos Thames
 
Primeros artefactos de análisis. casos de uso
Primeros artefactos de análisis. casos de usoPrimeros artefactos de análisis. casos de uso
Primeros artefactos de análisis. casos de usoJuan Pablo Bustos Thames
 

Más de Juan Pablo Bustos Thames (20)

Diseño a Nivel de Componentes
Diseño a Nivel de ComponentesDiseño a Nivel de Componentes
Diseño a Nivel de Componentes
 
El Proceso de Diseño de Interfaz del Usuario por Ian Sommerville
El Proceso de Diseño de Interfaz del Usuario por Ian SommervilleEl Proceso de Diseño de Interfaz del Usuario por Ian Sommerville
El Proceso de Diseño de Interfaz del Usuario por Ian Sommerville
 
El Proceso de Diseño de interfaces de usuario. Roger Pressman
El Proceso de Diseño de interfaces de usuario. Roger PressmanEl Proceso de Diseño de interfaces de usuario. Roger Pressman
El Proceso de Diseño de interfaces de usuario. Roger Pressman
 
Reglas de Oro
Reglas de OroReglas de Oro
Reglas de Oro
 
Diseño de interfaces
Diseño de interfacesDiseño de interfaces
Diseño de interfaces
 
Modelos de dominio específicos
Modelos de dominio específicosModelos de dominio específicos
Modelos de dominio específicos
 
Arquitectura de sistemas distribuidos
Arquitectura de sistemas distribuidosArquitectura de sistemas distribuidos
Arquitectura de sistemas distribuidos
 
Descomposición modular y estilos de control
Descomposición modular y estilos de controlDescomposición modular y estilos de control
Descomposición modular y estilos de control
 
Diseño arquitectónico
Diseño arquitectónicoDiseño arquitectónico
Diseño arquitectónico
 
Visibilidad. Paquetes, Estratos y Particiones. Diagramas de Estado y de Activ...
Visibilidad. Paquetes, Estratos y Particiones. Diagramas de Estado y de Activ...Visibilidad. Paquetes, Estratos y Particiones. Diagramas de Estado y de Activ...
Visibilidad. Paquetes, Estratos y Particiones. Diagramas de Estado y de Activ...
 
Diagramas de clases
Diagramas de clasesDiagramas de clases
Diagramas de clases
 
Soluciones con objetos y patrones. visibilidad
Soluciones con objetos y patrones. visibilidadSoluciones con objetos y patrones. visibilidad
Soluciones con objetos y patrones. visibilidad
 
Patrones para asignar responsabilidades. grasp
Patrones para asignar responsabilidades. graspPatrones para asignar responsabilidades. grasp
Patrones para asignar responsabilidades. grasp
 
Del análisis al diseño. conclusión de la fase del análisis. diagramas de cola...
Del análisis al diseño. conclusión de la fase del análisis. diagramas de cola...Del análisis al diseño. conclusión de la fase del análisis. diagramas de cola...
Del análisis al diseño. conclusión de la fase del análisis. diagramas de cola...
 
Del análisis al diseño. diagramas de secuencia y contratos
Del análisis al diseño. diagramas de secuencia y contratosDel análisis al diseño. diagramas de secuencia y contratos
Del análisis al diseño. diagramas de secuencia y contratos
 
Modelos de dominio
Modelos de dominioModelos de dominio
Modelos de dominio
 
Modelos de dominio
Modelos de dominioModelos de dominio
Modelos de dominio
 
Primeros artefactos de análisis. casos de uso
Primeros artefactos de análisis. casos de usoPrimeros artefactos de análisis. casos de uso
Primeros artefactos de análisis. casos de uso
 
Análisis y diseño orientado a objetos
Análisis y diseño orientado a objetosAnálisis y diseño orientado a objetos
Análisis y diseño orientado a objetos
 
Documentación del diseño
Documentación del diseñoDocumentación del diseño
Documentación del diseño
 

Verificación y Validación del Diseño

  • 1. Ingeniería en Sistemas de Información Diseño de Sistemas (3K1)
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12. Verificación y Validación Estática y Dinámica
  • 13.
  • 14.
  • 15.
  • 16.
  • 17.
  • 18.
  • 19.
  • 20.
  • 21.
  • 22.
  • 23.
  • 24.
  • 25.
  • 26.
  • 27.
  • 28.
  • 29.
  • 30.
  • 31.
  • 32.
  • 33.
  • 34.
  • 35.
  • 36.
  • 37.
  • 38. Roles en el Proceso de Inspección
  • 39.
  • 40.
  • 41. El proceso de inspección de programas
  • 42.
  • 43.
  • 44.
  • 45.
  • 46.
  • 47.
  • 48.
  • 49.
  • 50.
  • 51.
  • 52.
  • 53.
  • 54.
  • 55.
  • 56.
  • 57.
  • 58.