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

Authors

  • Emerson Correia Universidade Estadual do Ceará
  • Bruno Barbosa Universidade Estadual do Ceará
  • Lucas Vieira Universidade Estadual do Ceará
  • Ranniery Jesuíno Universidade Estadual do Ceará
  • Messias Filho Universidade Estadual do Ceará
  • Paulo Henrique Mendes Maia Universidade Estadual do Ceará

DOI:

https://doi.org/10.5753/reic.2017.1030

Abstract

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.

Downloads

Não há dados estatísticos.

Downloads

Published

2017-08-30

Como Citar

Correia, E., Barbosa, B., Vieira, L., Jesuíno, R., Filho, M., & Maia, P. H. M. (2017). LoTuS: uma Ferramenta Gráfica Extensível para Modelagem, Análise e Verificação de Modelos LTS e PLTS. Revista Eletrônica De Iniciação Científica Em Computação, 15(1). https://doi.org/10.5753/reic.2017.1030

Issue

Section

Engenharia de Software