UML中的状态图和通信图可共同作为生成测试用例的模型,用于集成测试用例的生成.在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图,提出一种形式化组合状态图中组合状态的方法,使集成测试模型更加简单,实验结果表明易于生成集成测试用例.
A model for generating integration test cases based on communication diagram and statechart diagram is brought up. On the bases of communication transitions, using deep and extensive searching, we can get the minimal reachable combined state-chart diagram. This paper proposes a valid method of formalizing combined states. It is convenient to generate the test cases and proved to be feasible.