Model-Based Testing Applied to Software Components of Satellite Simulators
| Autor: | Emilia Villani, Ana Maria Ambrosio, Paulo Diego Barbosa da Silva |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
Model checking
020301 aerospace & aeronautics Model-based testing Finite-state machine Article Subject Computer science Suite General Engineering 020207 software engineering 02 engineering and technology lcsh:QA75.5-76.95 Computer Science Applications Reliability engineering 0203 mechanical engineering Modeling and Simulation Component-based software engineering 0202 electrical engineering electronic engineering information engineering Satellite lcsh:Electronic computers. Computer science Space research Software versioning |
| Zdroj: | Modelling and Simulation in Engineering, Vol 2018 (2018) |
| ISSN: | 1687-5605 1687-5591 |
| Popis: | Operational simulators have a fundamental role in space programs. During a satellite operation, these simulators are essential for validating critical manoeuvres, testing new on-board software versions, and supporting the diagnosis of anomalies. With the purpose of reusing the operational simulators, the Brazilian National Institute for Space Research has proposed a new standard for the specification of the components that must be integrated in their in-house developed simulators. The new standard describes the behaviour of satellite subsystems using cause-effect tables that relate telecommands, electrical switches, equipment working states, energy consumption, telemetries, and operating modes of the subsystem. Using this new standard as input, this work proposes an approach that merges model-based testing and model checking to verify the correct implementation of new components in the satellite simulator. The verification approach consists of extracting state machines from the cause-effect tables and used it to automatically derive a test case suite. In order to validate the proposal, we applied it to three different satellite subsystems and assessed the results obtained from the test campaigns. In all the three cases, the proposed approach identified errors in the simulator components that were not initially detected by the traditional testing approach used at the Brazilian National Institute for Space Research. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Plný text