计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2005年
17期
46-49
,共4页
一致性测试%UIO序列%测试序列生成%有限状态机
一緻性測試%UIO序列%測試序列生成%有限狀態機
일치성측시%UIO서렬%측시서렬생성%유한상태궤
测试序列生成是协议一致性测试的一个重要方面,好的测试序列应该有较大的错误覆盖率且长度越短越好.测试序列构成中的第三部分通常称为状态识别序列,通过比较几种以UIO序列为状态识别序列的协议一致性测试方法,提出了一个更好的UIO序列生成算法,该算法能产生更短的UIO序列.
測試序列生成是協議一緻性測試的一箇重要方麵,好的測試序列應該有較大的錯誤覆蓋率且長度越短越好.測試序列構成中的第三部分通常稱為狀態識彆序列,通過比較幾種以UIO序列為狀態識彆序列的協議一緻性測試方法,提齣瞭一箇更好的UIO序列生成算法,該算法能產生更短的UIO序列.
측시서렬생성시협의일치성측시적일개중요방면,호적측시서렬응해유교대적착오복개솔차장도월단월호.측시서렬구성중적제삼부분통상칭위상태식별서렬,통과비교궤충이UIO서렬위상태식별서렬적협의일치성측시방법,제출료일개경호적UIO서렬생성산법,해산법능산생경단적UIO서렬.
