2013 年 9 月10日，MathWorks宣布引進(jìn)Polyspace Code Prover 和 Polyspace Bug Finder這兩款新的代碼驗(yàn)證以擴(kuò)充自己的Polyspace系列產(chǎn)品。與此同時(shí)，MathWorks還宣布推出2013b 版。
新增的這兩款產(chǎn)品提供了端到端軟件驗(yàn)證功能，供早期開(kāi)發(fā)階段使用，其中涵蓋了查找缺陷、檢查代碼規(guī)則以及證明不存在運(yùn)行時(shí)錯(cuò)誤。由此便可確保嵌入式軟件的穩(wěn)健性，使其能夠以最高級(jí)別的質(zhì)量和安全性運(yùn)行。
Polyspace Code Prover 是一款基于形式化方法的驗(yàn)證工具，用于證明代碼的正確性。負(fù)責(zé)代碼安全和認(rèn)證的工程師可以使用 Polyspace Code Prover 來(lái)確定何處會(huì)發(fā)生或不會(huì)發(fā)生運(yùn)行時(shí)錯(cuò)誤。顏色編碼和基于證明的結(jié)果簡(jiǎn)化了驗(yàn)證任務(wù)，使得軟件開(kāi)發(fā)流程更加高效和優(yōu)質(zhì)。此外，Polyspace Code Prover 還利用 MATLAB 平臺(tái)，使用戶可以訪問(wèn)強(qiáng)大的 MATLAB 功能，例如穩(wěn)健的計(jì)算機(jī)集群間工作分配、自動(dòng)化腳本編寫、結(jié)果可視化以及認(rèn)證報(bào)告生成。Polyspace Code Prover 融入了先前在 Polyspace Client for C/C++ 和 Polyspace Server for C/C++ 中提供的功能。
Polyspace Bug Finder可識(shí)別嵌入式軟件中的運(yùn)行時(shí)錯(cuò)誤、數(shù)據(jù)流問(wèn)題以及其他缺陷。Polyspace Bug Finder 可以利用靜態(tài)分析方法來(lái)分析軟件控件、數(shù)據(jù)流以及過(guò)程間行為。此軟件還能夠查找各種缺陷，例如數(shù)值、內(nèi)存以及其他編程錯(cuò)誤。與傳統(tǒng)的人工審驗(yàn)不同，Polyspace Bug Finder 使工程師可以快速識(shí)別、診斷和修復(fù)代碼缺陷，從而簡(jiǎn)化開(kāi)發(fā)流程。此工具不僅可檢查是否符合代碼規(guī)則標(biāo)準(zhǔn)(例如 MISRA 和 JSF++、自定義規(guī)則)，而且能夠生成衡量代碼質(zhì)量和復(fù)雜度的指標(biāo)。與 Polyspace Code Prover 一樣，Polyspace Bug Finder 可利用 MATLAB 平臺(tái)進(jìn)行工作分配、腳本編寫和結(jié)果可視化。這兩款產(chǎn)品都與 Simulink 集成在一起以便用于自動(dòng)生成代碼。
MathWorks 公司的設(shè)計(jì)自動(dòng)化營(yíng)銷總監(jiān) Paul Barnard 說(shuō)：“Polyspace 產(chǎn)品系列可提供全面的代碼驗(yàn)證解決方案，使工程師在整個(gè)開(kāi)發(fā)流程中對(duì)嵌入式軟件的質(zhì)量和安全性更加充滿自信。Polyspace Bug Finder 和 Polyspace Code Prover 將靜態(tài)分析和形式化方法代碼驗(yàn)證技術(shù)融于一體，可幫助工程師在開(kāi)發(fā)流程早期找出缺陷，證實(shí)其軟件的關(guān)鍵環(huán)節(jié)是安全的，從而加以部署?！?/FONT>
上市時(shí)間
Polyspace Code Prover 和 Polyspace Bug Finder已經(jīng)上市。
關(guān)于 MathWorks
MathWorks 公司是數(shù)學(xué)計(jì)算軟件領(lǐng)域世界領(lǐng)先的開(kāi)發(fā)商。它所推出的 MATLAB 是一種用于算法開(kāi)發(fā)、數(shù)據(jù)分析、可視化和數(shù)值計(jì)算的程序設(shè)計(jì)環(huán)境，稱為“科學(xué)計(jì)算的語(yǔ)言”。Simulink 是一種圖形環(huán)境，可用于對(duì)多領(lǐng)域動(dòng)態(tài)系統(tǒng)和嵌入式系統(tǒng)進(jìn)行仿真和模型化
設(shè)計(jì)。全球的工程師和科學(xué)家們都依賴于MathWorks 公司所提供的這些產(chǎn)品系列，來(lái)加快在汽車、航空、電子、金融服務(wù)、生物醫(yī)藥以及其他行業(yè)的發(fā)明、創(chuàng)新及開(kāi)發(fā)的步伐。MathWorks 產(chǎn)品也是全球眾多大學(xué)和學(xué)術(shù)機(jī)構(gòu)的基本教研工具。MathWorks 創(chuàng)建于 1984 年，總部位于美國(guó)馬薩諸塞州的內(nèi)蒂克市 (Natick, Massachusetts)，在全球15 個(gè)國(guó)家/地區(qū)擁有 2800 多名員工。
（轉(zhuǎn)載）
