An Extension of TRIANGLE Testbed with Model-Based Testing

被引：1

作者：

Panizo, Laura ^{[1
]}

Diaz, Almudena ^{[1
]}

Garcia, Bruno ^{[1
]}

机构：

[1] Univ Malaga, Dept Ciencias Comp, Andalucia Tech, Malaga, Spain

来源：

MODEL CHECKING SOFTWARE, SPIN 2018 | 2018年 / 10869卷

基金：

欧盟地平线“2020”;

关键词：

Model-based testing; Mobile network testbed; Model checking;

D O I：

10.1007/978-3-319-94111-0_11

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Traditional testing methods for mobile apps focus on detecting execution errors. However, the evolution of mobile networks towards 5G will require additional support for app developers to ensure also the performance and user-experience. Manual testing in a number of scenarios is not enough to satisfy the expectations of the apps final users. This paper presents the testing framework developed in the TRIANGLE project (https://www.triangle-project.eu/) that integrates a complete mobile network testbed and a model-based testing approach, which is based on model checking, to automatically evaluate the apps performance in different network scenarios.

引用

页码：190 / 195

页数：6

共 4 条

[1] [Anonymous], MOBILE INF SYST
[2] Cattoni AF, 2016, 2016 EUROPEAN CONFERENCE ON NETWORKS AND COMMUNICATIONS (EUCNC), P307, DOI 10.1109/EuCNC.2016.7561053
[3] Holzmann G. J., 2003, The SPIN Model Checker: Primer and Reference Manual
[4] Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress
Panizo, Laura
Salmeron, Alberto
Gallardo, Maria-del-Mar
Merino, Pedro
[J]. SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE, 2017, : 192 - 195

← 1 →