买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：中国空间技术研究院

摘要：本发明属于卫星导航技术领域，涉及一种面向分布式自主导航软件的功能逻辑分支全覆盖健壮性验证方法。包括自主导航软件在内的工程软件，上星前的单元测试、第三方评测都更倾向于语法正确、功能实现层面的验证，对在轨实际执行及运行过程中的健壮性考量较少。特别是自主导航软件具有注入信息种类多、功能逻辑复杂、信息交互频繁、在轨实时运行要求高等特点，对软件健壮性要求更为苛刻。本专利所述方法针对组网运行下的自主导航软件，提出了一种健壮性测试验证方法，为星座提供稳健可靠、高质量自主导航服务提供支持。

主权项：1.一种面向分布式自主导航软件的健壮性验证方法，其特征在于该方法的步骤包括：1对自主导航软件的功能模块进行识别划分；2建立自主导航软件各个功能模块的健壮性验证剖面；3分别从单星运行和星座交互运行两个层面制定影响自主导航软件健壮性的失效模式；4对步骤2中的剖面和步骤3中的失效模式作对应性匹配，形成以验证剖面和失效模式为横、纵坐标的初始用例集，得到健壮性用例；5以自主导航软件设计过程中已经完成的功能评测作为已知输入，比对步骤4形成的健壮性用例，对相同的健壮性用例进行剪枝处理，得到健壮性用例集；6构建步骤5得到的健壮性验证用例集的可执行要素模型；7构建健壮性验证用例集所需运行场景，包括四类场景分别是：第一类，单星在纯软件运行环境；第二类，单星工程样机半物理实物运行；第三类，全网星座组网下，纯软件运行环境；第四类，全网星座组网下，工程半物理仿真运行环境；对健壮性验证用例和四类运行场景进行匹配，进行匹配的方法为：第一步，判断健壮性验证用例是考察软件在单星运行下的基本功能；还是在组网状态下的星间交互或星座服务性能，如果是考察软件在单星运行下的基本功能，则匹配第一类或第二类场景；如果是在组网状态下的星间交互或星座服务性能，则匹配第三类或第四类场景；第二步，根据健壮性验证用例考察的自主导航软件的功能模块，选择纯软件环境或半物理环境，对于验证剖面在模块内部或软件模块间的用例，选择纯软件环境即第一类或第三类场景；对于验证剖面在与运控系统、星间其他功能模块的用例，选择能够模拟实际信息交互的半物理场景即第二类或第四类场景；8健壮性验证用例考核是否通过的判据为：针对第一类单星运行场景的成功判据为：在预定时间内，最终正常输出计算结果，拟合误差＜0.5m；针对第二类单星运行场景的成功判据为：在预定时间内，最终正常输出计算结果，拟合误差＜0.5m；针对第三类单星运行场景的成功判据为：正常运行的卫星的平均URE≤a，a为一常数，且正常运行的卫星组成的星座平均PDOP值≤b，b为一常数针对第四类单星运行场景的成功判据为：正常运行的卫星的平均URE≤2.85m，且正常运行的卫星组成的星座平均PDOP值≤b；9健壮性验证实施；在所对应的运行场景和步骤6中的健壮性验证用例集的可执行要素模型支持下逐个运行软件健壮性用例，实施健壮性验证试验，并记录结果，不符合步骤8的判据即为验证不通过的用例，符合步骤8的判据即为验证通过的用例。

全文数据：

权利要求：

百度查询： 中国空间技术研究院 一种面向分布式自主导航软件的健壮性验证方法