计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2005年
15期
172-175
,共4页
网络协议%一致性测试%测试生成
網絡協議%一緻性測試%測試生成
망락협의%일치성측시%측시생성
在简单介绍协议测试及一致性测试的基础上,重点评述了测试生成方法的发展状况,将其分为两大类:基于形式化描述模型和非形式化描述模型.对形式化模型中的基于有限状态机模型的测试生成方法作了重点介绍.同时对基于扩展有限状态机、确定有限状态机、标号变迁系统、外部行为描述等模型的方法也作了介绍.对每类方法均介绍了它的主要原理和重要概念,分析了它的特点及局限性.最后指出了这一领域中有待进一步研究的若干问题和发展趋势.
在簡單介紹協議測試及一緻性測試的基礎上,重點評述瞭測試生成方法的髮展狀況,將其分為兩大類:基于形式化描述模型和非形式化描述模型.對形式化模型中的基于有限狀態機模型的測試生成方法作瞭重點介紹.同時對基于擴展有限狀態機、確定有限狀態機、標號變遷繫統、外部行為描述等模型的方法也作瞭介紹.對每類方法均介紹瞭它的主要原理和重要概唸,分析瞭它的特點及跼限性.最後指齣瞭這一領域中有待進一步研究的若榦問題和髮展趨勢.
재간단개소협의측시급일치성측시적기출상,중점평술료측시생성방법적발전상황,장기분위량대류:기우형식화묘술모형화비형식화묘술모형.대형식화모형중적기우유한상태궤모형적측시생성방법작료중점개소.동시대기우확전유한상태궤、학정유한상태궤、표호변천계통、외부행위묘술등모형적방법야작료개소.대매류방법균개소료타적주요원리화중요개념,분석료타적특점급국한성.최후지출료저일영역중유대진일보연구적약간문제화발전추세.
