At SES, the validation of SPELL satellite operation procedures remains to be a manual and time-consuming task. In addition to the time-consuming validation environment set-up (e.g., loading a satellite configuration within a simulator), the executions are slow making it difficult to validate all possible procedure behaviors in a timely manner. As a result, any SPELL procedure bugs found during validation cause significant delays requiring procedure updates by the development team and subsequent revalidation. It is therefore beneficial to thoroughly verify the functional behavior of developed SPELL procedures before validation to eliminate programming bugs and other execution corner-cases. In this paper we present SPELL-fuzz- an automated verification tool for SPELL procedures. SPELL-fuzz automatically executes SPELL procedures within a test harness without the human and the satellite simulator in the loop resulting in high code coverage. To this end, we can detect and fix many bugs early in the development and verification life cycle thereby significantly improving the quality of the procedures for subsequent validation. We detail on SPELL-fuzz's architecture and our experience applying it to manually developed SPELL procedures for the recently launched GovSat-1 satellite.
展开▼