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

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