面向构件化软件的合约检查测试框架

基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B.Meyer将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监视和检查,可以容易地发现构件之间的交互错误,从而达到集成测试构件化软件的目的。该文提出了一种基于合约检查的构件集成测试框架(contract-checkingtestframework,CCTF)。讨论了该框架合约检查的思想、5大功能模块以及其测试流程,并介绍了将CCTF应用到构件化软件测试平台实现的一些关键技术。

一种基于内置合约检查和可配置接口的软构件测试技术

从构件使用者和开发者的角度分析构件及构件化软件的测试,利用Meyer的合约化软件设计思想作为构件测试的理论基础,并在其上进行了扩展和改进,提出了一种基于内置合约检查和可配置接口的构件测试技术。该方法的优点是:当构件被部署到新的系统环境中时,能够自动测试其服务端是否遵守彼此之间合约,并验证自身在运行阶段履行其所声明的义务的能力;利用可配置接口,可以根据所部署环境和特定系统的需求,动态地选择测试强度;当构件集成出现问题时,能够从抛出的异常信息定位到出错的位置。

一种合约检查的构件测试方法

构件复用是提高软件开发效率的有效途径,构件测试是保证构件质量的重要手段。针对目前构件测试的现状,对构件测试进行了深入研究,提出了一种合约检查的构件测试方法,将Bertrand Meyer的合约概念引入到构件设计开发测试过程中,从构件开发者和复用者的角度分析构件及构件的测试,违反构件合约时抛出异常信息,快速定位异常位置,提高软件开发的效率。

一种面向交互代码的构件合约化测试方法

构件技术是软件复用的关键技术,构件测试是检测构件故障保证构件质量的重要手段。构件故障分为构件本身的故障和构件化软件集成时的故障,前者由于构件开发者熟悉源代码而易于测试和定位;后者由于软件复用者对构件的不清楚和集成的复杂性导致故障往往难以检测和发现,因此构件集成测试中的故障测试是目前研究的难点问题之一。构件集成测试离不开交互代码(粘贴代码),文中提出了一种面向粘贴代码的构件合约化测试方法。分析了基于粘贴代码的构件测试中的四种故障类型;针对这四种故障类型,依据合约的适应性,阐述了基于XML的粘贴代码合约的构造机理;并且给出了构件集成中基于合约检查的测试过程;最后以网络购物系统为应用实例,验证了该方法的有效性和实用性。该方法为捕捉错误,抛出异常信息,快速定位构件集成中的故障位置,准确发现故障原因提供了一种非常有效的途径。该方法的使用减少了构件集成测试中粘贴代码产生的冗余,提高了测试的灵活性,实现了高效的软件复用,缩短了软件开发周期,降低了开发成本。

基于组件的柔性制造执行系统软件集成测试研究

针对集成测试困难问题,提出了适用于组件化软件集成测试的体系架构和合约检查方法及验证公式。该架构由配置体系、编译体系和执行体系三部分组成。以一个组件化制造执行系统模型为例,描述了适用于组件化软件集成测试的体系架构下组件集成测试的过程,并验证了其可行性。

一种支持构件化软件测试用例生成的免疫算法

提出了一种支持构件化软件测试用例生成的改进的免疫遗传算法(Improved Immune Genetic Algorithm,简称IIGA),证明了算法的收敛性,并介绍了算法的基本思想。通过将IIGA算法与传统遗传算法在构件化软件测试用例生成中的比较,验证了算法的正确性、高效性。

浅析构件测试技术

基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。本文结合传统的软件测试技术,针对构件技术新特性在测试中引发的问题,对构件软件的集成测试和性能测试等问题进行了讨论和分析,并给出了构件软件测试的存在问题和研究方向。