Systematic mapping study on MBT: tools and models

被引:15
作者
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 条
  • [1] Abbors Fredrik, 2010, Proceedings of the 2010 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems (ECBS 2010), P321, DOI 10.1109/ECBS.2010.46
  • [2] Adjir N., 2012, INT J COMPUT SCI ISS, V9, P123
  • [3] Killing strategies for model-based mutation testing
    Aichernig, Bernhard K.
    Brandl, Harald
    Joebstl, Elisabeth
    Krenn, Willibald
    Schlick, Rupert
    Tiran, Stefan
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2015, 25 (08) : 716 - 748
  • [4] Ali S., 2011, Proceedings of the 11th International Conference on Quality Software (QSIC 2011), P41, DOI 10.1109/QSIC.2011.17
  • [5] Ambert F., 2012, VALID 12 4 INT C ADV, P139
  • [6] Ammann P., 2016, INTRO SOFTWARE TESTI
  • [7] [Anonymous], 2006, Introduction. Heat transfer and fluid flow in minichannels and microchannels, DOI DOI 10.1016/B978-008044527-4/50003-7
  • [8] [Anonymous], 2008, P 7 INT C ASP OR SOF
  • [9] [Anonymous], 2008, P INT C EV ASS SOFTW
  • [10] [Anonymous], 1979, Quasi-experimentation: Design analysis issues for field settings