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...
Main Author: | Zhang, Rui |
---|---|
Format: | Others |
Language: | English |
Published: |
2009
|
Online Access: | http://hdl.handle.net/2429/4686 |
Similar Items
-
An Estelle.Z parser for a protocol test generation environment TESTGEN+
by: Zhang, Rui
Published: (2009) -
On TESTGEN+, an environment for protocal test generation and validation
by: Zhou, Jingsong
Published: (2008) -
On TESTGEN+, an environment for protocal test generation and validation
by: Zhou, Jingsong
Published: (2008) -
On TESTGEN, an environment for protocol test sequence generation, and its application to the FDDI MAC protocol
by: Lu, Ying
Published: (2010) -
Automated network protocol reachability analysis with supertrace algorithm and TESTGEN : automated generation of test sequence for a formal protocol specification
by: Basaran, Cuneyt
Published: (2013)