Model-Based Testing as a Service for IoT Platforms

被引：24

作者：

Ahmad, Abbas ^{[1
,2
]}

Bouquet, Fabrice ^{[2
]}

Fourneret, Elizabeta ^{[3
]}

Le Gall, Franck ^{[1
]}

Legeard, Bruno ^{[2
,3
]}

机构：

[1] Easy Global Market, Sophia Antipolis, France

[2] Univ Franche Comte, Femto ST, Besancon, France

[3] Smartesting Solut & Serv, Besancon, France

来源：

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II | 2016年 / 9953卷

关键词：

Model Based Testing; Testing As A Service; Internet of Things; Standard compliance;

D O I：

10.1007/978-3-319-47169-3_55

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The Internet of Things (IoT) has increased its footprint becoming globally a 'must have' for today's most innovative companies. Applications extend to multitude of domains, such as smart cities, healthcare, logistics, manufacturing, etc. Gartner Group estimates an increase up to 21 billion connected things by 2020. To manage 'things' heterogeneity and data streams over large scale and secured deployments, IoT and data platforms are becoming a central part of the IoT. To respond to this fast growing demand we see more and more platforms being developed, requiring systematic testing. Combining Model-Based Testing (MBT) technique and a service-oriented solution, we present Model-Based Testing As A Service (MBTAAS) for testing data and IoT platforms. In this paper, we present a first step towards MBTAAS for data and IoT Platforms, with experimentation on FIWARE, one of the EU most emerging IoT enabled platforms.

引用

页码：727 / 742

页数：16

共 50 条

[21] Model-based testing of optimizing compilers [J].

Zelenov, Sergey ;

Zelenova, Sophia .

TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 :365-+

[22] Model-based Testing of Scratch Programs [J].

Goetz, Katharina ;

Feldmeier, Patric ;

Fraser, Gordon .

2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, :411-421

[23] Lightweight Model-Based Testing for Enterprise IT [J].

Bernard, Elodie ;

Ambert, Fabrice ;

Legeard, Bruno ;

Bouzy, Arnaud .

2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2018, :224-230

[24] Model-based regression testing by OCL [J].

Zech, Philipp ;

Kalb, Philipp ;

Felderer, Michael ;

Atkinson, Colin ;

Breu, Ruth .

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (01) :115-131

[25] On Combining Model-Based Analysis and Testing [J].

Saadatmand, Mehrdad ;

Sjodin, Mikael .

PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 2013, :260-266

[26] Agile Metamorphic Model-based Testing [J].

Lindvall, Mikael ;

Ganesan, Dharmalingam ;

Bjorgvinsson, Sigurthor ;

Jonsson, Kristjan ;

Logason, Haukur Steinn ;

Dietrich, Frederik ;

Wiegand, Robert E. .

2016 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET), 2016, :26-32

[27] Model-based firewall conformance testing [J].

Brucker, Achim D. ;

Bruegger, Lukas ;

Wolff, Burkhart .

TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2008, 5047 :103-+

[28] Model-based testing of probabilistic systems [J].

Gerhold, Marcus ;

Stoelinga, Marielle .

FORMAL ASPECTS OF COMPUTING, 2018, 30 (01) :77-106

[29] On Model-Based Testing Advanced GUIs [J].

Lelli, Valeria ;

Blouin, Arnaud ;

Baudry, Benoit ;

Coulon, Fabien .

2015 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2015,

[30] Estimating the Cost and Benefit of Model-Based Testing: A Decision Support Procedure for the Application of Model-Based Testing in Industry [J].

Mohacsi, Stefan ;

Felderer, Michael ;

Beer, Armin .

PROCEEDINGS 41ST EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS SEAA 2015, 2015, :382-389

← 1 2 3 4 5 →