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

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

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

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

圖注：使用網(wǎng)絡(luò)瀏覽器，確保在您的軟件開發(fā)生命周期中達(dá)成相應(yīng)的質(zhì)量目標(biāo)

　　另一個(gè)在高集成度應(yīng)用開發(fā)中的挑戰(zhàn)是，如果對(duì)代碼進(jìn)行毫無系統(tǒng)的大量驗(yàn)證任務(wù)會(huì)是代碼的質(zhì)量發(fā)生波動(dòng)。Polyspace現(xiàn)在能夠?qū)崿F(xiàn)與每天晚上的測(cè)試過程和電子郵件系統(tǒng)集成起來，自動(dòng)進(jìn)行持續(xù)的驗(yàn)證工作。工程師可以減少重復(fù)的手工驗(yàn)證人物，讓他們關(guān)注更的驗(yàn)證工作，比如去發(fā)現(xiàn)同一段代碼的兩個(gè)不同版本之間的新的問題。

　　“為了證明嵌入式軟件沒有運(yùn)行時(shí)錯(cuò)誤，質(zhì)量工程師和管理員需要對(duì)軟件質(zhì)量生命周期的可見性，”MathWorks的技術(shù)市場(chǎng)經(jīng)理Brett Murphy說到，”那些用常用的接口來設(shè)計(jì)支持持續(xù)代碼驗(yàn)證的軟件質(zhì)量模型、并測(cè)量他們的與關(guān)鍵度量元相關(guān)的過程的軟件開發(fā)團(tuán)隊(duì)才能夠滿足高質(zhì)量軟件的正在日益增長的需求。”

　　關(guān)于MathWorks

　　MathWorks是數(shù)學(xué)計(jì)算軟件的領(lǐng)軍開發(fā)者。MATLAB是一種科學(xué)計(jì)算語言，是數(shù)學(xué)開發(fā)、數(shù)據(jù)分析、可視化以及數(shù)字計(jì)算領(lǐng)域中的變成環(huán)境。Simulink是用于仿真和基于模型設(shè)計(jì)的多域（multidomain）動(dòng)態(tài)嵌入式系統(tǒng)的圖形化開發(fā)環(huán)境。世界范圍內(nèi)橫跨航空航天、電子產(chǎn)品、金融服務(wù)、生物醫(yī)藥以及其他工業(yè)的的工程師以及科學(xué)家在進(jìn)行研究工作、創(chuàng)新工作和開發(fā)工作時(shí)都采用這個(gè)軟件系列中的產(chǎn)品。MathWorks產(chǎn)品還經(jīng)常在世界范圍內(nèi)的高校以及教育機(jī)構(gòu)中用于基礎(chǔ)教學(xué)和研究工作。1984年，MathWorks就已經(jīng)有大于2200名的員工，遍布15個(gè)國家，包括在美國Natick的 Massachusetts州的總部。