A Survey on Model-Based Testing Tools for Test Case Generation

被引：42

作者：

Li, Wenbin ^{[1
]}

Le Gall, Franck ^{[1
]}

Spaseski, Naum ^{[1
]}

机构：

[1] Easy Global Market, Sophia Antipolis, France

来源：

TOOLS AND METHODS OF PROGRAM ANALYSIS | 2018年 / 779卷

基金：

欧盟地平线“2020”;

关键词：

Model-Based Testing; Survey; Tool; Test case; Test generation; Model specification; Test description;

D O I：

10.1007/978-3-319-71734-0_7

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Compared to traditional testing methods, Model-Based Testing (MBT) is able to manage and accomplish testing tasks in a cheaper and more efficient way. A number of MBT tools are developed to support MBT activities in the past few years, whereas the characteristics of these tools largely vary from one to another and users without prior knowledge can hardly choose appropriate tools. This paper aims at providing a survey on the emerging MBT tools following a list of criteria emphasizing on test case generation while illustrating aspects of test data and test script generation. Firstly, we introduce the general MBT process for a common understanding; we then present a list of criteria oriented to test case generation covering fours dimensions i.e., model specification, test generation, test description and overall support; following our proposed criteria, we survey and characterize the emerging MBT tools; at last we summarize the current limitations based on our survey and shed light on further directions of MBT tool development.

引用

页码：77 / 89

页数：13

共 17 条

[1]

[Anonymous], 2007, Practical Model-Based Testing: A Tools Approach

[2]

Budnik C. J., 2008, GI JAHRESTAGUNG, V1, P223

[3]

Capgemini, WORLD QUAL REP 2016

[4]

Faivre A, 2007, LECT NOTES COMPUT SC, V4581, P90

[5]

HARTMAN A, 2002, MODEL BASED TEST GEN

[6]

Larsen K. G., 1997, UPPAAL IN A NUTSHELL

[7]

LaValle S.M., 2004, RELATIONSHIP CLASSIC, P59, DOI [10.1007/978-3-540-45058-0_5, DOI 10.1007/978-3-540-45058-0_5]

[8]

Legeard, 2016, MODEL BASED TESTING

[9]

Li N., 2014, EMPIRICAL ANAL TEST

[10]

Lima Muniz Laryssa, 2015, 17th International Conference on Enterprise Information Systems (ICEIS 2015). Proceedings, P404

← 1 2 →