STATETest: An Automatic Test Case Generation Framework for State Transition Testing

This paper proposes a novel of automatic test case generation framework, STATETest to enhance the current practice of software testing. The framework implements the state transition testing technique that provides the environment to generate test cases from the state machine diagram. The standard XML structure containing various states and their corresponding transition is extracted and generated into the test case matrix and state tree, before they are used to generate test cases. This includes in the case of valid and invalid transitions. The degree of testing coverage is calculated during each test case is created to ensure that the generated test cases cover all possible testing scenarios. The developed tool according to the framework demonstrates the effectiveness and usefulness of our proposed framework. The experimental evaluation with three close-to-realistic case studies confirms the beneficial contribution of our framework and tool as we expected.