-
使用簡單示例進行軟件驗證和確認
驗證是檢查軟件是否符合其規(guī)格的過程。它回答了以下問題：“我們是否正確構建了產(chǎn)品?”這意味著根據(jù)項目開始時定義的要求檢查軟件是否按預期運行。驗證通常通過靜態(tài)測試完成，這意味著軟件實際上并未執(zhí)行。相反，代碼經(jīng)過審查、檢查或遍歷以確保其符合規(guī)格。
-
提高嵌入式軟件質量
如果測試無法證明不存在嚴重的運行錯誤，那么嵌入式軟件開發(fā)團隊如何才能確定其軟件沒有這些錯誤呢？基于數(shù)學證明的代碼驗證是值得一試的解決方案。在軟件驗證方面，可擴展的高性能數(shù)學技術在實際應用方面的最新發(fā)展十分有用，可實現(xiàn)對軟件中不存在運行時錯誤進行證明。
-
用于軟件驗證的硬件加速仿真之一：物理和虛擬探針
啟動操作系統(tǒng)并執(zhí)行軟件應用程序需要經(jīng)過數(shù)十億個驗證周期 — 傳統(tǒng)的基于軟件的分析工具無法勝任這項任務。只有基于硬件的驗證引擎才可提供應對這一挑戰(zhàn)所需的吞吐量。正因為如此，硬件加速仿真和 FPGA 原型設計才會成為當今設計和驗證團隊的驗證工具箱中的必備引擎。
