Ferramenta 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.

2. 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

• Arquivo compilado MSRP para download
• Arquivo trace de exemplo
• Arquivo de modelo gráfico em XML

📚 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 😊