Uma proposta para a otimização de análise de cenários implícitos

Abstract

Para se alcançar a con abilidade de um sistema é necessário se levar em conta todas as fases de desenvolvimento do sistema. A modelagem por cenários tem sido considerada uma forma e caz de se modelar e analisar o comportamento de um sistema nos estágios iniciais do ciclo de desenvolvimento. Cenários implícitos são comportamentos inesperados, gerados quando componentes de sistemas concorrentes se comunicam de uma forma não descrita na especi cação do software. A ferramenta LTSA nos permite identi car cenários implícitos para este m, porém, a detecção de cenários implícitos muitas vezes se torna onerosa e com resultados repetitivos. Este projeto foi desenvolvido para tornar possível o agrupamento dos cenários implícitos em famílias de maneira automática e identi cá-los iterativamente. Isso melhora a interpretação do resultado da análise e torna o processo de análise de con abilidade mais fácil e e ciente.