SpecificationRepresentation and Automatic Test Case Generation using System Model
Ashish Kumari1, Noor Mohammad2, Chetna3

1Ashish Kumari, M.Tech (Scholar) S.E.C, Jhunjhunu, RTU, Kota(Rajasthan),India
2Noor Mohammad, Assistant. Professor S.E.C, Jhunjhunu, RTU, Kota(Rajasthan),India
3Chetna, M.Tech (Scholar) Jagannath University, Jaipur (Rajasthan),India

Manuscript received on July 01, 2012. | Revised Manuscript received on July 04, 2012. | Manuscript published on July 05, 2012. | PP: 382-387 | Volume-2, Issue-3, July 2012. | Retrieval Number: C0806062312 /2012©BEIESP
Open Access | Ethics and Policies | Cite 
© The Authors. Published By: Blue Eyes Intelligence Engineering and Sciences Publication (BEIESP). This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)

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, Specification-based testing, State Transitions, path, Data dependency, Control dependency, SDG