电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2002年
z1期
1947-1952
,共6页
时间自动机%协议测试%RIP%测试生成Wp方法%TTCN
時間自動機%協議測試%RIP%測試生成Wp方法%TTCN
시간자동궤%협의측시%RIP%측시생성Wp방법%TTCN
对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.
對協議實現的時間約束進行測試,是驗證協議實現的實時特性的重要方法.本文攷查瞭噹前實時繫統測試方麵的進展,結閤路由協議測試的實踐,脩正瞭現有方法幾箇不符閤實際情況的假設,擴展瞭時間自動機的理論和思路,將時間約束下的狀態機轉換成非確定性有限狀態自動機,運用Wp方法生成抽象測試集,討論將抽象測試集參數化的方法.以路由協議RIP的時間約束為例說明瞭生成基于TTCN測試例的過程.
대협의실현적시간약속진행측시,시험증협의실현적실시특성적중요방법.본문고사료당전실시계통측시방면적진전,결합로유협의측시적실천,수정료현유방법궤개불부합실제정황적가설,확전료시간자동궤적이론화사로,장시간약속하적상태궤전환성비학정성유한상태자동궤,운용Wp방법생성추상측시집,토론장추상측시집삼수화적방법.이로유협의RIP적시간약속위례설명료생성기우TTCN측시례적과정.
