摘要：软件测试是保证软件质量的重要手段。软件测试呈现向软件开发的前期发展、与软件开发的设计阶段和编码阶段相融合的发展趋势。软件的易测试性逐渐受到人们重视。合约式设计是一种有效的软件易测试性设计方法。本文介绍了软件易测试性设计的基本思想和主要方法，提出一种新的合约式设计方法，对现有各种基于Java语言的合约式设计工具进行比较，开发了一种新的合约式设计工具，并通过实验验证了方法的有效性。

关键词：软件测试 软件的易测试性 合约式设计 

单位：兰州市27支局15信箱14号 甘肃兰州732750 微软中国有限公司 北京100027 兰州市27支局44信箱54号 甘肃兰州732750