Pesquisa e desenvolvimento de uma ferramenta para automatização do processo de verificação de implementação de protocolo de rede.
MSRP (Modeling System | Routing Protocol) A ferramenta MSRP possibilita verificar e validar simulações geradas pelo software Network Simulator 2 (NS2), através da importação do arquivo de saída trace e a comparação entre o modelo gerado pela MSRP. Também é possível importar um modelo pré-definido, com todos estados e eventos esperados no formato XML.
- Modele uma máquina de estados graficamente usando os botões da interface: New state, Delete state e Insert transition
- ou, basta carregar um modelo pré-definido em formato XML através do menu: File > Open XML.
- Para verificar uma simulação, com o modelo gráfico já importado ou definido graficamente:
- acesse o menu: File e importe o arquivo trace clicando em Import trace
- clique em Check modeling.
Artigos e trabalhos relacionados que contribuiram para a pesquisa e desenvolvimento do trabalho Verificação de Implementação de Protocolo de Rede Por Meio de Teste Baseado em Modelo.
Linkedin 😊