基于约束满足的测试计划方法  

Test plan method based on constraint satisfaction problem

作　　者：李悦[1] 李娟[1] 陈伟[1] 

机构地区：[1]中国科学院软件研究所互联网软件技术实验室

出　　处：《计算机工程与设计》2008年第3期535-539,共5页Computer Engineering and Design

基　　金：国家863高技术研究发展计划基金项目(2006AA01Z182)

摘　　要：测试经理在制定测试计划时,往往只能依靠个人经验,缺乏理论方法的指导,面对复杂软件系统时难以全面考虑测试模块间关系及测试人员能力等复杂因素,往往使得测试效果并不令人满意。将约束规划技术引入测试领域,结合测试计划自身特点,提出了一种全新的基于约束满足的测试计划方法。方法将软件产品划分为测试模块,通过确定各模块测试过程及过程间顺序约束、资源能力约束,对测试计划问题进行了约束建模和求解。并以项目管理软件SoftPM的测试过程为例,对方法的具体应用进行了介绍。It＇s hard for test manager to make a good test plan for a complex software system relying on personal experience. A new test plan method based on constraint programming technology and software testing＇s own characteristic is presented. The method transferms soft-ware product into testing modules, finds out testing process for each module, builds CP model according to processes preference constraint and resource constraint, and resolves it. The application of the method is shown using SoftPM system as a example.

关 键 词：软件测试 测试计划 调度 约束满足 约束规划 

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