安全軟件的確認貫穿與安全相關的產品軟件實施的整個過程。為了確保與安全相關的產品可以發揮真正的安全預防作用,軟件的確認必須正確,一致且與產品信息要求相符。值得提醒的是,軟件產品確認測試需要由第三方軟件測試機構委托進行測試。
安全軟件驗證測試的評估標準:
①確認軟件的每項要求是否正確以及與系統要求是否一致。
②確認是否可以將軟件的每個需求追溯到系統需求,并確認可以將與軟件相關的系統需求追溯到軟件需求。
③確認軟件要求滿足系統假設和約束條件下配置給軟件的系統要求;確認功能交互作用和假設是連續且一致的,并且符合系統要求。
④確認軟件是否符合標準,參考文件,法規,政策,法律和行業規定。
⑤確認軟件設計是否符合軟件要求,以及是否可以將每個軟件要求追溯到軟件設計。
⑥確認狀態順序和狀態更改(功能框圖)。
⑦確認數據和控制流符合安全性,功能性和性能要求。
⑧確認軟件的功能,硬件,軟件和用戶界面的一致性,性能標準,配置數據是否滿足指定的配置管理規定以及邏輯,計算和接口精度是否滿足系統環境的需求。
⑨確認要測試的軟件版本,必須是經過模塊測試和集成測試的軟件。
⑩測試所需的配置腳本必須與軟件源代碼版本一致。
軟件安全測試是軟件測試的重要組成部分,它將直接影響用戶的安全性,因此我們必須謹慎。一航空軟件測評中心具有國家認可的CMA認證,并且可以與CMA一起發布測試報告,是您值得信賴的合作伙伴。