On TESTGEN+, an environment for protocal test generation and validation

This thesis addresses a significant tool, TESTGEN+, for protocol test generation and validation. TESTGEN+ consists of two basic components: TESTGEN for protocol test generation, and TESTVAL for test validation. TESTGEN, is a protocol TEST Generation and Selection Environment for conformance testing...

Full description

Bibliographic Details
Main Author: Zhou, Jingsong
Language:English
Published: 2008
Online Access:http://hdl.handle.net/2429/1674