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 条

[41] An Extension of TRIANGLE Testbed with Model-Based Testing [J].

Panizo, Laura ;

Diaz, Almudena ;

Garcia, Bruno .

MODEL CHECKING SOFTWARE, SPIN 2018, 2018, 10869 :190-195

[42] Model-based testing of stochastically timed systems [J].

Marcus Gerhold ;

Arnd Hartmanns ;

Mariëlle Stoelinga .

Innovations in Systems and Software Engineering, 2019, 15 :207-233

[43] Early Fault Detection with Model-Based Testing [J].

Boberg, Jonas .

ERLANG '08: PROCEEDINGS OF THE 2008 SIGPLAN ERLANG WORKSHOP, 2008, :9-20

[44] Killing strategies for model-based mutation testing [J].

Aichernig, Bernhard K. ;

Brandl, Harald ;

Joebstl, Elisabeth ;

Krenn, Willibald ;

Schlick, Rupert ;

Tiran, Stefan .

SOFTWARE TESTING VERIFICATION & RELIABILITY, 2015, 25 (08) :716-748

[45] Model-Based Testing of Obligatory ABAC Systems [J].

Khamaiseh, Samer ;

Chapman, Patrick ;

Xu, Dianxiang .

2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2018), 2018, :405-413

[46] Model-Based Exploratory Testing: A Controlled Experiment [J].

Schaefer, Christopher J. ;

Do, Hyunsook .

2014 SEVENTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2014), 2014, :284-293

[47] An Evaluation of Model-Based Testing in Embedded Applications [J].

Weissleder, Stephan ;

Schlingloff, Holger .

2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2014, :223-232

[48] Patterns to Improve Fidelity for Model-Based Testing [J].

Hiruta, Yasuaki ;

Suhara, Hidetoshi ;

Nishi, Yasuharu .

2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2022), 2022, :240-243

[49] Model-Based Testing in Cloud Brokerage Scenarios [J].

Kiran, Mariam ;

Friesen, Andreas ;

Simons, Anthony J. H. ;

Schwach, Wolfgang K. R. .

SERVICE-ORIENTED COMPUTING - ICSOC 2013 WORKSHOPS, 2014, 8377 :192-208

[50] Requirements for Information Systems Model-Based Testing [J].

Santos-Neto, Pedro ;

Resende, Rodolfo ;

Padua, Clarindo .

APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, :1409-1415

← 1 2 3 4 5 →