Executable Test Sequence for the Protocol Data Portion with Overlapping
碩士 === 輔仁大學 === 電子工程學系 === 90 === Thesis paper improves an earlier executable test sequence generation method for testing the conformance of a protocol implementation to its specification modeled by an Extended Finite State Machine (EFSM), where a test sequence is executable if it has cer...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2002
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/25541145684640843295 |