TY -的A2 -穆罕默德,Azah AU -席尔瓦,保罗迭戈巴博萨达盟——(Ana Maria盟——的同时,伊米莉亚PY - 2018 da - 2018/12/12 TI -基于模型的测试应用软件组件的卫星模拟器SP - 3847843六世- 2018 AB -操作模拟器在太空计划有一个基本的角色。卫星运行期间,这些模拟器主要用于验证关键策略,测试新的车载软件版本,支持异常的诊断。重用的目的操作模拟器,巴西国家空间研究所提出了一个新的标准规范的组件,必须集成在他们的内部开发的模拟器。新标准描述卫星的行为相关的子系统使用因果表遥控,电子开关、设备工作状态、能耗、遥测和子系统的操作模式。使用这个新标准作为输入,这项工作提出了一种方法,将基于模型的测试和模型检查来验证正确的新组件的实现卫星模拟器。验证方法包括提取状态机从因果表,用它来自动获取测试用例套件。为了验证这个提议,我们应用这三种不同的卫星子系统和评估结果的测试活动。在所有三个案例中,该方法识别错误模拟器组件起初未检测到的传统测试方法用于巴西国家空间研究所。SN - 1687 - 5591 UR - https://doi.org/10.1155/2018/3847843 - 10.1155 / 2018/3847843摩根富林明建模和仿真工程PB - Hindawi KW - ER