计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2014年
3期
1110-1114,封3
,共6页
协议测试%一致性测试%测试用例%形式活动图%扩展有限状态机
協議測試%一緻性測試%測試用例%形式活動圖%擴展有限狀態機
협의측시%일치성측시%측시용례%형식활동도%확전유한상태궤
protocol testing%conformance testing%test case%formal activity diagram%extended finite state machine
为设计并生成有效的测试用例,通过测试用例的自动生成,提高了设计和执行测试用例的效率.建立了协议一致性测试用例生成模型,由形式活动图、扩展有限状态机和相关的转换算法组成.在定义形式活动图和扩展有限状态机概念的基础上,设计了从形式活动图生成扩展有限状态机的算法和从扩展有限状态机自动生成测试用例的算法.对算法进行了分析与比较,分析结果表明,该算法在测试序列的长度、错误覆盖度等方面具有一定的优越性.
為設計併生成有效的測試用例,通過測試用例的自動生成,提高瞭設計和執行測試用例的效率.建立瞭協議一緻性測試用例生成模型,由形式活動圖、擴展有限狀態機和相關的轉換算法組成.在定義形式活動圖和擴展有限狀態機概唸的基礎上,設計瞭從形式活動圖生成擴展有限狀態機的算法和從擴展有限狀態機自動生成測試用例的算法.對算法進行瞭分析與比較,分析結果錶明,該算法在測試序列的長度、錯誤覆蓋度等方麵具有一定的優越性.
위설계병생성유효적측시용례,통과측시용례적자동생성,제고료설계화집행측시용례적효솔.건립료협의일치성측시용례생성모형,유형식활동도、확전유한상태궤화상관적전환산법조성.재정의형식활동도화확전유한상태궤개념적기출상,설계료종형식활동도생성확전유한상태궤적산법화종확전유한상태궤자동생성측시용례적산법.대산법진행료분석여비교,분석결과표명,해산법재측시서렬적장도、착오복개도등방면구유일정적우월성.
