| 一种通信协议测试序列生成的新方法 |
| |
| 引用本文： | 孙宇霖,屈玉贵,赵保华.一种通信协议测试序列生成的新方法[J].通信学报,2001,22(6):122-127. |
| |
| 作者姓名： | 孙宇霖 屈玉贵 赵保华 |
| |
| 作者单位： | 中国科学技术大学计算机系 |
| |
| 基金项目： | 国家863计划基金资助项目(863-317-04-16-99;863-300-02-08-99);教育部博士点基金资助项目(2000035802) |
| |
| 摘 要： | 本文讨论了一种协议测试的新方法，它使用构造类别代数述通信协议规范，然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较，得出两种方法在一些方面是等效的，但在处理状态较多的协议时，这种方法有一定的优点。
|
| 关 键 词： | 协议测试 构造类别代数规范 有限状态机 通信协议 |
| 文章编号： | 1000-436(2001)06-0122-06 |
| 修稿时间： | 2000年7月25日 |
A new method of generation of communication protocol test sequence |
| |
| SUN Yu lin,QU Yu gui,ZHAO Bao hua.A new method of generation of communication protocol test sequence[J].Journal on Communications,2001,22(6):122-127. |
| |
| Authors: | SUN Yu lin QU Yu gui ZHAO Bao hua |
| |
| Abstract: | |
| |
| Keywords: | protocol test constructed type algebra specification finite state machine |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
