.png){kind=icon}
返回
Petri net based test case generation for evolved specification
.png){kind=icon}
PRE
AI
DOI：10.1007/s11432-016-5598-5.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Model-based testing can use a model to test a concrete program's implementation. When the model is changed due to the evolution of the specification, it is important to maintain the test suites up to date, such that it can be used for regression testing. A complete regeneration of the whole test suite from the new model, although inefficient, is still frequently used in practice. To address this problem effectively, we propose a test case reusability analysis technique to identify reusable test cases of the original test suite based on graph analysis, such that we can generate new test cases to cover only the change-related parts of the new model. The Market Information System ( MIS) is employed to demonstrate the feasibility and effectiveness of the proposed method. Our experimental results show that the use of our method saves about 31.5% test case generation cost.
Keyword:
test case generation
regression testing
evolved specification
Petri net
reachability graph
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
7.6
论文数:
4.9K
被引数:
8.9K
机构
查看更多机构
引用论文
.png){kind=icon}
分享收藏Endovascular thrombectomy in acute ischemic stroke patients with COVID-19: prevalence, demographics, and outcomes新型冠状病毒肺炎急性缺血性卒中患者的血管内血栓切除术: 患病率，人口统计学和结果
OAAI
OAAI分享收藏 没有更多内容