• AOP切入点故障注入测试技术研究

    AOP切入点故障注入测试技术研究

    论文摘要面向方面的程序设计(Aspect-OrientedProgramming,AOP)是最新流行的一种软件开发技术,是对面向对象软件开发方法的进一步发展和补充。AOP的主要...
  • 面向SOA的合约变异测试技术研究

    面向SOA的合约变异测试技术研究

    论文摘要随着信息技术的飞速发展,软件的应用领域不断扩大,但是软件的可靠性和质量却没有得到相应的提高,这成为制约软件产业发展的一个重要因素。工业控制、交通、金融和医疗等领域都迫切...
  • 基于XML的组件接口验证与测试

    基于XML的组件接口验证与测试

    论文摘要基于组件的软件系统是多种异质组件的松耦合结构,与传统软件系统相比有更好的互操作性、可扩展性和重用性,其可靠性对组件质量高度依赖。组件软件常应用于网络分布式环境,其彼此独...
  • 面向对象程序的变异测试方法研究 ——基于代数式规格的变异测试系统的研究与实现

    面向对象程序的变异测试方法研究 ——基于代数式规格的变异测试系统的研究与实现

    论文摘要软件测试是软件工程中保证产品质量的重要技术手段。变异测试是一种衡量测试用例集完备性的测试策略,也被用于生成完备的测试用例集。传统的变异测试作用在程序的源代码上。本文提出...