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

北京大学学报（自然科学版）

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

单锦辉,姜瑛,刘江红,辛国茂,侯姗姗

收稿日期:2004-06-23 出版日期:2005-09-20 发布日期:2005-09-20

Design and Implementation of a Tool Supporting Contract-based Design for Testability of Components

SHAN Jinhui, JIANG Ying, LIU Jianghong, XIN Guomao, HOU Shanshan

Received:2004-06-23 Online:2005-09-20 Published:2005-09-20

摘要/Abstract

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

关键词: 软件测试, 软件的易测试性, 构件, 合约式设计

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 test ability 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.

Key words: software testing, testability of software, component, design by contract

中图分类号:

TP311

单锦辉,姜瑛,刘江红,辛国茂,侯姗姗. 基于合约的构件易测试性设计支撑工具的设计与实现[J]. 北京大学学报（自然科学版）.

SHAN Jinhui,JIANG Ying,LIU Jianghong,XIN Guomao,HOU Shanshan. Design and Implementation of a Tool Supporting Contract-based Design for Testability of Components[J]. Acta Scientiarum Naturalium Universitatis Pekinensis.

导出引用管理器 EndNote|Ris|BibTeX

链接本文: https://xbna.pku.edu.cn/CN/

https://xbna.pku.edu.cn/CN/Y2005/V41/I5/815

[1]	吴琴霞,栗青生,高峰. 基于语义构件的甲骨文字库自动生成技术研究[J]. 北京大学学报（自然科学版）, 2014, 50(1): 161-166.
[2]	孙萌,华却才让,刘凯,吕雅娟,刘群. 藏文数词识别与翻译[J]. 北京大学学报（自然科学版）, 2013, 49(1): 75-80.
[3]	单锦辉,姜瑛,孙萍. 软件测试研究进展[J]. 北京大学学报（自然科学版）, 2005, 41(1): 134-145.
[4]	滕启明, 陈向群. XCODE: 一种面向系统软件的可扩展构件描述语言[J]. 北京大学学报（自然科学版）, 2004, 40(3): 388-396.
[5]	程承旗,胡雪莲. 自适应型WebGIS构成模式初探[J]. 北京大学学报（自然科学版）, 2002, 38(1): 115-120.