Verification of test cases for protocol conformance testing
This thesis is concerned with verifying the correctness of human designed test cases for determining the conformance of protocol implementation with its formal specification.
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
1992
|
| Online Access: | http://spectrum.library.concordia.ca/5523/1/NN81014.pdf Naik, Kshirasagar <http://spectrum.library.concordia.ca/view/creators/Naik=3AKshirasagar=3A=3A.html> (1992) Verification of test cases for protocol conformance testing. PhD thesis, Concordia University. |
| Summary: | This thesis is concerned with verifying the correctness of human designed test cases for determining the conformance of protocol implementation with its formal specification. |
|---|