A Formal Approach to Protocol Performance Testing
摘要
This paper proposes a formal approach to protocol performance testing based on the extended concurrent TTCN,To meet the needs of protocol performance testing,concurrent TTCN is extended,and the extended concurrent TTCN's operational semantics is defined in terms of Input-Output Labeled Transition System.An architecture design of protocol performance test system is described,and an example of test cases and its test result are given.
引用本文（GB/T 7714）
徐明伟, 吴建平. A Formal Approach to Protocol Performance Testing[J]. 未知来源, 1999.
引文网络
本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。