摘要
协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术入手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路。
Protocol conformance testing is the most important protocol testing and the base of the other types. Although protocol conformance testing has been studied in depth, there is no systemic, effective and practical ways and means for protocol conformance testing. This paper introduces protocol formal description technology, studies description, testing sequence generation and testing implementation and execution of protocol conformance testing process, discusses existing problems and gives the basic solution.
出处
《西南科技大学学报》
CAS
2013年第4期85-92,共8页
Journal of Southwest University of Science and Technology
基金
技术基础项目(7211019)
解放军电子工程学院科研基金项目(KY11026)
关键词
协议测试
一致性测试
测试序列
测试用例
形式化
Protocol testing
Conformance testing
Testing sequence
Test case
Formalization