Abstract | ||
---|---|---|
Model-based testing has been intensively and extensively studied in the past decades. Extended Finite State Machine (EFSM) is a widely used model of software testing in both academy and industry. This paper provides a survey on EFSM-based test case generation techniques in the last two decades. All techniques in EFSM-based test case generation are mainly classified into three parts: test sequence generation, test data generation, and test oracle construction. The key challenges, such as coverage criterion and feasibility analysis in EFSM-based test case generation are discussed. Finally, we summarize the research work and present several possible research areas in the future. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1142/S0218194015300018 | INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING |
Keywords | Field | DocType |
Extended Finite State Machine, coverage criterion, test case generation, test sequence, test data, test oracle | Test suite,Data mining,Computer science,Test sequence,Extended finite-state machine,Oracle,Data sequences,Test data,Test data generation,Software testing | Journal |
Volume | Issue | ISSN |
25 | 4 | 0218-1940 |
Citations | PageRank | References |
3 | 0.39 | 66 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rui Yang | 1 | 4 | 0.73 |
Zhenyu Chen | 2 | 634 | 57.65 |
Zhiyi Zhang | 3 | 17 | 5.34 |
Xu, Baowen | 4 | 2476 | 165.27 |