基于执行时间模型的航天飞控软件可靠性测试

基于执行时间模型的航天飞控软件可靠性测试随着现代航天发展的加速，越来越多的开发者参与到航天软件的开发和维护中来。在空间探索任务中，控制软件的可靠性是至关重要的，任何因为软件故障导致的失误都可能导致整个