BDBComp
Parceria:
SBC
FCCE: uma família de critérios de teste para validação de sistemas especificados em Estelle

Simone do Rocio Senger de SouzaJosé Carlos MaldonadoSandra C. P. F. Fabbri

Estelle is a formal description technique standardized by ISO and have been used for specification of distributed systems and communication protocols. This paper proposes a family of coverage testing criteria for validation of systems specified in Estelle named Estelle Coverage Criteria Family (ECCF) establishing mechanisms to quantify the testing activity. The ECCF family can be used either to generate or to evaluate test sequences. These criteria aims at complementing the approaches used for validation of the Estelle specifications, for instance,simulation. Reachability tree representation for Estelle is proposed and used for application of the criteria. These aspects are illustrated using the Alternating-Bit Protocol Estelle specification.

http://www.lbd.dcc.ufmg.br:8080/colecoes/sbes/2001/017.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