| INAP协议一致性测试生成的形式化方法 |
| |
| 引用本文： | 兰海涛,马玉祥. INAP协议一致性测试生成的形式化方法[J]. 微电子学与计算机, 2003, 20(1): 57-58,66 |
| |
| 作者姓名： | 兰海涛 马玉祥 |
| |
| 作者单位： | 西安电子科技大学,西安,710071 |
| |
| 基金项目： | ISN国家重点实验室资助项目(9918106) |
| |
| 摘 要： | 文章应用形式化方法对INAP协议进行测试，基于INAP协议描述的I／O FSM模型，应用UIO方法生成一致性测试序列，然后应用中国乡村邮递员算法对测试序列进行优化，生成的测试序列可以覆盖状态机的每个变迁，且生成的测试序列较短。
|
| 关 键 词： | INAP协议 一致性测试生成 形式化方法 通信协议 UIO序列 计算机网络 |
INAP Protocol Conformance Testing Using Formal Method |
| |
| LAN Hai-tao,MA Yu-xiang. INAP Protocol Conformance Testing Using Formal Method[J]. Microelectronics & Computer, 2003, 20(1): 57-58,66 |
| |
| Authors: | LAN Hai-tao MA Yu-xiang |
| |
| Abstract: | A formal INAP conformance test case generation method is presented in this paper.Based on the I /O FSM for INAP, UIO method is used to generate the test sequences and Chinese Rural Postman algo rithm is used to optimize the test se-quences. |
| |
| Keywords: | INAP UIO Conforma nce test Formal method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
