下图是焊锡力平衡状态图.

The following graph is the chart of the solder thermodynamic state.

因此, 研究状态图搜索具有普遍意义.

Therefore, the study state diagram search of universal significance.

状态图实际上是一类问题的抽象表示.

State diagram is actually a class of abstract representation of the problem.

然后从UML状态图的操作语义,提出了把Z语言和状态图结合自动生成测试用例的方法.

The paper is focus on the test case generation methods based on Z language and statechart.