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

龙图腾网恭喜成都工业学院申请的专利基于DO385测试用例集的ACAS X软件标准符合性验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119807006B 。

龙图腾网通过国家知识产权局官网在2025-05-09发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510308739.7，技术领域涉及：G06F11/3604；该发明授权基于DO385测试用例集的ACAS X软件标准符合性验证方法是由李洪伟设计研发完成，并于2025-03-17向国家知识产权局提交的专利申请。

本基于DO385测试用例集的ACAS X软件标准符合性验证方法在说明书摘要公布了：本发明公开了基于DO385测试用例集的ACASX软件标准符合性验证方法，步骤包括：通过软件编程按DO385规定的7组422个测试用例生成测试序列表，支持多种编程语言实现；运行ACASX软件，以测试序列表用例作为输入生成TRM、STM和COST结果文件；通过计算机软件编程，对比结果文件与DO385提供的标准结果文件，记录不符合容差要求的变量及误差，依据对比结果更新测试序列表；针对失败用例修正ACASX软件，迭代测试直至所有422个测试用例通过；标准符合性还可利用自动文件夹对比软件进行批量和直观的比较。本发明通过设定和更新测试序列表，提供了系统和优化的测试流程，具有可迭代性，实现方式兼具灵活性与通用性，为ACASX软件的标准符合性验证提供了有效方法。

本发明授权基于DO385测试用例集的ACAS X软件标准符合性验证方法在权利要求书中公布了：1.基于DO385测试用例集的ACASX软件标准符合性验证方法，其特征在于，包括以下步骤：S1：通过软件编程方式生成测试序列表，所述测试序列表为DO385规定的全部测试用例的序号组成的列表，具体实现时，包括7组不等长的数组组成的二维表，所述二维表使用Julia语言编程实现时，通过定义二维数组的方式实现；使用Python语言实现时，使用列表的列表来表示7个不等长的数组组成的二维表，每个子列表可有不同的长度；使用C语言实现时，使用指针数组来表示7个不等长的数组组成的二维表；S2：运行ACASX软件，以所述的测试序列表中测试用例序号对应的测试用例作为ACASX软件的输入，将运行过程中生成的TRM、STM和COST的变量分别生成对应的结果文件，所述TRM、STM和COST分别是DO385规定的威胁决断模块、监视跟踪模块和代价值；S3：将TRM、STM和COST结果文件与DO385标准结果文件依次进行比较，具体包括：针对测试序列表中每个测试用例，分别读取其TRM结果文件与标准TRM结果文件，按变量名称逐一比较数据是否满足容差要求，不满足时记录变量名称、值和误差并存储为TRM误差文件，同样方式依次对STM结果文件与标准STM结果文件、COST结果文件与标准COST结果文件进行比较并存储相应误差文件，当TRM、STM和COST结果文件所有变量满足容差要求时该测试用例为测试通过，否则为测试失败；以同样的方式完成测试序列表所有测试用例的结果文件比较；S4：更新测试序列表，方法是将测试成功的测试用例序号从测试序列表中删除；S5：针对测试失败的测试用例修正所述ACASX软件，然后重复执行步骤S2、S3和S4，直到测试序列表清空；S6：重复执行步骤S1、S2、S3、S4和S5，直到步骤S3中所有测试用例均为通过，则ACASX软件通过了标准符合性验证。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人成都工业学院，其通讯地址为：611730 四川省成都市郫都区中信大道二段1号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。