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 |
| 会议日期 | July 4, 2012 - July 6, 2012 |
| 会议地点 | Beijing, China |
| 关键词 | Automata theory Computer aided software engineering Computer software |
| 页码 | 267-270 |
| 中文摘要 | 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. |
| 收录类别 | EI |
| 会议主办者 | IFIP; Beijing University of Technology |
| 会议录 | Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
 |
| 语种 | 英语 |
| ISBN号 | 9780769547510 |
| 源URL | [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]. 见:IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012. Beijing, China. July 4, 2012 - July 6, 2012. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。