Systematic mapping study on MBT: tools and models

被引:17
作者
Bernardino, Maicon [1 ]
Rodrigues, Elder M. [1 ]
Zorzo, Avelino F. [2 ]
Marchezan, Luciano [1 ]
机构
[1] Fed Univ Pampa UNIPAMPA, Software Engn Dept, Alegrete, RS, Brazil
[2] Pontifical Catholic Univ Rio Grande Sul PUCRS, Fac Informat, Porto Alegre, RS, Brazil
关键词
software engineering; program testing; systematic mapping; model-based testing; MBT process; software modelling; software development; TEST-CASE GENERATION; SOFTWARE; VERIFICATION; STRATEGIES;
D O I
10.1049/iet-sen.2015.0154
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Every year several contributions to the model-based testing (MBT) field are published. Therefore, to follow the evolution and trends of several tools and models available is difficult. Moreover, since the variety of models and tools that became available in recent years, choosing an approach to support the MBT process is a challenging activity. The main objective of this study is to provide an overview on MBT tools and models used by those tools. Furthermore, the authors' study can help academic researchers and companies to understand the topics involving MBT. Therefore, a systematic mapping study was conducted in which 1197 distinct papers were evaluated. At the end, 87 primary studies were selected to be analysed in a quantitative and qualitative way. As a result, they classified the tools and models that are currently used to support MBT. Moreover, they identified 70 MBT tools, as well as different domains in which MBT is already applied to. Therefore, there are some evidence that MBT continues to be a broad and alive' research field since every year a significant number of papers presenting different kinds of contributions are published.
引用
收藏
页码:141 / 155
页数:15
相关论文
共 115 条
[71]   A Survey of Model-Driven Testing Techniques [J].
Mussa, Mohamed ;
Ouchani, Samir ;
Al Sammane, Waseem ;
Hamou-Lhadj, Abdelwahab .
2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), 2009, :167-172
[72]  
Myers G, 1979, Art of Software Testing
[73]  
Nguyen D.H., 2010, WORKSH AUT SOFTW TES, P24
[74]  
Olimpiew E. M., 2008, THESIS
[75]   Tool support for generating model-based test cases via web [J].
Arantes, Alessandro Oliveira ;
De Santiago, Valdivino Alexandre ;
Vijaykumar, Nandamudi Lankalapalli ;
De Souza, Erica Ferreira .
International Journal of Web Engineering and Technology, 2014, 9 (01) :62-96
[76]   A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques [J].
Paradkar, Amit .
INFORMATION AND SOFTWARE TECHNOLOGY, 2006, 48 (10) :949-959
[77]   FSM-Based Test Case Generation Methods Applied to Test the Communication Software on Board the ITASAT University Satellite: A Case Study [J].
Pinheiro, Arineiza C. ;
Simao, Adenilso ;
Ambrosio, Ana Maria .
JOURNAL OF AEROSPACE TECHNOLOGY AND MANAGEMENT, 2014, 6 (04) :447-461
[78]  
Polgár B, 2011, 12TH SYMPOSIUM ON PROGRAMMING LANGUAGES AND SOFTWARE TOOLS, SPLST' 11, P66
[79]  
Puolitaival O.-P., 2008, ADAPTING MODEL BASED, P1
[80]  
Riccobene E., 2013, FORM ASP COMPUT, V26, P1077