Test selection from UML Statecharts

UML is a third-generation state-of-the-art object modeling language that supports object-oriented software requirements and design. Software requirements and design are very important which must be validated and verified before implementation. Testing is one of the best ways to do so. This paper considers the method for testing UML Statecharts. Statechart is an important formalism to model the dynamics of the system. However, so far, the testing problems in Statecharts have been investigated in the context of structural programming. In this paper, the method presented, which is based on the Wp-method, can automatically generate and select test cases from UML Statecharts in the context of object orientation, which will detect errors early on to improve software quality.