Formalizar um modelo conceitual gera importantes insigths mesmo antes que ele esteja pronto para ser simulado. A formalização nos obriga a reconhecer conceitos vagos e a resolver contradições que não foram percebidas durante a fase conceitual.

Nesse momento, ocorre o teste de nossa real compreensão do problema: computadores não aceitam pura retórica. Pelo contrário, somos obrigados a escrever equações e estimar parâmetros durante a modelagem no computador.

Os testes se iniciam a partir do momento em que escrevemos a primeira equação. Parte do teste é, naturalmente, comparar o comportamento do modelo com o comportamento atual do sistema.

Mas testar envolve muito mais do que a replicação de comportamentos. Cada variável deve corresponder a um conceito significativo do mundo real. Cada equação deve ser verificada em termos de sua consistência dimensional (para não somarmos maçãs com laranjas).



Copyright © 2003 AIEC..