清华大学学报(自然科学版)
清華大學學報(自然科學版)
청화대학학보(자연과학판)
Journal of Tsinghua University
2003年
7期
968-971,976
,共5页
李中杰%尹霞%王之梁%吴建平
李中傑%尹霞%王之樑%吳建平
리중걸%윤하%왕지량%오건평
计算机网络测试%路由协议测试%开放最短路径优先(OSPF协议)%OSPF形式化
計算機網絡測試%路由協議測試%開放最短路徑優先(OSPF協議)%OSPF形式化
계산궤망락측시%로유협의측시%개방최단로경우선(OSPF협의)%OSPF형식화
针对路由协议测试中存在的大量测试数据生成、测试执行自动化等难点问题,提出了自治系统内部路由协议开放路径最短优先(OSPF)自动测试的重要算法和过程.首先对协议进行了形式化,在此基础上进行路由信息生成、邻居模拟,完成自动测试.在测试覆盖度上,涵盖了OSPF区域内、区域间和自治系统外部路由信息处理功能,同时缩短了测试时间,弥补了现有测试手段的不足.将该文的方法应用于已经过其他方法测试的路由器产品,有助于发现更多OSPF实现上的错误,提高产品质量.
針對路由協議測試中存在的大量測試數據生成、測試執行自動化等難點問題,提齣瞭自治繫統內部路由協議開放路徑最短優先(OSPF)自動測試的重要算法和過程.首先對協議進行瞭形式化,在此基礎上進行路由信息生成、鄰居模擬,完成自動測試.在測試覆蓋度上,涵蓋瞭OSPF區域內、區域間和自治繫統外部路由信息處理功能,同時縮短瞭測試時間,瀰補瞭現有測試手段的不足.將該文的方法應用于已經過其他方法測試的路由器產品,有助于髮現更多OSPF實現上的錯誤,提高產品質量.
침대로유협의측시중존재적대량측시수거생성、측시집행자동화등난점문제,제출료자치계통내부로유협의개방로경최단우선(OSPF)자동측시적중요산법화과정.수선대협의진행료형식화,재차기출상진행로유신식생성、린거모의,완성자동측시.재측시복개도상,함개료OSPF구역내、구역간화자치계통외부로유신식처리공능,동시축단료측시시간,미보료현유측시수단적불족.장해문적방법응용우이경과기타방법측시적로유기산품,유조우발현경다OSPF실현상적착오,제고산품질량.
