BDBComp
Parceria:
SBC
Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos

Daniel Aguiar da Silva Patrícia D. L. MachadoVII Workshop de Testes e Tolerância a Falhas - Curitiba, PR, Brasil - 2006

Test purposes are properties that specify behaviours an implementation under test (IUT) should exhibit. Such properties are usually specified through analyses performed over a model for the IUT. When performed over formal specifications, these analyses can be automated through formal techniques,such as model checking. This paper presents the adaption of the algorithms of a model checker in order to provide a new approach for model analyses aimed at the test purpose generation.

http://www.lbd.dcc.ufmg.br:8080/colecoes/wtf/2006/st2_2.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