軟件驗(yàn)證

我要報(bào)錯(cuò)

  • 使用簡(jiǎn)單示例進(jìn)行軟件驗(yàn)證和確認(rèn)

    驗(yàn)證是檢查軟件是否符合其規(guī)格的過(guò)程。它回答了以下問(wèn)題：“我們是否正確構(gòu)建了產(chǎn)品?”這意味著根據(jù)項(xiàng)目開始時(shí)定義的要求檢查軟件是否按預(yù)期運(yùn)行。驗(yàn)證通常通過(guò)靜態(tài)測(cè)試完成，這意味著軟件實(shí)際上并未執(zhí)行。相反，代碼經(jīng)過(guò)審查、檢查或遍歷以確保其符合規(guī)格。

  • 提高嵌入式軟件質(zhì)量

    如果測(cè)試無(wú)法證明不存在嚴(yán)重的運(yùn)行錯(cuò)誤，那么嵌入式軟件開發(fā)團(tuán)隊(duì)如何才能確定其軟件沒(méi)有這些錯(cuò)誤呢？基于數(shù)學(xué)證明的代碼驗(yàn)證是值得一試的解決方案。在軟件驗(yàn)證方面，可擴(kuò)展的高性能數(shù)學(xué)技術(shù)在實(shí)際應(yīng)用方面的最新發(fā)展十分有用，可實(shí)現(xiàn)對(duì)軟件中不存在運(yùn)行時(shí)錯(cuò)誤進(jìn)行證明。

  • 用于軟件驗(yàn)證的硬件加速仿真之一：物理和虛擬探針

    啟動(dòng)操作系統(tǒng)并執(zhí)行軟件應(yīng)用程序需要經(jīng)過(guò)數(shù)十億個(gè)驗(yàn)證周期 — 傳統(tǒng)的基于軟件的分析工具無(wú)法勝任這項(xiàng)任務(wù)。只有基于硬件的驗(yàn)證引擎才可提供應(yīng)對(duì)這一挑戰(zhàn)所需的吞吐量。正因?yàn)槿绱?，硬件加速仿真?FPGA 原型設(shè)計(jì)才會(huì)成為當(dāng)今設(shè)計(jì)和驗(yàn)證團(tuán)隊(duì)的驗(yàn)證工具箱中的必備引擎。