公开(公告)号：CN116185861A

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

申请号：CN202310187909.1

申请日：2023-02-28

Applicant: 湖北航天技术研究院总体设计所

Inventor： 原野 ,  刘丹 ,  周松 ,  潘星 ,  刘梦达 ,  张卫平 ,  张朋

IPC: G06F11/36

Abstract: 本发明公开了一种航天装备软件系统测试需求形式化描述方法及装置，涉及航天装备软件系统测试领域，该方法包括创建用于对软件系统测试需求进行形式化描述的形式化描述工具，并基于软件系统测试需求，选择待建立形式化描述图形类别；根据形式化描述工具的可操作方式，选择对应软件系统测试需求的基本图元，实现形式化描述图形的建立；基于软件系统测试需求，对建立的形式化描述图形中基本图元自身的属性以及基本图元间的属性进行配置；基于配置完成的形式化描述图形，生成对应于形式化描述图形的XML描述文件。本发明能够有效提高测试需求分析效率，为采用自动化手段开展形式化验证工作构造有利条件。

公开(公告)号：CN114706770A

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

申请号：CN202210330796.1

申请日：2022-03-30

Applicant: 湖北航天技术研究院总体设计所

Inventor： 原野 ,  刘梦达 ,  刘丹 ,  高荇 ,  莫小杰 ,  杨坤 ,  张朋 ,  张卫平

IPC: G06F11/36

Abstract: 本发明公开了一种适应于航天软件测试的数字化系统，涉及航天软件数字化测试领域，包括虚拟目标机单元、硬件通信单元、总线控制单元、环境仿真单元和时间调度单元，所述虚拟目标机单元用于实现航天软件测试所使用的虚拟CPU的数字化仿真，所述虚拟CPU用于运行被测航天软件；所述硬件通信单元用于实现虚拟CPU外围接口设备的数字化仿真；所述总线控制单元用于实现数字化系统中各硬件通信单元间通讯机制的模拟；所述环境仿真单元用于对配合航天软件测试的外围环境参数和控制参数进行仿真模拟。本发明能够使得开发人员有效充分地开展航天软件的测试工作。

公开(公告)号：CN115905015A

公开(公告)日：2023-04-04

申请号：CN202211669367.3

申请日：2022-12-24

Applicant: 湖北航天技术研究院总体设计所

Inventor： 刘丹 ,  王卓 ,  余杰 ,  高荇 ,  刘梦达 ,  李翔宇 ,  张朋 ,  原野 ,  杨贤哲 ,  宋长哲

IPC: G06F11/36 ,  G06F11/10

Abstract: 本发明提供一种可靠性测试系统以及方法，可靠性测试系统包括：故障注入测试模块，用于获取可靠性测试界面中故障注入测试控件的触发结果，基于故障注入测试控件的触发结果进行故障注入操作；周期性消息丢帧监测模块，用于获取可靠性测试界面中周期性消息丢帧监测控件的触发结果，基于周期性消息丢帧控件的触发结果进行周期性消息丢帧监测操作；总线负载率监测模块，用于获取可靠性测试界面中总线负载率监测控件的触发结果，基于总线负载率监测控件的触发结果进行总线负载率监测操作。本发明可以较高的测试效率与测试质量对航天系统软件的可靠性进行测试，从而及时基于测试结果纠正对可靠性影响大的错误，以提高航天系统装备软件的可靠性与健壮性。