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

• 作者: 张留美 潘少伟
• 来源期刊: 计算机与信息技术
• 学科: 工学
• 关键词: 构件化软件 集成测试 非形式化合约
• 年，卷（期）: 2010,（10）
• 页码范围: 73-77
• 页数: 5页
• 分类号: TP311.52

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘少伟	西安石油大学计算机学院	13	51	3.0	7.0
2	张留美	西安石油大学计算机学院	10	18	3.0	4.0