EFSM-Based Test Case Generation: Sequence, Data, and Oracle-Reference-Cited by-同舟云学术

EFSM-Based Test Case Generation: Sequence, Data, and Oracle

Published:2015-05 Issue:04 Volume:25 Page:633-667
ISSN:0218-1940
Container-title:International Journal of Software Engineering and Knowledge Engineering
language:en
Short-container-title:Int. J. Soft. Eng. Knowl. Eng.

Author:

Yang Rui¹²,Chen Zhenyu²,Zhang Zhiyi²,Xu Baowen¹²

Affiliation:

1. Department of Computer Science and Technology, Nanjing University, Nanjing 210046, China

2. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210046, China

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.

Publisher

World Scientific Pub Co Pte Lt

Subject

Artificial Intelligence,Computer Graphics and Computer-Aided Design,Computer Networks and Communications,Software

Link

https://www.worldscientific.com/doi/pdf/10.1142/S0218194015300018

Reference46 articles.

1. An orchestrated survey of methodologies for automated software test case generation

2. Principles and methods of testing finite state machines-a survey

3. Using formal specifications to support testing

4. FSM-based conformance testing methods: A survey annotated with experimental evaluation

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model-based diversity-driven learn-to-rank test case prioritization;Expert Systems with Applications;2024-12

2. A Parsing-Based Approach for Constructing Executable EFSM;2023 9th International Symposium on System Security, Safety, and Reliability (ISSSR);2023-06

3. Boosting input data sequences generation for testing EFSM-specified systems using deep reinforcement learning;Information and Software Technology;2023-03

4. Diversity Driven Learn-to-Rank Test Case Prioritization for Systems Specified in Efsm;2023

5. Granular Traceability Between Requirements and Test Cases for Safety-Critical Software Systems;Mobile Web and Intelligent Information Systems;2023