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

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

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

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

北京大学学报（自然科学版） . 2005, (5): 815 -819 .