MathWorks 宣布改進(jìn)Polyspace 嵌入式代碼驗證產(chǎn)品

　　MathWorks 今天宣布推出對其 Polyspace 嵌入式代碼驗證產(chǎn)品的改進(jìn)，此類(lèi)產(chǎn)品可以證明源代碼中不存在某些運行錯誤。 Polyspace新特性包含了 指標網(wǎng)絡(luò )控制面板(metrics web dashboard)、自動(dòng)計劃驗證工作、電子郵件通知以及增強的代碼指標支持，這些新特性使工程師能夠選擇并跟蹤嵌入式軟件質(zhì)量的指標和閾值。這些改進(jìn)幫助軟件團隊更好地定義質(zhì)量目標，并更快地加以實(shí)現，以便在汽車(chē)、航空、國防以及工業(yè)自動(dòng)化和機械行業(yè)中得到高完整性應用。

　　關(guān)鍵應用中的嵌入式軟件需要滿(mǎn)足特定的軟件質(zhì)量目標，這是監管指令或企業(yè)驗證流程的一部分。為使軟件團隊能實(shí)現這些目標，開(kāi)發(fā)人員和管理人員需要定義質(zhì)量目標、評估標準和相關(guān)的指標閾值。Polyspace 指標網(wǎng)絡(luò )控制面板可幫助軟件開(kāi)發(fā)人員定義相關(guān)的指標和閾值，如：代碼指標、MISRA-C 和運行錯誤指標。它還能在驗證過(guò)程中跟蹤這些指標的進(jìn)展，并能在每次代碼修訂中比較質(zhì)量上的差異。

　　開(kāi)發(fā)高完整性應用程序的另一大難題在于，如果驗證任務(wù)沒(méi)有得到系統性的執行，則會(huì )導致代碼質(zhì)量波動(dòng)。Polyspace 目前提供了夜間進(jìn)程和電子郵件系統的集成，幫助實(shí)現持續驗證過(guò)程的自動(dòng)化。工程師可減少手動(dòng)驗證任務(wù)的迭代工作，從而可以專(zhuān)注于更高級別的驗證任務(wù)，例如處理使用同一代碼的兩個(gè)版本間產(chǎn)生的新問(wèn)題。

　　MathWorks 技術(shù)市場(chǎng)經(jīng)理 Brett Murphy 說(shuō)：“除了驗證嵌入式軟件不存在運行錯誤外，質(zhì)量工程師和管理人員還需要了解軟件質(zhì)量生命周期。團隊使用通用界面來(lái)設計支持持續代碼驗證的軟件質(zhì)量模型，并衡量其與關(guān)鍵指標相關(guān)的進(jìn)展，這將能夠滿(mǎn)足人們對高質(zhì)量軟件日益增長(cháng)的需求。”