基于合约状态检查的构件易测试研究

Component testability research based on contract status checking

随着软件规模日趋复杂,软件质量问题日趋突出。构件复用提高了开发效率,构件测试保证了构件质量。针对目前缺乏成熟构件测试技术的现状,提出了基于合约状态检查的构件易测试方法。将Bertrand Meyer的合约概念引入到构件设计开发测试过程中,考虑构件易测试性,从构件开发者和复用者的角度分析构件及构件的测试,违反构件合约时抛出异常信息,快速定位异常位置。在一定程度上保证构件质量,缩短开发周期,提高测试效率。

With the continual increase of software Scale and complexity,it is more and more difficult to assure the quality of software. Component reuse is an effective way to improve the efficiency of development. Component testing is an important means to ensure the quality of components. In view of the present situation of the lack of mature component testing technology, a component testability method is proposed based on contract status checking. Bertrand Meyer＆#39;s contract concept is introduced in-to testing process of component design and development. In consideration of the component testability,components and compo-nent testing are analyzed from the perspective of the component developers and re-users. An exception message is provided when the component contract is violated,and the exception position is quickly locked. By the research achievement,the quality of component was guaranteed,the development time was shortened and the testing efficiency was improved in a certain extent.