FSM-Based Test Case Generation Methods Applied to Test the Communication Software on Board the ITASAT University Satellite: A Case Study
AUTOR(ES)
Pinheiro, Arineiza C., Simão, Adenilso, Ambrosio, Ana Maria
FONTE
J. Aerosp. Technol. Manag.
DATA DE PUBLICAÇÃO
2014-12
RESUMO
ABSTRACT: The software in satellite applications has become increasingly larger, more complex and more integrated, so its verification and validation require 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 Conformance and Fault Injection (CoFI) testing methodology associated with the JPlavisFSM tool in the real context of a satellite's critical software. The former advises the modularization of the modelling into different types of behavior into different FSMs, while the latter integrates several FSM-based methods to derive test cases, provides facilities to design 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.
Documentos Relacionados
- Performance Evaluation with PROMETHEE GDSS and GAIA: A Study on the ITA-SAT Satellite Project
- Dodeca satellite: a conserved G+C-rich satellite from the centromeric heterochromatin of Drosophila melanogaster.
- PERFORMANCE COMPARISON OF SCENARIO-GENERATION METHODS APPLIED TO A STOCHASTIC OPTIMIZATION ASSET-LIABILITY MANAGEMENT MODEL
- A case study on testing CMM uncertainty simulation software (VCMM)
- HARVESTING FRUITS USING A MOBILE PLATFORM: A CASE STUDY APPLIED TO CITRUS