一种基于合约的构件易测试性设计方法

摘要：

基于构件的软件复用和开发被认为是提高软件开发效率和质量的有效途径.构件测试是保证构件质量的重要技术手段.构件技术的新特点为构件测试带来了挑战.基于合约的构件易测试性设计为构件测试提供了一种有效的手段.本文提出一种基于合约的构件易测试性设计方法,定义描述构件合约的巴科斯-诺尔范式,在构件的接口和内部加入合约信息,然后由工具自动将合约翻译成相应的检查代码,以便在构件运行时检查合约是否被违反;开发相应的支持工具;通过实验验证了方法的有效性.

关键词： 软件测试 软件开发 构件测试 构件质量

作者: 单锦辉 侯姗姗

作者单位: 兰州市27支局,732750;北京大学信息科学技术学院软件研究所,100871 北京大学信息科学技术学院软件研究所,100871

会议类型: 国内会议

会议名称: 第四届中国测试学术会议

会议地点: 北戴河

会议语种:中文

页码: 350-355

在线出版日期: 2006-08-07（万方平台首次上网日期，不代表论文的发表时间）