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

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. CCS CONCEPTS• Software and its engineering → Software verification and validation; Software testing and debugging; Empirical software validation; KEYWORDSModel-based testing, test case generation, Spin

Model Checking Meets Auto-Tuning of High-Performance Programs

“…In our future work, we will also add the communication time between processes to the model, as well as consider other settings, in particular, the number of work items. In addition, to improve our counterexample method, we are going to try using the never claim pruning from [30], and finding optimal values from [11], which avoids multiple runs of the SPIN verifier in the counterexample method. We also plan to improve the scalability of our counterexample method by modeling a warp-based scheduling [31], because due to warping, the number of simultaneously working processing elements becomes smaller, which implies reduction of interleaving non-determinism in the model.…”