Institutional Repository
| a path-oriented approach to generating executable test sequences for extended finite state machines | |
| Wu Tianyong; Yan Jun; Zhang Jian | |
| 2012 | |
| Conference Name | IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 |
| Source | Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 |
| Pages | 267-270 |
| Conference Date | July 4, 2012 - July 6, 2012 |
| Conference Place | Beijing, China |
| Indexed Type | EI |
| ISBN | 9780769547510 |
| Department | (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 |
| English Abstract | 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. |
| Keyword | Automata Theory Computer Aided Software Engineering Computer Software |
| Sponsorship | IFIP; Beijing University of Technology |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/15750 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment