软件测试是软件工程的一个重要阶段。随着软件工程的发展,软件设计规模的增大,软件测试的地位变得日益重要。测试用例的设计和编制是软件测试最重要的活动。测试用例是测试工作的指导,是软件测试的必须遵守的准则,更是软件测试质量稳定的根本保障。 目前,测试用例大多是由软件测试人员手动编写。因此,测试用例的质量完全取决于测试人员的水平。这就很难保证软件测试的质量,进而影响到整个软件产品的质量。因此,如何自动生成测试用例具有重要的现实意义。国内外,对于自动生成测试用例的研究主要集中在单元测试用例的生成上。主要以UML中的状态图为测试模型,生成针对类测试的测试用例。对于集成测试用例生成的研究,主要以UML中的通信图或顺序图作为测试模型。并且大部分研究处于理论阶段,真正投入使用的工具很少。随着UML的广泛应用,以UML中的设计模型作为测试的模型,具有重要的现实意义。 本文在总结前人研究的基础上,将UML通信图和状态图结合起来,共同作为生成测试用例的模型,用于集成测试用例的生成。该方法首先以通信图为依据确定进行集成测试的对象,然后对集成测试的对象的状态图逐步进行组合,形成既包含状态变化又包含对象之间交互的组合状态图。重点描述了两个对象或组件的状态图进行组合的方法,并给出了状态图的形式化描述,以及如何对组合状态图进行展开用于集成测试用例的生成。 为了检验该方法的实用性,作者实现了利用通信图和状态图共同生成测试用例的工具。并以实际项目为例,对该方法进行了验证。结果表明,该方法是可行的。该方法将系统的设计和测试用例的设计统一起来,是对软件测试自动化的一个探索。