a path-oriented approach to generating executable test sequences for extended finite state machines

ISCAS OpenIR

	a path-oriented approach to generating executable test sequences for extended finite state machines
	Wu Tianyong; Yan Jun; Zhang Jian
	2012
会议名称	IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
会议录名称	Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
页码	267-270
会议日期	July 4, 2012 - July 6, 2012
会议地点	Beijing, China
收录类别	EI
ISBN	9780769547510
部门归属	(1) Technology Center of Software Engineering Institute of Software Chinese Academy of Sciences China; (2) State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China; (3) Graduate University Chinese Academy of Sciences China
摘要	The Extended Finite State Machine (EFSM) is a commonly used model for specifying software systems. A test sequence for an EFSM is a sequence composed of values of input variables, which can make the EFSM "execute" along a complete path from entry to exit. Traditional test sequence generation methods for EFSM almost imitate those FSM based approaches and focus on states identification. Most of them impose significant restrictions on the EFSM. This paper proposes a path-oriented approach to generating test cases for EFSM and presents a tool for test data generation. The experiments show that our tool can generate executable test sequences for EFSM models of software systems automatically in acceptable time. © 2012 IEEE.; The Extended Finite State Machine (EFSM) is a commonly used model for specifying software systems. A test sequence for an EFSM is a sequence composed of values of input variables, which can make the EFSM "execute" along a complete path from entry to exit. Traditional test sequence generation methods for EFSM almost imitate those FSM based approaches and focus on states identification. Most of them impose significant restrictions on the EFSM. This paper proposes a path-oriented approach to generating test cases for EFSM and presents a tool for test data generation. The experiments show that our tool can generate executable test sequences for EFSM models of software systems automatically in acceptable time. © 2012 IEEE.
关键词	Automata Theory Computer Aided Software Engineering Computer Software
主办者	IFIP; Beijing University of Technology
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/15750
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Wu Tianyong,Yan Jun,Zhang Jian. a path-oriented approach to generating executable test sequences for extended finite state machines[C],2012:267-270.