论文部分内容阅读
基于组件的软件开发是近几年来软件工程中一种新兴的方法。软件组件技术是解决软件复用、缩短软件编写时间、降低维护成本和实现程序动态升级的最新和强有力的方案。对基于组件的软件进行集成测试是一个新的研究方向。 本文首先对组件技术的产生、定义及特点进行深入讨论,接着分析并比较了目前流行的三种主要组件模型,并对组件的各类形态进行比较。UML是软件建模的一种工具,使用它的各种模型图可以实现对基于组件的软件从不同角度进行描述。 软件测试是软件开发的重要环节,它是软件质量保证的重要因素。对先后出现的三种软件开发方法与软件测试的关系论述后,定义了基于UML测试充分性原则及标准。 本文对目前常用的两种基于组件的软件集成测试技术进行了研究,这两种技术分别是: (1) 基于状态的测试技术。每个组件的状态用有限状态自动机表示,采用合成全局状态机的方法以实现对组件间的接口进行测试,合成过程利用Jean Hartmann等人提出的决策表来消除产生的中间结果,用一个实例说明这种方法并模拟出它的执行过程。 (2) 基于事件信息流的测试技术。该方法对协作图中参与协作的