公开(公告)号：CN113900423B

公开(公告)日：2023-07-14

申请号：CN202111015171.8

申请日：2021-08-31

Applicant: 北京空间飞行器总体设计部

Inventor： 富小薇 ,  韩小军 ,  杨东 ,  刘一鸣 ,  高芫赫 ,  权爽 ,  周士民 ,  傅晓晶 ,  赵阳 ,  李达 ,  刘加明 ,  杨硕 ,  任亮 ,  应鹏 ,  何永丛

IPC: G05B23/02

Abstract: 本发明涉及一种基于FSM的火星车休眠唤醒功能验证方法，步骤如下：(1)建立状态集；(2)建立输入集；(3)建立输出集；(4)绘制火星车休眠唤醒过程的有限状态机状态迁移图FSM；(5)根据逻辑及条件覆盖算法对有限状态机状态迁移图进行遍历，生成测试用例集，遍历测试用例集中的各个用例，实现火星车系统级的休眠唤醒功能验证。本发明改变了当前复杂航天器自主功能主要依据测试经验开展的局面。为火星车自主功能，尤其是休眠唤醒功能验证提供了一个自上而下的分析思路，使得测试设计人员能够依据该方法完成航天器自主休眠唤醒过程测试设计及验证工作。

公开(公告)号：CN113900423A

公开(公告)日：2022-01-07

申请号：CN202111015171.8

申请日：2021-08-31

Applicant: 北京空间飞行器总体设计部

Inventor： 富小薇 ,  韩小军 ,  杨东 ,  刘一鸣 ,  高芫赫 ,  权爽 ,  周士民 ,  傅晓晶 ,  赵阳 ,  李达 ,  刘加明 ,  杨硕 ,  任亮 ,  应鹏 ,  何永丛

IPC: G05B23/02

Abstract: 本发明涉及一种基于FSM的火星车休眠唤醒功能验证方法，步骤如下：(1)建立状态集；(2)建立输入集；(3)建立输出集；(4)绘制火星车休眠唤醒过程的有限状态机状态迁移图FSM；(5)根据逻辑及条件覆盖算法对有限状态机状态迁移图进行遍历，生成测试用例集，遍历测试用例集中的各个用例，实现火星车系统级的休眠唤醒功能验证。本发明改变了当前复杂航天器自主功能主要依据测试经验开展的局面。为火星车自主功能，尤其是休眠唤醒功能验证提供了一个自上而下的分析思路，使得测试设计人员能够依据该方法完成航天器自主休眠唤醒过程测试设计及验证工作。