形式概念分析在Web应用测试用例选取中的应用  

Application of formal concept analysis in selection of web application testing case

作　　者：檀革苗[1] 袁捷[1] 缪怀扣[1] 王明辉[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072

出　　处：《计算机工程与设计》2009年第17期3983-3985,4056,共4页Computer Engineering and Design

基　　金：国家自然科学基金项目(60673115);国家863高技术研究发展计划基金项目(2007AA01Z144);上海市重点学科建设基金项目(J501032)

摘　　要：为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种方法的不足,提出了应用形式概念分析,根据给定的测试覆盖准则,精简测试用例集,避免状态组合爆炸的方法,并改进了Sampath的测试用例选取规则。最后根据形式概念分析的原理,开发了测试用例集精简工具,提高了测试过程的自动化程度,用实例说明了方法的有效性。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 im- proved. Lastly, a reduction tool for test suite is developed according to FCA, the efficiency is expressed with a case.

关 键 词：形式概念分析 FSM模型 WEB应用测试 测试覆盖准则 状态组合爆炸 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]