short-paper

Open access

Guided test case generation for mobile apps in the TRIANGLE project: work in progress

Authors:

Laura Panizo,

Alberto Salmerón,

María-del-Mar Gallardo,

Pedro MerinoAuthors Info & Claims

SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software

Pages 192 - 195

https://doi.org/10.1145/3092282.3092298

Published: 13 July 2017 Publication History

PDF eReader

Abstract

The evolution of mobile networks and the increasing number of scenarios for mobile applications requires new approaches to ensure their quality and performance. The TRIANGLE project aims to develop an integrated testing framework that allows the evaluation of applications and devices in different network scenarios. This paper focuses on the generation of user interactions that will be part of the test cases for applications. We propose a method that combines model-based testing and guided search, based on the Key Performance Indicators to be measured, and we have evaluated our proposal with an example. Our ultimate goal is to integrate the guided generation of user flows into the TRIANGLE testing framework to automatically generate and execute test cases.

References

[1]

C. Chang and N. Lin. A constraint-based framework for test case generation in method-level black-box unit testing. Journal of Information Science and Engineering, 32(2):365–387, 2016.

Google Scholar

[2]

A. R. Espada, M. M. Gallardo, A. Salmerón, and P. Merino. Runtime verification of expected energy consumption in smartphones. In Proc. of the 22nd Int. Symposium on Model Checking Software, pages 132–149. Springer International Publishing, Aug. 2015.

Digital Library

Google Scholar

[3]

A. R. Espada, M. M. Gallardo, A. Salmerón, and P. Merino. Using model checking to generate test cases for android applications. In Proc. 10th Workshop on Model Based Testing, volume 180 of EPTCS, pages 7–21. Open Publishing Association, 2015.

Google Scholar

[4]

A. R. Espada, M. M. Gallardo, A. Salmerón, and P. Merino. Performance Analysis of Spotify ® for Android with Model Based Testing. Mobile Information Systems, 2017:14, 2017.

Crossref

Google Scholar

[5]

G. Holzmann. The SPIN Model Checker : Primer and Reference Manual. Addison-Wesley Professional, Sept. 2003.

Digital Library

Google Scholar

[6]

N. Williams, B. Marre, P. Mouy, and M. Roger. Pathcrawler: Automatic generation of path tests by combining static and dynamic analysis. In Proc. of the 5th European Dependable Computing Conference, pages 281–292. Springer-Verlag, Apr. 2005.

Digital Library

Google Scholar

[7]

Abstract 1 Introduction 2 The TRIANGLE project 3 Guiding the generation of app user flows 4 Conclusions References

Google Scholar

Cited By

View all

Garanina NStaroletov SGorlatch S(2022)Model Checking Meets Auto-Tuning of High-Performance ProgramsLogic-Based Program Synthesis and Transformation10.1007/978-3-031-16767-6_4(63-82)Online publication date: 11-Sep-2022
https://doi.org/10.1007/978-3-031-16767-6_4
Bhaskar LNatak RRanjith R(2020)Unit Testing for USB Module Using Google Test Framework2020 11th International Conference on Computing, Communication and Networking Technologies (ICCCNT)10.1109/ICCCNT49239.2020.9225528(1-3)Online publication date: Jul-2020
https://doi.org/10.1109/ICCCNT49239.2020.9225528
Setiani NFerdiana RSantosa PHartanto R(2019)Literature Review on Test Case Generation ApproachProceedings of the 2nd International Conference on Software Engineering and Information Management10.1145/3305160.3305186(91-95)Online publication date: 10-Jan-2019
https://dl.acm.org/doi/10.1145/3305160.3305186
Show More Cited By

Index Terms

Guided test case generation for mobile apps in the TRIANGLE project: work in progress
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Empirical software validation
      2. Software defect analysis
        Software testing and debugging

Recommendations

Abstract test case generation for behavioural testing of software product lines
SPLC '14: Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2

In Model Based Testing (MBT), test cases are generated automatically from a partial representation of expected behaviour of the System Under Test (SUT) (i.e., the model). For most industrial systems, it is impossible to generate all the possible test ...
An orchestrated survey of methodologies for automated software test case generation

Test case generation is among the most labour-intensive tasks in software testing. It also has a strong impact on the effectiveness and efficiency of software testing. For these reasons, it has been one of the most active research topics in software ...
An automated technique for risk-based test case generation and prioritization
AST '08: Proceedings of the 3rd international workshop on Automation of software test

In practice, available testing budgets limit the number of test cases that can be executed. Thus, a representative subset of all possible test cases must be chosen to guarantee adequate coverage of a test object. In risk-based testing, the probability ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software

July 2017

199 pages

ISBN:9781450350778

DOI:10.1145/3092282

Program Chairs:
Hakan Erdogmus
Carnegie Mellon University, USA
,
Klaus Havelund
NASA, USA / Jet Propulsion Laboratory, USA

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 July 2017

Check for updates

Author Tags

Qualifiers

Short-paper

Funding Sources

European Union's Horizon 2020

Conference

ISSTA '17

Sponsor:

SIGSOFT

ISSTA '17: International Symposium on Software Testing and Analysis

July 13 - 14, 2017

CA, Santa Barbara, USA

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
358
Total Downloads

Downloads (Last 12 months)41
Downloads (Last 6 weeks)8

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Garanina NStaroletov SGorlatch S(2022)Model Checking Meets Auto-Tuning of High-Performance ProgramsLogic-Based Program Synthesis and Transformation10.1007/978-3-031-16767-6_4(63-82)Online publication date: 11-Sep-2022
https://doi.org/10.1007/978-3-031-16767-6_4
Bhaskar LNatak RRanjith R(2020)Unit Testing for USB Module Using Google Test Framework2020 11th International Conference on Computing, Communication and Networking Technologies (ICCCNT)10.1109/ICCCNT49239.2020.9225528(1-3)Online publication date: Jul-2020
https://doi.org/10.1109/ICCCNT49239.2020.9225528
Setiani NFerdiana RSantosa PHartanto R(2019)Literature Review on Test Case Generation ApproachProceedings of the 2nd International Conference on Software Engineering and Information Management10.1145/3305160.3305186(91-95)Online publication date: 10-Jan-2019
https://dl.acm.org/doi/10.1145/3305160.3305186
Panizo LDíaz AGarcía B(2019)Model-based testing of apps in real network scenariosInternational Journal on Software Tools for Technology Transfer10.1007/s10009-019-00518-222:2(105-114)Online publication date: 1-Apr-2019
https://doi.org/10.1007/s10009-019-00518-2
Rosario Espada Adel Mar Gallardo MSalmerón APanizo LMerino P(2019)A formal approach to automatically analyse extra‐functional properties in mobile applicationsSoftware Testing, Verification and Reliability10.1002/stvr.169929:4-5Online publication date: 14-Jun-2019
https://doi.org/10.1002/stvr.1699
Panizo LDíaz AGarcía B(2018)An Extension of TRIANGLE Testbed with Model-Based TestingModel Checking Software10.1007/978-3-319-94111-0_11(190-195)Online publication date: 16-Jun-2018
https://doi.org/10.1007/978-3-319-94111-0_11

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Abstract test case generation for behavioural testing of software product lines

An orchestrated survey of methodologies for automated software test case generation

An automated technique for risk-based test case generation and prioritization