An approach for automatic test case generation from UML Statechart

摘要

Testing is an important but expensive approach to improve software quality. A model-driven testing methodology from UML Statechart model is proposed, and a model execution based automatic test case generation technique is presented. The approach overcomes the limitations normally associated with Statechart based testing approaches, where infeasible test cases are also generated and manual model translation is needed. A prototype tool, STgen, is implemented to demonstrate this methodology. STgen can also be used in conjunction with commercial UML modeling tools that support XML.