甘肃科技
甘肅科技
감숙과기
GANSU SCIENCE AND TECHNOLOGY
2007年
11期
102-104
,共3页
形式化方法%被动测试%B方法%协议测试
形式化方法%被動測試%B方法%協議測試
형식화방법%피동측시%B방법%협의측시
协议测试对于保证协议实现的正确性起着至关重要的作用,被动测试通过在线监测网络设备运行状态的转变来测试协议实现的正确性,它不仅能将协议测试贯穿于协议实现的整个生命周期,而且可用于网络管理.文章使用B方法对被动测试进行了形式化建模,使用该模型可检测出网络协议实现错误.
協議測試對于保證協議實現的正確性起著至關重要的作用,被動測試通過在線鑑測網絡設備運行狀態的轉變來測試協議實現的正確性,它不僅能將協議測試貫穿于協議實現的整箇生命週期,而且可用于網絡管理.文章使用B方法對被動測試進行瞭形式化建模,使用該模型可檢測齣網絡協議實現錯誤.
협의측시대우보증협의실현적정학성기착지관중요적작용,피동측시통과재선감측망락설비운행상태적전변래측시협의실현적정학성,타불부능장협의측시관천우협의실현적정개생명주기,이차가용우망락관리.문장사용B방법대피동측시진행료형식화건모,사용해모형가검측출망락협의실현착오.