買專利賣專利找龍圖騰，真高效！ 查專利查商標用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或微信搜索“龍圖騰網”。