非形式化合约描述的构件化软件集成测试方法研究

摘要

本文针对合约的多样性,在文献[12][13]提出的面向构件化软件的合约检查框架(Integration Testing Architecture for Component-Based Software,ITACBS)的基础上,以合约检查为核心,提出了一种面向检查代码的构件化软件集成测试方法。文中给出了面向代码的合约类、继承方式和合约检查时的执行序列,并由其中的面向特定接口的合约类和面向特定测试功能的合约类进行扩展达到对合约描述的目的。最后文章给出具体的测试实例和测试结果报告,验证该方法的可行性。