【作者】 单锦辉； 侯姗姗；

【Author】 Shan Jin-Hui Hou Shan-Shan (No. 14, P.O.Box 15, Sub-post Office 27, Lanzhou, P.R. China, 732750; Software Institute, School of Electronics Engineering and Computer Science, Peking University, Beijing, P.R. China, 100871)

【机构】 北京大学信息科学技术学院软件研究所；

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

【Abstract】 The component-based software reuse and development is considered as an effective and efficient approach to improve the productivity and quality of software development. Component testing is an important technology used to assure the quality of software components. New characteristics in component technology bring new challenges to component testing. Contract-based design for testability of components provides effective means to component testing. In this paper, an approach to contract-based design for testability of components is proposed. A Backus normal form is defined to describe component contracts which are inserted to the interface and body of components, and then transformed to the corresponding checking code by a supporting tool to verify whether the contracts are violated or not at run-time. Experiments are carried out on the supporting tool to validate the effectiveness of our approach.更多还原