| 协议一致性测试研究进展 |
| |
| 引用本文： | 李强,余祥,齐建业,许庆光.协议一致性测试研究进展[J].西南科技大学学报,2013(4):85-92. |
| |
| 作者姓名： | 李强 余祥 齐建业 许庆光 |
| |
| 作者单位： | 解放军电子工程学院,安徽合肥230037 |
| |
| 基金项目： | 技术基础项目（7211019）;解放军电子工程学院科研基金项目（KY11026）. |
| |
| 摘 要： | 协议一致性测试是协议测试中最为关键的测试，是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨，到目前为止，仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术人手，分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究，阐述了其中存在的问题并给出了基本解决思路。
|
| 关 键 词： | 协议测试 一致性测试 测试序列 测试用例 形式化 |
The Headway of Protocol Conformance Testing |
| |
| Institution: | LI Qiang, YU Xiang, QI Jian- ye, XU Qing- guang ( PLA Electronic Engineering Institute, Hefei 230037, Anhui, China) |
| |
| Abstract: | |
| |
| Keywords: | Protocol testing Conformance testing Testing sequence Test case Formalization |
| 本文献已被 维普 等数据库收录！ |
|
