计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2009年
17期
3983-3985,4056
,共4页
檀革苗%袁捷%缪怀扣%王明辉
檀革苗%袁捷%繆懷釦%王明輝
단혁묘%원첩%무부구%왕명휘
形式概念分析%FSM模型%Web应用测试%测试覆盖准则%状态组合爆炸
形式概唸分析%FSM模型%Web應用測試%測試覆蓋準則%狀態組閤爆炸
형식개념분석%FSM모형%Web응용측시%측시복개준칙%상태조합폭작
为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种方法的不足,提出了应用形式概念分析,根据给定的测试覆盖准则,精简测试用例集,避免状态组合爆炸的方法,并改进了Sampath的测试用例选取规则.最后根据形式概念分析的原理,开发了测试用例集精简工具,提高了测试过程的自动化程度,用实例说明了方法的有效性.
為瞭避免基于模型的Web應用測試中存在的狀態組閤爆炸問題,分析瞭經典的每箇一次和基本選擇的狀態組閤爆炸避免方法,指齣瞭這兩種方法的不足,提齣瞭應用形式概唸分析,根據給定的測試覆蓋準則,精簡測試用例集,避免狀態組閤爆炸的方法,併改進瞭Sampath的測試用例選取規則.最後根據形式概唸分析的原理,開髮瞭測試用例集精簡工具,提高瞭測試過程的自動化程度,用實例說明瞭方法的有效性.
위료피면기우모형적Web응용측시중존재적상태조합폭작문제,분석료경전적매개일차화기본선택적상태조합폭작피면방법,지출료저량충방법적불족,제출료응용형식개념분석,근거급정적측시복개준칙,정간측시용례집,피면상태조합폭작적방법,병개진료Sampath적측시용례선취규칙.최후근거형식개념분석적원리,개발료측시용례집정간공구,제고료측시과정적자동화정도,용실례설명료방법적유효성.
