FSM-Based Test Case Generation Methods Applied to test the Communication Software on board the ITASAT University Satellite: a Case Study
Keywords:University satellite, Model-based testing, Finite state machine, Test case generation methods, Testing methodology
AbstractSoftware in satellite applications has become increasingly larger, more complex and more integrated so its verification and validation requires exploration of new approaches. In this paper we present a Model-Based Testing (MBT) approach applied to the Communication Module of the ITASAT-1 university satellite. The models are Finite State Machines (FSM) representing the software behavior. In order to manage the difficulties to model the software behavior the approach employs the COFI (COnformance and Fault Injection) testing methodology associated with the JPlavisFSM Tool. The former advices the modularization of the modelling into different types of behavior into different FSMs, while the later, integrates several FSM-based methods to derive test cases, provides usability to handle and to check properties of the models and computes metrics. The main result of this case study was the evaluation of the drawbacks on the design of the testing models supported by COFI and JPlavisFSM. The models, test sets, metrics with the application of our approach applied to the Communication Module are presented. The paper discusses the benefits as well as the points requiring new researches.
This work is licensed under a Creative Commons — Attribution 4.0 International — CC BY 4.0. Authors are free to Share (copy and redistribute the material in any medium or format) and Adapt (remix, transform, and build upon the material for any purpose, even commercially). JATM allow the authors to retain publishing rights without restrictions.