Daniel Aguiar da Silva,  Patrícia D. L. Machado.  VII 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

Processando consulta.