A Component Testing Method Based on Contract Checking
ZHAO Yanni
GUO Hualei
Abstract：Component reuse is an effective way to improve the efficiency of software development .Component testing is an important way to ensure the quality of components .In view of the present condition of the component testing ,the compo-nent testing conducted in-depth research ,a component testing method is proposed based on contract checking .Bertrand Meyer's contract concept is introduced to component design and development testing process .From the perspective of the component developers and users ,component and component testing are analyzed ,an exception is thrown when the compo-nent contract is violated ,to quickly locate exception position ,improve the efficiency of software development .
Keywords：component testingcontract checkingclientserver
Publication Date：2014-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：5( 930-933,968 )