基于合约的构件易测试性设计支撑工具的设计与实现

• 来源期刊: 北京大学学报（自然科学版）
• 学科: 工学
• 关键词: 软件测试 软件的易测试性 构件 合约式设计
• 年，卷（期）: 2005,（5）
• 所属期刊栏目: 研究简报
• 页码范围: 815-819
• 页数: 5页
• 分类号: TP311
• 字数: 4653字
• 语种: 中文
• DOI: 10.3321/j.issn:0479-8023.2005.05.023

摘要

构件技术的新特点为构件测试带来挑战.合约式设计是一种重要的软件易测试性设计方法.基于合约的构件易测试性设计为构件测试提供了一种有效的手段.设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础.