形式化测试用报告的生成方法、系统、设备及存储介质

    公开(公告)号:CN118964174A

    公开(公告)日:2024-11-15

    申请号:CN202410944204.4

    申请日:2024-07-15

    Abstract: 一种形式化测试用报告的生成方法、系统、设备及计算机可读存储介质,包括:通过获取形式化配置信息,所述形式化信息包括形式化逻辑信息和形式化描述信息;根据所述形式化逻辑信息和所述形式化描述信息,生成对应的测试用例和自动执行脚本;基于所述自动执行脚本对所述测试用例进行测试,生成测试报告,解决了相关技术中存在的从测试需求分析到生成测试用例以及执行测试用例,都是靠测试人员人工执行,存在效率低和工作量大的问题技术问题,将形式化描述自动转化为对应的测试用例,提高了工作效率。

    一种地面装备软件动态测试方法与系统

    公开(公告)号:CN117724975A

    公开(公告)日:2024-03-19

    申请号:CN202311771487.9

    申请日:2023-12-21

    Abstract: 本发明公开了一种地面装备软件动态测试方法与系统,涉及仿真测试领域,包括以下步骤:外围设备模拟平台向地面装备软件发送周期性消息,所述周期性消息包括自检信息和状态信息;当地面装备软件开始执行任务时,向外围设备模拟平台发送控制消息;外围设备模拟平台收到控制消息后对所述控制消息进行分解,确定控制消息对应的命令名称,并通过命令名称获取对应的预设的控制命令及控制命令参数,根据所述控制命令及控制命令参数生成控制反馈消息,并修改周期性消息;外围设备模拟平台将所述控制反馈消息与修改后的周期性消息发送给地面装备软件,完成测试。

    现场可编程门阵列软件异步通信速率偏移检测方法及装置

    公开(公告)号:CN119484359A

    公开(公告)日:2025-02-18

    申请号:CN202411430814.9

    申请日:2024-10-14

    Abstract: 一种现场可编程门阵列软件异步通信速率偏移检测方法及装置,属于现场可编程门阵列软件验证技术领域。其中,方法包括:基于预设速率步进长度和预设速率范围确定若干个第一速率;针对各第一速率,执行以下步骤:在数字仿真环境中,按照第一速率将激励信号输入至被测件模块,被测件模块对接收到的激励信号进行预处理,得到预处理后的数据帧,判断预处理后的数据帧与测试帧是否一致,激励信号中传输的内容为编码后的测试帧;若不一致,则确定第一速率的偏移检测结果为不通过;若一致,则确定第一速率的偏移检测结果为通过,并记录第一速率、理论速率、速率偏移差值和速率偏移占比,以供相关人员快速了解该FPGA软件异步通信速率边界情况。

    一种地面装备软件测试故障注入方法与装置

    公开(公告)号:CN117785683A

    公开(公告)日:2024-03-29

    申请号:CN202311775376.5

    申请日:2023-12-21

    Abstract: 本发明公开了一种地面装备软件测试故障注入方法与装置,涉及仿真测试领域,包括以下步骤:基于软件设计文件对被测软件进行故障分析,所述故障分析包括确定故障模式的基本属性,故障模式之间的内部关系以及故障模式与系统功能、结构、测试的外部关系;根据所述软件中导致软件失效的故障、触发时间和系统相关状态,构建故障场景;对所述故障场景中的故障模式进行分析,确定故障点信息;根据故障点信息编写业务XML,将所述业务XML注入待测系统进行测试。通过本方法可以灵活地实现故障注入,节省评测时间,降低评测成本。

    一种固体矢量推力器多余配额控制方法及装置

    公开(公告)号:CN114852377A

    公开(公告)日:2022-08-05

    申请号:CN202210493878.8

    申请日:2022-04-28

    Abstract: 本申请涉及一种固体矢量推力器多余配额控制方法及装置。所述固体矢量推力器包括多个推力器阀门,所述多个推力器阀门的输入端共用燃发器通道,所述多个推力器阀门的输出推力用于实现飞行器姿控,所述控制方法包括步骤:根据俯仰、偏航及滚转通道所需推力分配各通道对应推力器阀门的阀门开度,并使工作时所述多个推力器阀门的阀门开度之和为定值;引入多余配额调整每个通道的等效喉径,以保证至少一个通道对应的推力器阀门的阀门开度满足所需推力;根据所述阀门开度控制对应推力器阀门的输出推力。在保证系统压强稳定的同时实现指定通道推力按要求输出,提高系统控制精度。

    航天软件仿真测试方法、装置、设备及介质

    公开(公告)号:CN118331861A

    公开(公告)日:2024-07-12

    申请号:CN202410387449.1

    申请日:2024-04-01

    Abstract: 一种航天软件仿真测试方法、装置、设备及介质,属于航天软件测试技术领域。其中,方法包括:基于QT应用程序框架搭建通用闭环仿真模型,其中,通用闭环仿真模型包括业务层,业务层包括地面设备模拟业务单元和弹上设备模拟业务单元,地面设备模拟业务单元和弹上设备模拟业务单元用于对待测航天软件运行所需的外围设备基础信息进行仿真;在测试人员完成对通用闭环仿真模型中业务层的基础信息的录入,并将待测航天软件和通用闭环仿真模型接入数字总线后,基于基础信息,利用通用闭环仿真模型对待测航天软件进行仿真测试,可适用于国产化操作系统,且仅需在业务层中进行业务逻辑的修改,就可完成闭环仿真模型的搭建,提高了测试效率。

    软件系统测试方法、装置、设备及可读存储介质

    公开(公告)号:CN115794657A

    公开(公告)日:2023-03-14

    申请号:CN202211669371.X

    申请日:2022-12-24

    Abstract: 本发明提供一种软件系统测试方法、装置、设备及可读存储介质,软件系统测试方法包括:获取软件系统测试界面控件触发的测试业务选项,并基于所述测试业务选项进行对应的测试;基于CAN消息触发事件或状态触发事件获取测试过程中的过程数据;对所述过程数据进行数据处理,得到数据处理结果;将软件系统测试界面窗口环境变量链接于所述数据处理结果,基于所述数据处理结果显示各装备软件的功能测试结果与CAN接口测试结果。通过本发明可以保证测试充分性,实时在上位机上软件系统测试界面显示各装备软件的系统测试结果,提高了测试效率与测试质量,从而提升测试后的各装备软件的可靠性。

    一种基于混合协议的测试业务构建系统

    公开(公告)号:CN116319485A

    公开(公告)日:2023-06-23

    申请号:CN202310138947.8

    申请日:2023-02-16

    Abstract: 本发明公开了一种基于混合协议的测试业务构建系统,涉及测试技术领域,包括协议配置模块、硬件板卡驱动模块、协议发送模块和协议接收模块,所述协议配置模块用于实现当前测试所包含接口类型的选择,并进行对应协议格式的配置,形成通信报文;所述硬件板卡驱动模块用于实现与装备软件间的通信交互;所述协议发送模块用于驱动通信报文的发送,并通过硬件板卡驱动模块与装备软件间形成交互;所述协议接收模块用于接收硬件板卡驱动模块所接收到的装备软件发送的报文。本发明能够大幅缩短软件测试周期,提升装备软件测试的充分性和可靠性。

    一种航天装备通用系统级数字化仿真平台

    公开(公告)号:CN118625694A

    公开(公告)日:2024-09-10

    申请号:CN202410701227.2

    申请日:2024-05-31

    Abstract: 本发明公开了一种航天装备通用系统级数字化仿真平台,涉及数字仿真技术领域,所述航天装备通用系统级数字化仿真平台包括运行于国产化操作系统上的数字化仿真平台,以及在所述数字化仿真平台上运行的飞行控制软件、单机控制软件、地面控制软件、闭环仿真模型,以模拟真实场景下飞行器系统间数据流和控制流的交互,且当飞行控制软件、单机控制软件和地面控制软件运行时,所述数字化仿真平台的显示界面上实时对飞行器飞行过程中的状态信息进行显示,以实现对飞行器系统级闭环仿真的实时监控。本申请能够实现涵盖测试、发射和飞行各阶段的全数字化闭环仿真。

Patent Agency Ranking