内蒙古大学学报（自然科学版）
內矇古大學學報（自然科學版）
내몽고대학학보（자연과학판）
ACTA SCIENTIARUM NATURALIUM UNIVERSITATIS NEIMONGOL
2011年
5期
591-595
,共5页
互操作测试%路由协议%属性%TTCN-3
互操作測試%路由協議%屬性%TTCN-3
호조작측시%로유협의%속성%TTCN-3
目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.
目前對路由協議的測試主要集中在一緻性測試,對于像OSPF這樣的複雜協議,對其進行互操作測試非常必要.傳統的協議互操作性測試是基于被測繫統的形式化模型生成測試序列,對測試序列進行測試例抽象,最終得齣測試判定.傳統方法簡單易行,但噹測試序列較長時相應問題隨之而來.採用TTCN-3語言對基于屬性生成的測試序列進行測試用例的實現,結果說明採用基于屬性作為模型選擇的方法併結閤使用TTCN-3實現測試用例可以有效提高測試效率.
목전대로유협의적측시주요집중재일치성측시,대우상OSPF저양적복잡협의,대기진행호조작측시비상필요.전통적협의호조작성측시시기우피측계통적형식화모형생성측시서렬,대측시서렬진행측시례추상,최종득출측시판정.전통방법간단역행,단당측시서렬교장시상응문제수지이래.채용TTCN-3어언대기우속성생성적측시서렬진행측시용례적실현,결과설명채용기우속성작위모형선택적방법병결합사용TTCN-3실현측시용례가이유효제고측시효솔.
