An Estelle.Z parser for a protocol test generation environment TESTGEN+

Protocol testing is an indispensable constituent in protocol development. The test suite generation and selection processes are usually tedious and time-consuming. It is difficult to manually generate and select test suites without errors. Therefore, an automatic protocol test suite generation...

Full description

Bibliographic Details
Main Author: Zhang, Rui
Format: Others
Language:English
Published: 2009
Online Access:http://hdl.handle.net/2429/4686