• 面向对象类级的一种变异体及其相应的测试充分性

    面向对象类级的一种变异体及其相应的测试充分性

    论文摘要本文旨在根据陈火炎教授提出的具有形式化基础的通过属性变换与方法变换生成面向对象类级变异体的概念和思想,将变异分析与变异测试方法运用到面向对象的类级测试中。本文首先介绍变...
  • 基于CBD的软件测试方法研究

    基于CBD的软件测试方法研究

    论文摘要随着软件复用成为现代软件工程的重要目标,人们希望使用更高效的软件设计和开发方法,降低开发费用,提高生产效率。软件构件技术的蓬勃兴起揭开了软件开发从作坊式生产向工业化生产...