This paper proposes an approach to checking the consistency and generating test cases fromUML statechart specification through extended context-free grammar (ECFG) and model checking. UML statechart, test coverage criteria and ECFG are input to the system, to perform an automated consistency simulation and property verification for UML specification. ECFG is considered as external events and test coverage criteria are expressed as trap properties in CTL. A Simulation-Tree is introduced to simulate the execution of the systemwith the trigger events. The result of the simulation is the refined FSM consistent with the specification. Finally, test cases which satisfied with the specified test coverage are generated based on the refined FSM for UML statechart.