| 基于合约的构件易测试性设计支撑工具的设计与实现 |
| |
| 引用本文： | 单锦辉 姜瑛 刘江红 辛国茂 侯姗姗. 基于合约的构件易测试性设计支撑工具的设计与实现[J]. 北京大学学报(自然科学版), 2005, 41(5): 815-819 |
| |
| 作者姓名： | 单锦辉 姜瑛 刘江红 辛国茂 侯姗姗 |
| |
| 作者单位： | 北京大学信息科学技术学院软件研究所,北京100871 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)，国家重点基础研究发展计划(973计划)，国家自然科学基金，中国博士后科学基金 |
| |
| 摘 要： | 构件技术的新特点为构件测试带来挑战.合约式设计是一种重要的软件易测试性设计方法.基于合约的构件易测试性设计为构件测试提供了一种有效的手段.设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础.
|
| 关 键 词： | 软件测试 软件的易测试性 构件 合约式设计 |
| 收稿时间： | 2004-06-23 |
| 修稿时间： | 2004-06-232005-03-09 |
Design and Implementation of a Tool Supporting Contract-based Design for Testability of Components |
| |
| Chan JinHui;Jiang Ying;Liu JiangGong;Xin GuoMao;Hou ShanShan. Design and Implementation of a Tool Supporting Contract-based Design for Testability of Components[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2005, 41(5): 815-819 |
| |
| Authors: | Chan JinHui Jiang Ying Liu JiangGong Xin GuoMao Hou ShanShan |
| |
| Abstract: | New characteristics in component technology bring new challenges to component testing. Design by contract is an important approach to design for testability of software. Contract-based design for testability of components provides effective means to component testing. A new tool to support design by contract is designed and implemented, which is named PKUJDBCT and can be used to support design for testability of components, and provide a basis for our future research on methods of contract-based design for testability of components. |
| |
| Keywords: | software testing testability of software component design by contract |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
