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...
Main Author: | |
---|---|
Language: | English |
Published: |
2008
|
Online Access: | http://hdl.handle.net/2429/1674 |