计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2015年
4期
1188-1192,1206
,共6页
网络稳定性%有限状态机%协议状态机制%状态转移图
網絡穩定性%有限狀態機%協議狀態機製%狀態轉移圖
망락은정성%유한상태궤%협의상태궤제%상태전이도
network stability%finite state machine(FSM)%state mechanism of protocol%state transition diagram
进行网络稳定性测试时,对网络协议状态机制进行检测可以有效提高测试的全面性.基于有限状态机思想提出了一种协议状态机制检测方法.建立待测协议特定消息发送实体的有限状态机模型,确定输入集合;测试并监测实体的状态转移情况,生成状态转移图;根据状态转移图判定该消息的状态机制,确定有状态协议消息的触发条件,对消息进行归纳分类实现协议状态机制的判定.搭建实验环境,验证了该方法的有效性.
進行網絡穩定性測試時,對網絡協議狀態機製進行檢測可以有效提高測試的全麵性.基于有限狀態機思想提齣瞭一種協議狀態機製檢測方法.建立待測協議特定消息髮送實體的有限狀態機模型,確定輸入集閤;測試併鑑測實體的狀態轉移情況,生成狀態轉移圖;根據狀態轉移圖判定該消息的狀態機製,確定有狀態協議消息的觸髮條件,對消息進行歸納分類實現協議狀態機製的判定.搭建實驗環境,驗證瞭該方法的有效性.
진행망락은정성측시시,대망락협의상태궤제진행검측가이유효제고측시적전면성.기우유한상태궤사상제출료일충협의상태궤제검측방법.건립대측협의특정소식발송실체적유한상태궤모형,학정수입집합;측시병감측실체적상태전이정황,생성상태전이도;근거상태전이도판정해소식적상태궤제,학정유상태협의소식적촉발조건,대소식진행귀납분류실현협의상태궤제적판정.탑건실험배경,험증료해방법적유효성.
