Resumo Trabalho

MODELAGEM DE COMPORTAMENTO DE SOFTWARE: UM COMPILADOR NA FERRAMENTA LOTUS

Autor(es): YAN AUGUSTO GURGEL DA SILVA e orientado por PAULO HENRIQUE MENDES MAIA

LoTuS é uma ferramenta extensível e de código aberto para a criação de modelos de comportamento representados como Labelled Trasition Systems (LTS) de forma gráfica através de uma interface amigável que disponibiliza um mecanismo drag and drop. A ferramenta LoTuS foi desenvolvida por alunos do curso de graduação em Ciência da Computação da Universidade Estadual do Ceará em 2013 e, desde então, vem evoluindo com a incorporações de novas funcionalidades. Sua característica de extensão permitiu a criação de outras ferramentas, como TCG, para geração e seleção de casos de teste, e o LoTuS@Runtime, para monitoramento e análise de sistemas autoadaptativos. Apesar de facilitar a construção de modelos simples, a criação gráfica apresenta limitações quando se almeja especificar modelos maiores, uma vez que essa atividade pode tornar-se exaustiva. A possibilidade de usar uma linguagem de especificação para construir os comportamentos era algo que também já vinha sendo solicitado por usuários da ferramenta, bem como pela comunidade acadêmica. Para atender a essa necessidade, a ferramenta foi estendida com dois novos módulos: a tela de especificação textual e um compilador para tal linguagem. Na primeira, o usuário pode especificar um ou mais componentes do sistema utilizando um subconjunto da linguagem de especificação formal Finite State Process (FSP). A contribuição inicial deste estudo consiste na extensão da linguagem para permitir a modelagem de comportamentos probabilísticos, então permitindo a especificação de ambos os tipos de componentes. O segundo módulo consistiu no desenvolvimento de um compilador para a linguagem FSP estendida, permitindo que a especificação textual pudesse ser validada, gerando como saída a representação gráfica do LTS, seja ele probabilístico ou não. Após isso, o usuário pode utilizar os outros plugins do LoTuS para analisar seu modelo gerado, como detecção de deadlock e análise de propriedades probabilísticas. Assim, o compilador foi aplicado para construir vários modelos diferentes. Os testes realizados mostraram que ele é robusto o suficiente para permitir a geração de modelos de comportamento maiores, bem como verificar se a especificação está de acordo com a linguagem utilizada, dando ao usuário uma maior capacidade de uso da ferramenta. Ressalta-se que o LoTuS encontra-se disponível gratuitamente para download no github.

Veja o artigo completo: PDF