BDBComp
Parceria:
SBC
MGASet - uma ferramenta para apoiar o teste e validação de especificações baseadas em máquinas de estado finito

Marco Arthur Pereira CandoloAdenilso da Silva SimãoJosé Carlos Maldonado

A atividade de teste e fundamental no desenvolvimento de sistemas críticos, tais como controladores de trânsito ou médico-hospitalares, uma vez que a ocorrência de falhas em tais sistemas e inadmissível, devido as graves conseqüências que acarretam para o ambiente em que estão inseridos. Dessa forma, são essenciais a utilizacao de técnicas rigorosas de teste e validação, e, em especial, a disponibilidade de ferramentas de apoio. Em geral, a especificação do aspecto comportamental desses sistemas e feita com uso de máquinas de transic ao de estado, tais como Máquinas de Estado Finito, Statecharts, Redes de Petri, etc. Com o objetivo de apoiar o teste e a validacao de sistemas reativos especificados com o uso de Máquinas de Estado Finito, desenvolveu-se a ferramenta MGASet, que realiza a verificação de propriedades e a geracao de seqüências típicas e de seqüências de teste.

http://www.lbd.dcc.ufmg.br:8080/colecoes/sbes/2001/031.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD