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