.png){kind=icon}
返回
MTTool: A Tool for Software Modeling and Test Generation
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2018.2872774.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
MTTool is a novel model-based test tool. It is developed for modeling complex software behavior and generating test cases from the model. Different from existing model-based test tools, the proposed tool realizes the ERE-based testing, where the model is an extended regular expression (ERE). In ERE-based testing, test cases are generated from some decomposed subexpressions, thus alleviating the state-space-explosion problem in model-based testing. This paper introduces the modeling theory of the tool and two modeling ways: constructing regular finite state machine and writing R language. Additionally, three key algorithms in the tool are presented to construct the ERE model, decompose the ERE model, and generate test cases from submodels on the basis of test coverage criteria. Through an example, we demonstrate the application of the three algorithms. MTTool is found to well support the ERE-based test method and can be helpful in popularizing the application of this test method.
Keyword:
ERE-based testing
model-based testing
ERE
RFSM
MTTool
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
.png){kind=icon}
分享收藏Unsymmetric bimetal(II) complexes: Synthesis, structures and catalytic behaviors toward ethylene
PREAI
分享收藏分享收藏Improving fault detection capability by selectively retaining test cases during test suite reduction通过在测试套件减少期间选择性地保留测试用例来提高故障检测能力
OAAI
OAAI分享收藏Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors基于模型的测试预言机的自动转向以承认真实的程序行为OAAI
OAAI分享收藏
查看更多内容