| 基于属性的协议互操作性测试的TTCN-3实现 |
| |
| 引用本文： | 洪有芬,刘龙,李华.基于属性的协议互操作性测试的TTCN-3实现[J].内蒙古大学学报(自然科学版),2011,42(5):591-595. |
| |
| 作者姓名： | 洪有芬 刘龙 李华 |
| |
| 作者单位： | 1. 内蒙古大学计算机学院,呼和浩特,010021
2. 内蒙古大学计算机学院,呼和浩特010021;内蒙古大学网络信息中心,呼和浩特010021 |
| |
| 基金项目： | 国家自然科学基金项目(60863015); 内蒙古自治区高等学校科学研究项目(NJ09012); 内蒙古自然科学基金项目(200408020806) |
| |
| 摘 要： | 目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.
|
| 关 键 词： | 互操作测试 路由协议 属性 TTCN-3 |
Realization of Protocol Interoperability Testing Using TTCN-3 Language Based on Property |
| |
| HONG You-fen,LIU Long,LI Hua.Realization of Protocol Interoperability Testing Using TTCN-3 Language Based on Property[J].Acta Scientiarum Naturalium Universitatis Neimongol,2011,42(5):591-595. |
| |
| Authors: | HONG You-fen LIU Long LI Hua |
| |
| Institution: | HONG You-fen1,LIU Long1,LI Hua1,2(1.College of Computer Science,Inner Mongolia University,Hohhot 010021,China,2.Center of Network and Information,China) |
| |
| Abstract: | Testing of routing protocol currently focuses on conformance testing.But for a complex protocol such as OSPF,interoperability testing is very essential.The traditional protocol interoperability testing extracts test sequences from the Abstract model of the SUT(System Under Test) to generate test cases by test sequences and gets the test verdict finally.Traditional methods are very simple,but the corresponding problems will be produced when the test sequences are long.TTCN-3 language is used as the implement... |
| |
| Keywords: | interoperability testing routing protocol property TTCN-3 |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
