期刊文献+

基于约束满足的测试计划方法 被引量:1

Test plan method based on constraint satisfaction problem
下载PDF
导出
摘要 测试经理在制定测试计划时,往往只能依靠个人经验,缺乏理论方法的指导,面对复杂软件系统时难以全面考虑测试模块间关系及测试人员能力等复杂因素,往往使得测试效果并不令人满意。将约束规划技术引入测试领域,结合测试计划自身特点,提出了一种全新的基于约束满足的测试计划方法。方法将软件产品划分为测试模块,通过确定各模块测试过程及过程间顺序约束、资源能力约束,对测试计划问题进行了约束建模和求解。并以项目管理软件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.
出处 《计算机工程与设计》 CSCD 北大核心 2008年第3期535-539,共5页 Computer Engineering and Design
基金 国家863高技术研究发展计划基金项目(2006AA01Z182)
关键词 软件测试 测试计划 调度 约束满足 约束规划 software testing test plan scheduling constraint satisfaction constraint programming
  • 相关文献

参考文献8

  • 1韩丽娜.黑盒测试及测试工具Rational Robot的应用[J].计算机工程与设计,2006,27(2):359-360. 被引量:8
  • 2Bartak R. Constraint programming: A survey of solving technology [J]. AIROnews,1999,4(4):7-11
  • 3胡兢玉.测试能力成熟度模型[J].计算机工程,2003,29(15):102-104. 被引量:4
  • 4Huang C Y, Lo J H. Optimal allocation of testing resources for modular software systems [C]. Proceedings of the Thirteenth IEEE International Symposium on Software Reliability Engineering. Annapolis, Maryland, USA: IEEE Computer Society, 2002:129-138.
  • 5杨宏安,孙树栋,王荪馨,吴秀丽.基于约束满足的Job-Shop调度算法研究[J].计算机工程与应用,2003,39(31):36-37. 被引量:11
  • 6Wang Q, Li M S. Software process management: Practices in China [C], Proceedings of the Software Process Workshop. Beijing, China: Springer, 2005:317-331.
  • 7Bartak R.Visopt ShopFloor: On the edge of planning and scheduling [C]. Proceedings of ERCIM/CoLogNET Workshop on Constraint Solving and Constraint Logic Programming. Cork, Ireland:Springer, 2002.
  • 8Bartak R. Constraint Programming: What is behind? [C]. Gliwice: Proceedings of CPDC99 Workshop, 1999.

二级参考文献18

  • 1Eiffiede Dustin 于秀山.软件自动化测试:引入、管理与实施[M].北京:电子工业出版社,2003..
  • 2Myers Glenford J.计算机软件测试技巧[M].北京:清华大学出版社,1985..
  • 3BinderRobertV.面向对象系统的测试[M].北京:人民邮电出版社,2001..
  • 4Jorgensen Paul C 韩咳 杜旭涛.Software testing[M]Second Edition[M].北京:机械工业出版社,2003..
  • 5Mosley Danial J Posey Bruce A 邓波.Just enough software test automation(软件测试自动化)[M].北京:机械工业出版社,2003..
  • 6RonPatton 周予滨 姚静.软件测试[M].北京:机械工业出版社,2003..
  • 7Hancock James.When to automate testing a cost-benefit analysis[EB/OL].2002.Tester'Network,www.veritest.com/testers' network.
  • 8Kit Edward.Integrated effective test design and automation[EB/OL].2004.Software development, www.veritest.com/testers'network.
  • 9Gelperin D, Hetzel B.The Growth of Software Testing.CACM.1988,31(6):687-695
  • 10Burnstein I, Suwannasart T, Carlson C R. Ihc Development of a Testing Maturity Model. Proceedings of the Ninth Imernational Quality Week Conference,San Francisco, 1996-05:21-24.

共引文献20

同被引文献19

  • 1Freuder E C, Mackworth A K. Constraint Satisfac- tion: An Emerging Paradigm. RossiF, van Beek P, Walsh T, eds. Handbook of Constraint Program- ming[C]// Amsterdam: Elservier,2006 : 13-28.
  • 2Minton S, Johnston M D, Laird P. Minimal con- fliets:A heuristic repair method for constraint satis- faction and scheduling problems[J].Artificial Intel- ligence, 1992,58 ( 1 ) : 161-206.
  • 3Bessiere C, Cardon S, Debruyne R, et al. Efficient algorithms for singleton arc consistency[J].Con- straints, 2011,16(1) :25-50.
  • 4Bessiere C. Constraint Propagation. Rossi F, van Beck P, Walsh T, eds. Handbook of Constraint Programming [C]/ / Amsterdam: Elservier, 2006 : 29-84.
  • 5Freuder E C, Maekworth A K. Constraint Satisfac- tion: An Emerging Paradigm[C]// Rossi F, van Beck P, Walsh T, eds. Handbook of Constraint Programming. Amsterdam: Elservier,2006 : 13-28.
  • 6Bessiere C, Regin J C, Yap RHC, et al. An opti- mal coarse-grained are consistency algorithm [J]. Artificial Intelligence,2005,165(2) : 165-185.
  • 7Jones C. Software assessments, benchmarks, and best practices[M]. Beijing:China Machine Press, 2003.
  • 8Ivar Jacobsen, Grady Booch, James Rumbaugh. The unified software development process [M]. Beijing : China Machine Press, 2002.
  • 9James Rumbaugh, Ivar Jacobsen, Grady Booch. The unified modeling language reference manual [M]. USA : Addison Wesley Longman Inc, 1999.
  • 10Lecoutre C, Boussemart F, Hemery F. Exploiting multidirectionality in coarse-grained arc consistency algorithms[C]// In: Proc. of the CP 2003. Kin- sale, 2003.

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部