基于属性的协议互操作性测试的TTCN-3实现  

Realization of Protocol Interoperability Testing Using TTCN-3 Language Based on Property

作　　者：洪有芬[1] 刘龙[1] 李华[1,2] 

机构地区：[1]内蒙古大学计算机学院,呼和浩特010021 [2]内蒙古大学网络信息中心,呼和浩特010021

出　　处：《内蒙古大学学报（自然科学版）》2011年第5期591-595,共5页Journal of Inner Mongolia University：Natural Science Edition

基　　金：国家自然科学基金项目(60863015);内蒙古自治区高等学校科学研究项目(NJ09012);内蒙古自然科学基金项目(200408020806)

摘　　要：目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.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 implementation language of the test sequences which are generated by property.By the result of test verdicts,the selection method based on property and using TTCN-3 language as the test implementation of test cases can effectively improve the testing efficiency.

关 键 词：互操作测试 路由协议 属性 TTCN-3 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]