.png){kind=icon}
返回
Accelerating Finite State Machine-Based Testing Using Reinforcement Learning
.png){kind=icon}
OA
AI
DOI：10.1109/TSE.2024.3358416.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Testing is a crucial phase in the development of complex systems, and this has led to interest in automated test generation techniques based on state-based models. Many approaches use models that are types of finite state machine (FSM). Corresponding test generation algorithms typically require that certain test components, such as reset sequences (RSs) and preset distinguishing sequences (PDSs), have been produced for the FSM specification. Unfortunately, the generation of RSs and PDSs is computationally expensive, and this affects the scalability of such FSM-based test generation algorithms. This paper addresses this scalability problem by introducing a reinforcement learning framework: the Q-Graph framework for MBT. We show how this framework can be used in the generation of RSs and PDSs and consider both (potentially partial) timed and untimed models. The proposed approach was evaluated using three types of FSMs: randomly generated FSMs, FSMs from a benchmark, and an FSM of an Engine Status Manager for a printer. In experiments, the proposed approach was much faster and used much less memory than the state-of-the-art methods in computing PDSs and RSs.
Keyword:
Finite state machines
reset sequences
state identification sequences
reinforcement learning
Q-value function
software engineering/software/program verification
software engineering/test design
software engineering/testing and debugging
期刊
IF:
5.6
论文数:
2.9K
被引数:
1.1W
机构
引用论文
Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs用于为可观察的非确定性fsm生成区分序列的并行算法
OAAI
OAAI分享收藏Silicon−Carbon Unsaturated Compounds. 76. Photochemical and Thermal Behavior of 1-Silacyclobut-3-enes Generated from the Reaction of Pivaloyltris(trimethylsilyl)silane with tert-Butylacetylene硅-碳不饱和化合物。76。新戊酰基三 (三甲基甲硅烷基) 硅烷与 叔 -丁基乙炔反应生成的1-硅杂环丁-3-烯的光化学和热行为
PREAI
分享收藏Management in a modified no-tillage corn–soybean–wheat rotation influences weed population and community dynamics.png)
Weed Science
Weed ScienceIF0
PREAI
分享收藏Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduceJOURNAL OF BIG DATAOAAI
JOURNAL OF BIG DATAIF6.4
OAAI分享收藏
查看更多内容