Automated Test Set Generation for Statecharts

In this paper we present the application of the formal testing method to the statechart notation. The method is proposed for deriving test sets for complex statecharts, i.e. containing hierarchy and concurrency, using a 'divide and conquer' strategy. Initially, test cases are generated for simple statecharts and then these test cases are 'merged' to derive test cases for complex statecharts. They are then populated with test data. Methods for generating test cases for simple statecharts and for 'merging' of such test cases, are described using a simple example. The blackbox test method presented is easy to automate.