[发明专利]一种深空探测器EDL过程验证方法

权利要求书

1.一种深空探测器EDL过程验证方法，其特征在于，包括：

步骤1、面向“飞行任务剖面”对深空探测器EDL过程进行分解，具体为：

将探测器EDL飞行阶段设定为飞行阶段F(T1,T2)；在该阶段探测器根据预定飞行程序,完成的一系列飞行任务称为“飞行单元f(t1,t2)”,包括“起始飞行状态向量P_t1”、“终止飞行状态向量P_t2”以及“任务单元G_t1t2”；其中，飞行单元包括多个按时间顺序执行的任务单元；

步骤2、面向分解飞行过程得到的飞行剖面,进行用例场景的识别，过程如下：

步骤21、采用有向图来描述用例事件流：其中,有向图的主干为基本流,描述了用例的一个典型事件流，有向图的支干为备选流,描述了异常或者出现错误时会发生的事件流；设B点为用例开始点，E点为用例结束点；基本流和事件流构成有向图中开始点B和结束点E之间的所有可能路径；

步骤22、搜索有向图的所有可能路径，并用树的方式表示出来；

步骤23、对树进行搜索，直至搜索出所有以开始点B开始,结束点E结束的所有路径,即可得到所有用例场景；

步骤3、执行所有用例场景，即可完成EDL过程正常模式、故障模式的功能验证。

2.如权利要求1所述的一种深空探测器EDL过程验证方法，其特征在于，任务单元为某个分系统任务单元,或者为多个分系统联合任务单元。

3.如权利要求1所述的一种深空探测器EDL过程验证方法，其特征在于，用例场景采用矩阵或决策表来确定和管理。

4.如权利要求1所述的一种深空探测器EDL过程验证方法，其特征在于，对用例场景进行复审和验证。

5.如权利要求4所述的一种深空探测器EDL过程验证方法，其特征在于，取消多余或等效的用例场景。