基于合约的定制构件的测试方法研究

基于构件的软件开发（CBSD）提供了一种自底向上的、基于预先定制包装好的构件来构造应用系统的途径。大多数构件复用者在获得构件后，可能需要对构件进行相应的定制后才能使用，即对构件进行必要的修改，使其可以在特定的应用环境中被复用，或者实现与其他构件的良好交互。由于黑盒构件固有的封装性，构件复用者通常只能通过修改构件接口来完成定制。因此，如何通过接口为复用者提供构件功能及可定制的信息说明，并利用已有的构件测试信息来测试定制后的构件，从而对构件质量给出客观评价，都是亟需解决的问题。合约是构件功能规约的体现，既能有效地描述定制信息，又可支持开发者和复用者进行构件测试。本项目将研究基于合约的定制构件的测试方法，提出构件接口规约描述机制、测试信息复用方法和构件质量评估方法。同时，设计并实现相应的支撑工具，以有效地提高构件的测试效率和质量，从而在整体上减少构件复用成本，保证构件复用质量。