【摘要】 为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种方法的不足,提出了应用形式概念分析,根据给定的测试覆盖准则,精简测试用例集,避免状态组合爆炸的方法,并改进了Sampath的测试用例选取规则。最后根据形式概念分析的原理,开发了测试用例集精简工具,提高了测试过程的自动化程度,用实例说明了方法的有效性。更多还原

【Abstract】 Each choice and base choice methods used to avoid state space explosion is analyzed which exists in web application testing based on model, and the disadvantage of these two methods is pointed out, a method which reduces testing case suite with FCA on the condition of meeting the given coverage criterion is proposed in order to avoid state space explosion, and Sampath’s selection rule is improved. Lastly, a reduction tool for test suite is developed according to FCA, the efficiency is expressed with a case.更多还原