Software component testing technique based on built-in contract checking and configurable interface
一种基于内置合约检查和可配置接口的软构件测试技术*

Analyzing the testing of component and component-based software from the viewpoints of component designer and user, and then improving and expanding the basic theory of design by contract which was first introduced by Bertrand Meyer, a new testing technique, base on built-in contract checking and configurable interface, for software component testing is proposed. By using this approach, when components are deployed in a new system, the build-in test components can check the contract-compliance of their server components, and automatically verify their ability to fulfill their own obligations. By using the configuration interface that was supplied by the contract tester component, testing size and intensity depending on specific requirements of the deployed environment can also be chosen dynamically and easily. If something wrong turns up while integration, it will throw exceptions which can be used to locate the problems.