Voltar
Artigo Acesso aberto Produção Nacional
BIBTEX RIS

LoTuS: uma Ferramenta Gráfica Extensível para Modelagem, Análise e Verificação de Modelos LTS e PLTS

2017; Associação Sul-Rio-Grandense de Pesquisadores em História da Educação (ASPHE); Volume: 15; Issue: 1 Linguagem: Português

10.5753/reic.2017.1030

ISSN

1519-8219

Autores

Emerson Correia, Bruno Henrique Groenner Barbosa, Lucas Vieira, Ranniery Jesuíno, Messias Filho, Paulo Henrique M. Maia,

Tópico(s)

Software Engineering Techniques and Practices

Resumo

Este artigo apresenta LoTuS, uma ferramenta para modelagem gráfica, análise e verificação de comportamento de software usando LTS e PLTS. Suas principais contribuições são: facilitar o processo de modelagem formal através de um mecanismo de drag and drop que permite criar tanto modelos não probabilísticos como probabilísticos; permitir a geração de modelos a partir de outras fontes, como diagramas de sequencia da UML ou rastros de execução; prover um conjunto de técnicas de análise de modelos, como simulação, execução, detecção de deadlock e verificação probabilísticas de propriedades de alcançabilidade; e por fim, fornecer uma API para que desenvolvedores possam adicionar novas funcionalidades através da criação de plugins. A ferramenta foi avaliada em termos de sua usabilidade e desempenho e através de um estudo de caso no qual suas principais funcionalidades foram exercitadas.

Referência(s)