摘要
测试经理在制定测试计划时,往往只能依靠个人经验,缺乏理论方法的指导,面对复杂软件系统时难以全面考虑测试模块间关系及测试人员能力等复杂因素,往往使得测试效果并不令人满意。将约束规划技术引入测试领域,结合测试计划自身特点,提出了一种全新的基于约束满足的测试计划方法。方法将软件产品划分为测试模块,通过确定各模块测试过程及过程间顺序约束、资源能力约束,对测试计划问题进行了约束建模和求解。并以项目管理软件SoftPM的测试过程为例,对方法的具体应用进行了介绍。
-
单位中国科学院研究生院; 计算机科学国家重点实验室; 中国科学院软件研究所