| 通讯协议的一致性测试产生技术 |
| |
| 引用本文： | 常霞,蔡希尧.通讯协议的一致性测试产生技术[J].西安电子科技大学学报,1994,21(4):373-380. |
| |
| 作者姓名： | 常霞 蔡希尧 |
| |
| 作者单位： | 西安电子科技大学软件研究所 |
| |
| 摘 要： | 文中采用新的方法对通讯协议的一致性产生相应的测试序列，对ＵＩＯＶ（Ｉｍｐｒｏｖｅｄ Ｕｎｉｑｕｅ Ｉｎｐｕｔ／Ｏｕｔｐｕｔ）方法进行改进：当状态先ＵＩＯ序列时，采用并行表示技术收敛边标识与其它状态区分开来，而不是采用ＩＯ（ｓ，ｋ）（区分状态ｓ与ｋ的输入／输出序列），由于ＩＯ（ｓ，ｋ）对某个状态有时是不唯一的；当某个状态有多个ＵＩＯ序列时，采用启发式方法选择准最优的ＵＩＯ序列，并与中国农村邮递员算法
|
| 关 键 词： | 通信协议 一致性 测试 |
A technique for communication protocol conf or mancetest seqences generation |
| |
| Chang Xia Cai Xiyao.A technique for communication protocol conf or mancetest seqences generation[J].Journal of Xidian University,1994,21(4):373-380. |
| |
| Authors: | Chang Xia Cai Xiyao |
| |
| Abstract: | A new method is presented for protocol conformance test sequence generation. Whensome state has no UIO sequence,the UIOV approach is revised with the parallel representationtechnique or convergent edges labels to distinguish this state from other states and IO(s,k)_smay not be unique in an implementation. When some state has multiple UIO sequences,aheuristic technique is used to obtain sub-optimal UIO which is combined with Rural ChinesePostman algorithm to generate shorter test sequences. |
| |
| Keywords: | UIO sequences Rural Postman Algorithm convergent edge test se-quenece |
| 本文献已被 CNKI 维普 等数据库收录！ |
