Criação de modelos simulação protocolos comunicação: Aprender com os nossos dados

Tem havido muitos avanços no campo das técnicas facilitadas de verificação e validação baseadas em modelos. A maioria delas tem-se baseado na observação do comportamento externo do sistema. A nossa abordagem segue o mesmo princípio e é válida mesmo quando o código-fonte do sistema em análise não está disponível. Os mecanismos de inferência permitem-nos inferir esses modelos de máquina através da observação. Apresentamos uma estrutura que permite gerar componentes com estados infinitos/finitos e que se adapta a verificações formais. Os modelos utilizados são protocolos de comunicação inferidos por inferência regular, observados através do comportamento da entidade do protocolo de comunicação. Além disso, é apresentada uma abordagem em que o comportamento observado do protocolo valida o modelo concebido do protocolo.