-
公开(公告)号:CN114330036B
公开(公告)日:2022-05-17
申请号:CN202210228853.5
申请日:2022-03-10
申请人: 北京航空航天大学
IPC分类号: G06F30/20
摘要: 本发明公开了一种机载防撞系统防撞软件仿真测试方法;获取防撞软件的外部交联接口和内部交联接口,以及内外部接口分别对应的数据协议信息;基于外部交联接口以及其对应的数据协议信息,对外部交联设备进行仿真建模,获得仿真设备;基于内部交联接口以及其对应的数据协议信息,对与防撞软件通信连接的监视模块进行仿真建模,获得监视仿真软件;使仿真设备实现以规定的场景要求向防撞软件发送数据;并实现仿真设备、防撞软件与监视仿真软件数据交互;对防撞软件进行测试,验证防撞软件的正确性。通过该方法能够确保及时发现防撞软件在真实硬件环境中运行产生的问题,同时解决防撞软件测试环境中满足场景要求的输入数据模型构造问题。
-
公开(公告)号:CN114330036A
公开(公告)日:2022-04-12
申请号:CN202210228853.5
申请日:2022-03-10
申请人: 北京航空航天大学
IPC分类号: G06F30/20
摘要: 本发明公开了一种机载防撞系统防撞软件仿真测试方法;获取防撞软件的外部交联接口和内部交联接口,以及内外部接口分别对应的数据协议信息;基于外部交联接口以及其对应的数据协议信息,对外部交联设备进行仿真建模,获得仿真设备;基于内部交联接口以及其对应的数据协议信息,对与防撞软件通信连接的监视模块进行仿真建模,获得监视仿真软件;使仿真设备实现以规定的场景要求向防撞软件发送数据;并实现仿真设备、防撞软件与监视仿真软件数据交互;对防撞软件进行测试,验证防撞软件的正确性。通过该方法能够确保及时发现防撞软件在真实硬件环境中运行产生的问题,同时解决防撞软件测试环境中满足场景要求的输入数据模型构造问题。
-
公开(公告)号:CN114356784B
公开(公告)日:2022-06-07
申请号:CN202210229344.4
申请日:2022-03-10
申请人: 北京航空航天大学
IPC分类号: G06F11/36
摘要: 本发明公开了机载防撞系统防撞软件测试场景在系统测试中的设计方法,步骤1获取防撞系统构成及运行方式,构建软件系统级测试环境;步骤2分解标准测试场景描述文件中的输入数据,提取有效信息;依据系统功能、内外部接口信息,将防撞软件输入信息由内部接口向外部接口进行迁移,使其满足软件系统级测试输入需求;构造S模式应答机DF报文信息、地面站UF报文信息和本机信息;步骤3将构造的测试数据施加在构建的软件系统测试环境之上,利用交通/决断显示器和告警扬声器输出交通决断告警结果,将该结果与仿真输出结果进行比对,验证标准测试场景在软件系统测试中是否可通过。该方法基于DO‑185A标准对防撞软件的测试场景描述,提升软件测试层次。
-
公开(公告)号:CN114356784A
公开(公告)日:2022-04-15
申请号:CN202210229344.4
申请日:2022-03-10
申请人: 北京航空航天大学
IPC分类号: G06F11/36
摘要: 本发明公开了机载防撞系统防撞软件测试场景在系统测试中的设计方法,步骤1获取防撞系统构成及运行方式,构建软件系统级测试环境;步骤2分解标准测试场景描述文件中的输入数据,提取有效信息;依据系统功能、内外部接口信息,将防撞软件输入信息由内部接口向外部接口进行迁移,使其满足软件系统级测试输入需求;构造S模式应答机DF报文信息、地面站UF报文信息和本机信息;步骤3将构造的测试数据施加在构建的软件系统测试环境之上,利用交通/决断显示器和告警扬声器输出交通决断告警结果,将该结果与仿真输出结果进行比对,验证标准测试场景在软件系统测试中是否可通过。该方法基于DO‑185A标准对防撞软件的测试场景描述,提升软件测试层次。
-
公开(公告)号:CN110096441A
公开(公告)日:2019-08-06
申请号:CN201910343700.3
申请日:2019-04-26
申请人: 北京航空航天大学
摘要: 本发明涉及一种基于UVM方法下FPGA软件仿真测试环境建立方法,该方法是对可编程逻辑器件软件产品的特性进行分析,并基于UVM验证方法学和层次设计的软件体系结构,建立的可编程逻辑器件软件仿真测试环境,包括UVM模板及UVM配置工具软件。测试人员可以通过配置的被测对象的接口属性和选择测试激励类型,自动生成定向和不定向的测试激励,并且能够构建针对被测对象的UVM测试平台,将测试数据发送到UVM测试平台中,调用仿真工具,最终完成可编程逻辑器件软件仿真验证工作。本发明用于开展可编程逻辑软件仿真测试,以解决传统功能仿真验证中测试用例开发周期长,功能覆盖不全面,可重用性差和验证效率低等诸多不足。
-
公开(公告)号:CN110096441B
公开(公告)日:2021-02-19
申请号:CN201910343700.3
申请日:2019-04-26
申请人: 北京航空航天大学
IPC分类号: G06F11/36 , G06F30/331
摘要: 本发明涉及一种基于UVM方法下FPGA软件仿真测试环境建立方法,该方法是对可编程逻辑器件软件产品的特性进行分析,并基于UVM验证方法学和层次设计的软件体系结构,建立的可编程逻辑器件软件仿真测试环境,包括UVM模板及UVM配置工具软件。测试人员可以通过配置的被测对象的接口属性和选择测试激励类型,自动生成定向和不定向的测试激励,并且能够构建针对被测对象的UVM测试平台,将测试数据发送到UVM测试平台中,调用仿真工具,最终完成可编程逻辑器件软件仿真验证工作。本发明用于开展可编程逻辑软件仿真测试,以解决传统功能仿真验证中测试用例开发周期长,功能覆盖不全面,可重用性差和验证效率低等诸多不足。
-
-
-
-
-