Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems

  title={Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems},
  author={Vaclav Rechtberger and Miroslav Bures and Bestoun S. Ahmed},
  journal={Proceedings of the 2020 The 2nd World Symposium on Software Engineering},
To effectively test parts of the Internet of Things (IoT) systems having a character of a state machine, Model-based Testing (MBT) approach can be taken. In MBT, a model of a system is created, and test cases generated automatically from the model, and a number of current strategies exist. In this paper we propose a novel alternative strategy, that concurrently allows to flexibly adjust the preferred length of the generated test cases, as well as to mark the states, in which the test case can… 

Figures and Tables from this paper

MODEL-Based Performance Quality Assessment for IoT Applications
This paper aims to design a model-based testing approach to assess IoT applications performance quality attributes using the ISO 25000 quality model, and uses IoTMaaS as a case study to implement the methodological approach.
Enhancing Test Cases Prioritization for Internet of Things based systems using Search-based Technique
An enhancement for test cases prioritization using Hill Climbing algorithm as a local search based technique, adapted to achieve tangible effeciency is introduced, integrated with the LSTM deep learning algorithm for test case classification purposes.


Internet of Things: Current Challenges in the Quality Assurance and Testing Methods
The state of the art of this domain is presented and particular areas of system testing discipline, which is not covered by related work sufficiently so far, are discussed.
Transition coverage based test case generation from state chart diagram
Test Case Generation from UML State Machine Diagram: A Survey
  • M. Aggarwal, S. Sabharwal
  • Computer Science
    2012 Third International Conference on Computer and Communication Technology
  • 2012
A comparative study of the test case generation techniques from UML State Machine diagram has been done, and a scope to generate test data for complex state machine involving concurrent states and events is presented.
Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study
The results of the first comprehensive and systematic mapping study to structure and categories the research evidence in the literature starting in 2009 when the early publication of IoT papers for IoT quality assurance appeared are shown.
Abstract test case generation for behavioural testing of software product lines
This paper provides one all-states coverage driven generation algorithm and discusses its scalability and efficiency with respect to random generation, and compared on fault-seeded FTSs.
Basis Path Based Test Suite Minimization Using Genetic Algorithm
  • Anbunathan R, A. Basu
  • Computer Science
    International Journal of Intelligent Systems and Applications
  • 2018
A method is proposed to generate Basis Path (BP) test cases with node coverage using Genetic Algorithm (GA) to overcome the problem of path explosion when multiple decision nodes are present in the same path.
Coverage-Based Testing with Symbolic Transition Systems
A model-based testing approach for systems comprising both state-transition based control flow, and data elements such as variables and data-dependent transitions, based on model-coverage, which finds that it performs 3 times better, according to the geometric mean, than when using random testing as implemented by the tool TorXakis.
Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing
  • J. Blom, B. Jonsson, S. Nyström
  • Computer Science
    2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
  • 2016
A functional model in the form of an extended finite state machine is developed, from which test suites are generated using several different (model) coverage criteria, alongside with randomly and manually generated test suites.
State-based models in regression test suite prioritization
Statistical analysis of the empirical study, which compares the effectiveness of the presented methods in terms of early fault detection, show that compared to random ordering of test cases, model-based test prioritization significantly improve the effectiveness with respect toEarly fault detection.