摘要
构件技术的新特点为构件测试带来挑战。合约式设计是一种重要的软件易测试性设计方法。基于合约的构件易测试性设计为构件测试提供了一种有效的手段。设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础。
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.
出处
《北京大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2005年第5期815-819,共5页
Acta Scientiarum Naturalium Universitatis Pekinensis
基金
国家"八六三"高技术研究发展计划(2001AA113070)
国家重点基础研究发展规划(973计划)(2002CB31200003)
国家自然科学基金(60373003)
中国博士后科学基金(2003034077)资助项目
关键词
软件测试
软件的易测试性
构件
合约式设计
software testing
testability of software
component
design by contract
