计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2013年
5期
1349-1352
,共4页
协议一致性测试%测试序列生成%扩展有限状态机%赋权值%互异代表系%分支界限法
協議一緻性測試%測試序列生成%擴展有限狀態機%賦權值%互異代錶繫%分支界限法
협의일치성측시%측시서렬생성%확전유한상태궤%부권치%호이대표계%분지계한법
针对EFSM中状态迁移不确定导致的协议一致性测试序列生成困难的问题,提出了一种协议一致性测试序列生成算法.该算法基于互异代表系理论为每个协议状态变迁赋权值,再基于分支界限法搜索生成的协议测试序列,将协议一致性测试序列的生成转换为寻找最小权值状态变迁路径的问题.该算法克服了无赋权要求的宽度优先搜索的缺陷,降低了测试序列的搜索与生成时间复杂度,提高了测试序列生成的效率.
針對EFSM中狀態遷移不確定導緻的協議一緻性測試序列生成睏難的問題,提齣瞭一種協議一緻性測試序列生成算法.該算法基于互異代錶繫理論為每箇協議狀態變遷賦權值,再基于分支界限法搜索生成的協議測試序列,將協議一緻性測試序列的生成轉換為尋找最小權值狀態變遷路徑的問題.該算法剋服瞭無賦權要求的寬度優先搜索的缺陷,降低瞭測試序列的搜索與生成時間複雜度,提高瞭測試序列生成的效率.
침대EFSM중상태천이불학정도치적협의일치성측시서렬생성곤난적문제,제출료일충협의일치성측시서렬생성산법.해산법기우호이대표계이론위매개협의상태변천부권치,재기우분지계한법수색생성적협의측시서렬,장협의일치성측시서렬적생성전환위심조최소권치상태변천로경적문제.해산법극복료무부권요구적관도우선수색적결함,강저료측시서렬적수색여생성시간복잡도,제고료측시서렬생성적효솔.
