期刊名称：International Journal of Soft Computing & Engineering
电子版ISSN：2231-2307
出版年度：2012
卷号：2
期号：3
页码：382-387
出版社：International Journal of Soft Computing & Engineering
摘要：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.
关键词：Regression testing; extended finite state machine;Specification-based;testing; State;Transitions; path;Data;dependency; Control dependency; SDG
