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

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