计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2005年
22期
76-79,102
,共5页
UIO%FSM%测试序列%TCP
UIO%FSM%測試序列%TCP
UIO%FSM%측시서렬%TCP
在通信协议一致性测试中,生成测试序列是非常重要的.基于FSM(Finite State machine)的测试序列生成的形式化方法有很多种,其中基于UIO序列(Unique input/output sequences)的U方法是最常用的.本文主要介绍了两种基于UIO序列的测试序列生成算法,并以TCP协议的FSM图为例,分别应用这两种算法生成了测试序列,进而从错误覆盖度、测试序列的长度、算法复杂度等方面对这两种算法进行了比较研究.
在通信協議一緻性測試中,生成測試序列是非常重要的.基于FSM(Finite State machine)的測試序列生成的形式化方法有很多種,其中基于UIO序列(Unique input/output sequences)的U方法是最常用的.本文主要介紹瞭兩種基于UIO序列的測試序列生成算法,併以TCP協議的FSM圖為例,分彆應用這兩種算法生成瞭測試序列,進而從錯誤覆蓋度、測試序列的長度、算法複雜度等方麵對這兩種算法進行瞭比較研究.
재통신협의일치성측시중,생성측시서렬시비상중요적.기우FSM(Finite State machine)적측시서렬생성적형식화방법유흔다충,기중기우UIO서렬(Unique input/output sequences)적U방법시최상용적.본문주요개소료량충기우UIO서렬적측시서렬생성산법,병이TCP협의적FSM도위례,분별응용저량충산법생성료측시서렬,진이종착오복개도、측시서렬적장도、산법복잡도등방면대저량충산법진행료비교연구.
