Augmenting test case generation using statechart

Several researchers have proposed methods for generating test cases using statecharts, however the test coverage resulting from these methods has not been evaluated In this paper we consider the state-chart based approach proposed by Hong et al. The applicability of their method has been studied using two specific programs. We augment their method by adding tests for boundary cases. The programs are exercised using the generated test cases and the test coverage is evaluated using ATAC test coverage analysis tool. For comparison, test cases generated using all-transition coverage criterion are also applied. We compare the test efficiency of Hong et al method and all-transition coverage method. Results show that the method introduced by Hong et al. provides higher coverage however the examples show the need for augmenting their method.