Skip to content

Pesquisa e desenvolvimento de uma ferramenta para automatização do processo de verificação de implementação de protocolo de rede. Trabalho de conclusão de curso.

License

Notifications You must be signed in to change notification settings

wellfernandes/msrp-tool

Repository files navigation

Ferramenta MSRP

msrp

Pesquisa e desenvolvimento de uma ferramenta para automatização do processo de verificação de implementação de protocolo de rede.

🚀 Descrição

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.

🖥 Execução da ferramenta

Como usar a MSRP
  1. 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.
  1. 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.

⚙️ Arquivos para execução MSRP

📚 Trabalhos relacionados

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 😊

About

Pesquisa e desenvolvimento de uma ferramenta para automatização do processo de verificação de implementação de protocolo de rede. Trabalho de conclusão de curso.

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published