SlideShare una empresa de Scribd logo
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

Fundamentos de Calidad del Software - Modelos y Estándares
Fundamentos de Calidad del Software - Modelos y EstándaresFundamentos de Calidad del Software - Modelos y Estándares
Fundamentos de Calidad del Software - Modelos y Estándares
Luis Eduardo Pelaez Valencia
 
Proceso del Software
Proceso del Software Proceso del Software
Proceso del Software
Ares Atzarel Hernández Rodríguez
 
Metricas del proyecto de Software - introduccion
Metricas del proyecto de Software - introduccionMetricas del proyecto de Software - introduccion
Metricas del proyecto de Software - introduccion
Jose Diaz Silva
 
Ventajas calidad del software
Ventajas   calidad del softwareVentajas   calidad del software
Ventajas calidad del software
Jhoy Jara
 
PROCESOS DE CALIDAD DE SOFTWARE
PROCESOS DE CALIDAD DE SOFTWAREPROCESOS DE CALIDAD DE SOFTWARE
PROCESOS DE CALIDAD DE SOFTWAREAlejandro Leon
 
Plan de pruebas
Plan de pruebasPlan de pruebas
Plan de pruebas
Oscar Ramos
 
Metricas del producto para el Software
Metricas del producto para el SoftwareMetricas del producto para el Software
Metricas del producto para el Software
Walter Tejerina
 
5. Métodos de Prueba de Software
5. Métodos de Prueba de Software5. Métodos de Prueba de Software
5. Métodos de Prueba de Software
Mario A Moreno Rocha
 
Control de cambios
Control de cambiosControl de cambios
Control de cambios
Mónica María Espejo Pérez
 
Evaluacion de arquitecturas
Evaluacion de arquitecturasEvaluacion de arquitecturas
Evaluacion de arquitecturasSamis Ambrocio
 
AUDITORIA DE BASE DE DATOS
AUDITORIA DE BASE DE DATOSAUDITORIA DE BASE DE DATOS
AUDITORIA DE BASE DE DATOS
GRECIAGALLEGOS
 
Presentación iso 27001
Presentación iso 27001Presentación iso 27001
Presentación iso 27001
Johanna Pazmiño
 
tipos de pruebas.
tipos de pruebas.tipos de pruebas.
tipos de pruebas.Juan Ravi
 
Tsp (Team Software Process )
Tsp (Team Software Process )Tsp (Team Software Process )
Tsp (Team Software Process )
silviachmn
 
Los controles de aplicacion
Los controles de aplicacionLos controles de aplicacion
Los controles de aplicacion
Maria de Lourdes Castillero
 
Normas y Estándares de calidad para el desarrollo de Software
Normas y Estándares de calidad para el desarrollo de SoftwareNormas y Estándares de calidad para el desarrollo de Software
Normas y Estándares de calidad para el desarrollo de Software
EvelinBermeo
 
Pruebas de sistemas y aceptacion
Pruebas de sistemas y aceptacionPruebas de sistemas y aceptacion
Pruebas de sistemas y aceptacion
Abner Gerardo
 
Metricas de calidad
Metricas de calidadMetricas de calidad
Metricas de calidad
Guillermo Guerrero Bernal
 

La actualidad más candente (20)

Alcance de la auditoría informática
Alcance de la auditoría informáticaAlcance de la auditoría informática
Alcance de la auditoría informática
 
Fundamentos de Calidad del Software - Modelos y Estándares
Fundamentos de Calidad del Software - Modelos y EstándaresFundamentos de Calidad del Software - Modelos y Estándares
Fundamentos de Calidad del Software - Modelos y Estándares
 
Proceso del Software
Proceso del Software Proceso del Software
Proceso del Software
 
Metricas del proyecto de Software - introduccion
Metricas del proyecto de Software - introduccionMetricas del proyecto de Software - introduccion
Metricas del proyecto de Software - introduccion
 
Ventajas calidad del software
Ventajas   calidad del softwareVentajas   calidad del software
Ventajas calidad del software
 
PROCESOS DE CALIDAD DE SOFTWARE
PROCESOS DE CALIDAD DE SOFTWAREPROCESOS DE CALIDAD DE SOFTWARE
PROCESOS DE CALIDAD DE SOFTWARE
 
Plan de pruebas
Plan de pruebasPlan de pruebas
Plan de pruebas
 
Metricas del producto para el Software
Metricas del producto para el SoftwareMetricas del producto para el Software
Metricas del producto para el Software
 
5. Métodos de Prueba de Software
5. Métodos de Prueba de Software5. Métodos de Prueba de Software
5. Métodos de Prueba de Software
 
Control de cambios
Control de cambiosControl de cambios
Control de cambios
 
Evaluacion de arquitecturas
Evaluacion de arquitecturasEvaluacion de arquitecturas
Evaluacion de arquitecturas
 
AUDITORIA DE BASE DE DATOS
AUDITORIA DE BASE DE DATOSAUDITORIA DE BASE DE DATOS
AUDITORIA DE BASE DE DATOS
 
Presentación iso 27001
Presentación iso 27001Presentación iso 27001
Presentación iso 27001
 
tipos de pruebas.
tipos de pruebas.tipos de pruebas.
tipos de pruebas.
 
Tsp (Team Software Process )
Tsp (Team Software Process )Tsp (Team Software Process )
Tsp (Team Software Process )
 
Los controles de aplicacion
Los controles de aplicacionLos controles de aplicacion
Los controles de aplicacion
 
Normas y Estándares de calidad para el desarrollo de Software
Normas y Estándares de calidad para el desarrollo de SoftwareNormas y Estándares de calidad para el desarrollo de Software
Normas y Estándares de calidad para el desarrollo de Software
 
Rup disciplinas
Rup disciplinasRup disciplinas
Rup disciplinas
 
Pruebas de sistemas y aceptacion
Pruebas de sistemas y aceptacionPruebas de sistemas y aceptacion
Pruebas de sistemas y aceptacion
 
Metricas de calidad
Metricas de calidadMetricas de calidad
Metricas de calidad
 

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

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
ClaudioIbarraRios
 
Auditoria ii
Auditoria iiAuditoria ii
Auditoria ii
Jeyzon Big-Monster
 
S2 D2 Verificación ySZXVC BVCXCVB validación.ppt
S2 D2 Verificación ySZXVC BVCXCVB validación.pptS2 D2 Verificación ySZXVC BVCXCVB validación.ppt
S2 D2 Verificación ySZXVC BVCXCVB validación.ppt
IvanhoeGarcia
 
Unidad 1 verificacion y-validacion
Unidad 1 verificacion y-validacionUnidad 1 verificacion y-validacion
Unidad 1 verificacion y-validacion
Jorge Daza Gómez
 
Pruebas de software
Pruebas de softwarePruebas de software
Pruebas de software
Tensor
 
Gestión de la Calidad
Gestión de la CalidadGestión de la Calidad
Gestión de la Calidad
Marcel Aponte
 
Auditoria ii
Auditoria iiAuditoria ii
Auditoria ii
Elvis Valero
 
Auditoria ii
Auditoria iiAuditoria ii
Auditoria ii
Elvis Valero
 
Estrategias prueba de software
Estrategias prueba de softwareEstrategias prueba de software
Estrategias prueba de software
Centro Líbano
 
Gestion De Calidad Cap 26
Gestion De Calidad Cap 26Gestion De Calidad Cap 26
Gestion De Calidad Cap 26
diego danilo guaman
 
Pruebas software (1)
Pruebas  software (1)Pruebas  software (1)
Pruebas software (1)
René Pari
 
Calidad de software y TDD
Calidad de software y TDDCalidad de software y TDD
Calidad de software y TDD
Jose Luis Bugarin Peche
 
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
Andres Valencia
 
Calidad de software
Calidad de softwareCalidad de software
Calidad de software
marianela0393
 
Deber2
Deber2Deber2

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
 
S2 D2 Verificación ySZXVC BVCXCVB validación.ppt
S2 D2 Verificación ySZXVC BVCXCVB validación.pptS2 D2 Verificación ySZXVC BVCXCVB validación.ppt
S2 D2 Verificación ySZXVC BVCXCVB validación.ppt
 
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
 

Más de Juan Pablo Bustos Thames

Pruebas del Software
Pruebas del SoftwarePruebas del Software
Pruebas del Software
Juan Pablo Bustos Thames
 
Diseño a Nivel de Componentes
Diseño a Nivel de ComponentesDiseño a Nivel de Componentes
Diseño a Nivel de Componentes
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 Sommerville
Juan 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 Pressman
Juan Pablo Bustos Thames
 
Reglas de Oro
Reglas de OroReglas de Oro
Diseño de interfaces
Diseño de interfacesDiseño de interfaces
Diseño de interfaces
Juan Pablo Bustos Thames
 
Modelos de dominio específicos
Modelos de dominio específicosModelos de dominio específicos
Modelos de dominio específicos
Juan Pablo Bustos Thames
 
Arquitectura de sistemas distribuidos
Arquitectura de sistemas distribuidosArquitectura de sistemas distribuidos
Arquitectura de sistemas distribuidos
Juan 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 control
Juan Pablo Bustos Thames
 
Diseño arquitectónico
Diseño arquitectónicoDiseño arquitectónico
Diseño arquitectónico
Juan 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. visibilidad
Juan Pablo Bustos Thames
 
Patrones para asignar responsabilidades. grasp
Patrones para asignar responsabilidades. graspPatrones para asignar responsabilidades. grasp
Patrones para asignar responsabilidades. grasp
Juan 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 contratos
Juan Pablo Bustos Thames
 
Modelos de dominio
Modelos de dominioModelos de dominio
Modelos de dominio
Juan Pablo Bustos Thames
 
Modelos de dominio
Modelos de dominioModelos de dominio
Modelos de dominio
Juan 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 uso
Juan Pablo Bustos Thames
 
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
Juan Pablo Bustos Thames
 

Más de Juan Pablo Bustos Thames (20)

Pruebas del Software
Pruebas del SoftwarePruebas del Software
Pruebas del Software
 
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
 

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.