Validação e Verificação
Transcript of Validação e Verificação
Modelagem e Simulação de Eventos Discretos – Chwif e Medina (2006) Slide 1
Prof. Afonso C. Medina
Prof. Leonardo Chwif
Verificação e Validação de Modelos de Simulação
Capítulo 5Páginas 102-110Este material é disponibilizado para uso exclusivo de docentes que adotam o livro Modelagem e Simulação de Eventos Discretos em suas disciplinas. O material pode (e deve) ser editado pelo professor.
Pedimos apenas que seja sempre citada a fonte original de consulta.
Verifique sempre a atualização deste material no site www.livrosimulacao.eng.br
Divirta-se!
Versão 0.1 24/04/06
Modelagem e Simulação de Eventos Discretos – Chwif e Medina (2006) Slide 2
Motivação“Um modelo é uma representação do
mundo real, ou pelo menos de parte dele. Portanto, a validação de um modelo é realmente muito direta – em princípio. Tudo o que devemos fazer échecar se o modelo comporta-se como o mundo real sob as mesmas condições. Se ele se comporta, então o modelo é válido, caso contrário, não é válido.”
Modelagem e Simulação de Eventos Discretos – Chwif e Medina (2006) Slide 3
Definições
� VERIFICAÇÃOO Modelo faz o que eu quero?
� VALIDAÇÃOO Modelo funciona como no mundo real?
Modelagem e Simulação de Eventos Discretos – Chwif e Medina (2006) Slide 4
Relações: Mundo – Modelo - ComputaçãoMundo Real
Modelo Computacional
Modelo Conceitual
1. Modelagem
2. Validação
3. Implementação
4. Verificação
6. ValidaçãoOperacional
5. Experimentação
Mundo Real
Modelo Computacional
Modelo Conceitual
1. Modelagem
2. Validação
3. Implementação
4. Verificação
6. ValidaçãoOperacional
5. Experimentação
Modelagem e Simulação de Eventos Discretos – Chwif e Medina (2006) Slide 5
Verificação�Relação entre o modelo conceitual e o modelo computacional
�Consiste em assegurar que o modelo computacional funcione conforme o clientedeseja.
�A verificação de modelos de simulação éequivalente a retirar os “Bugs” de programas. (debugging)
Modelagem e Simulação de Eventos Discretos – Chwif e Medina (2006) Slide 6
Técnicas de Verificação�Implementação Modular/VerificaçãoModular
�Valores constantes/simplificados + cálculos manuais
�Utilização do “Debugger” (Trace)
�Simulação Manual
�Animação Gráfica
�Revisão em grupo
Modelagem e Simulação de Eventos Discretos – Chwif e Medina (2006) Slide 7
Validação�Processo muito mais difícil e sofisticado que a verificação
�Não há como validar um modelo na práticae sim como aumentar sua confiança com que ele representa a realidade
�Como validar sistemas novos?
Modelagem e Simulação de Eventos Discretos – Chwif e Medina (2006) Slide 8
Técnicas de Validação�Teste de Turing ou validação black-box.
Modelagem e Simulação de Eventos Discretos – Chwif e Medina (2006) Slide 9
Técnicas de Validação
�Duplicação de modelos
�Comparação com modelos anteriores
�Análise de sensibilidade
�Validação “face a face”
Modelagem e Simulação de Eventos Discretos – Chwif e Medina (2006) Slide 10
Considerações�Etapa importante do processo de modelagem. Muitos se esquecem dela, devido a grande dificuldade.
�Não há como garantir que o modelo é 100% livre de “bugs” e sim minimizá-los.
�Não há como validar 100% um modelo e sim aumentar sua confiança.
�Deve ser um processo contínuo (envolve vários ciclos).