● 摘要
构件和基于构件的软件开发是目前软件工程领域研究的热点。基于构件的开发方法使得大型分布式软件系统的开发和维护变得更为简单，可以提高软件的复用性和软件开发效率。对于采用构件开发的系统，要更好地保证和提高软件的质量首先就要保证构件的质量。构件测试是构件质量保证的关键步骤。由于构件本身固有的一些特点，使得传统的软件测试方法和技术，在构件测试中并不能完全适用。本课题针对EOS构件，研究基于模型驱动的构件测试方法和工具。主要内容包括构件元模型的定义、测试用例元模型的定义和基于模型的构件分析、测试用例生成、测试用例执行以及测试结果的统计分析。在研究的基础上，开发一个基于模型的构件测试工具用以支持EOS构件的测试。本文首先简要介绍了国内外相关领域的研究现状，接着从分析现有的构件测试过程及特点入手，通过研究基于模型的相关技术，并结合构件测试的特点以及测试目标的不同，确定构件测试中构件元模型和测试用例元模型的定义，并给出基于模型的构件测试过程。最后详细描述基于模型的构件测试工具的系统功能、体系结构和实现。