Specification Representation and Automatic Test Case Generation using System Model

Abstract:- Finite State Machine is used to model the requirement specification of the system by formal description languages. In this paper, I have presented a approach which is used to represent the requirement specification and automatically generate all possible test cases which should be executed to test that particular system [5].Requirement specification are represented using extended finte state machine which uses the state transition diagram that shows how system changes states and action and variable used during each transition. Based on information given in the state transition diagram, all possible test cases are generating by traversing the graph using Depth First Search. KEYWORDS:- Regression testing, extended finite state machine