Voltar
Capítulo de livro Acesso aberto Revisado por pares
BIBTEX RIS

Formal Test Automation: The Conference Protocol with TGV/TorX

2000; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-0-387-35516-0_14

ISSN

1868-422X

Autores

Lydie du Bousquet, Solofo Ramangalahy, Séverine Simon, César Viho, Axel Belinfante, R.G. de Vries,

Tópico(s)

Software Reliability and Analysis Research

Resumo

We present an experiment of automated formal conformance testing of the Conference Protocol Entity as reported in [2]. Our approach differs from other experiments, since it investigates the combination of the tools TGV for abstract test generation and TorX for test execution.

Referência(s)