公开(公告)号：CN113296126B

公开(公告)日：2023-06-30

申请号：CN202110450198.3

申请日：2021-04-25

Applicant: 中国空间技术研究院

Inventor： 李平 ,  张旭 ,  王海红 ,  陈秋丽 ,  贾卫松 ,  王子玉 ,  宿晨庚 ,  庄建楼 ,  李振东 ,  周会超

IPC: G01S19/23 ,  G01C25/00 ,  G06F11/36

Abstract: 一种用于自主导航软件的可靠性验证及评估方法，通过对星座级自主导航软件运行特点进行识别，自上而下逐层构造面向星座级自主导航软件可靠性测试的星间网络交互剖面，生成星座级自主导航软件可靠性测试用例，分析匹配用例所需运行场景，执行用例并进行软件可靠性评估验证，若满足技术指标要求则停止可靠性测试，否则针对失效缺陷进行修改，再重新设计生成可靠性测试用例，直至软件可靠性满足所分配的指标要求。

公开(公告)号：CN113296126A

公开(公告)日：2021-08-24

申请号：CN202110450198.3

申请日：2021-04-25

Applicant: 中国空间技术研究院

Inventor： 李平 ,  张旭 ,  王海红 ,  陈秋丽 ,  贾卫松 ,  王子玉 ,  宿晨庚 ,  庄建楼 ,  李振东 ,  周会超

IPC: G01S19/23 ,  G01C25/00 ,  G06F11/36

Abstract: 一种用于自主导航软件的可靠性验证及评估方法，通过对星座级自主导航软件运行特点进行识别，自上而下逐层构造面向星座级自主导航软件可靠性测试的星间网络交互剖面，生成星座级自主导航软件可靠性测试用例，分析匹配用例所需运行场景，执行用例并进行软件可靠性评估验证，若满足技术指标要求则停止可靠性测试，否则针对失效缺陷进行修改，再重新设计生成可靠性测试用例，直至软件可靠性满足所分配的指标要求。