中國北京 – 2010 年 10 月 19 日 – MathWorks 今天宣布推出對其 Polyspace 嵌入式代碼驗證產品的改進，此類產品可以證明源代碼中不存在某些運行錯誤。 Polyspace新特性包含了 指標網絡控製麵板（metrics web dashboard）、自動計劃驗證工作、電(dian)子(zi)郵(you)件(jian)通(tong)知(zhi)以(yi)及(ji)增(zeng)強(qiang)的(de)代(dai)碼(ma)指(zhi)標(biao)支(zhi)持(chi)，這(zhe)些(xie)新(xin)特(te)性(xing)使(shi)工(gong)程(cheng)師(shi)能(neng)夠(gou)選(xuan)擇(ze)並(bing)跟(gen)蹤(zong)嵌(qian)入(ru)式(shi)軟(ruan)件(jian)質(zhi)量(liang)的(de)指(zhi)標(biao)和(he)閾(yu)值(zhi)。這(zhe)些(xie)改(gai)進(jin)幫(bang)助(zhu)軟(ruan)件(jian)團(tuan)隊(dui)更(geng)好(hao)地(di)定(ding)義(yi)質(zhi)量(liang)目(mu)標(biao)，並(bing)更(geng)快(kuai)地(di)加(jia)以(yi)實(shi)現(xian)
，以(yi)便(bian)在(zai)汽(qi)車(che)、航空、國防以及工業自動化和機械行業中得到高完整性應用。

使用網絡瀏覽器，確保在您的軟件開發生命周期中達成相應的質量目標

　　關guan鍵jian應ying用yong中zhong的de嵌qian入ru式shi軟ruan件jian需xu要yao滿man足zu特te定ding的de軟ruan件jian質zhi量liang目mu標biao，這zhe是shi監jian管guan指zhi令ling或huo企qi業ye驗yan證zheng流liu程cheng的de一yi部bu分fen。為wei使shi軟ruan件jian團tuan隊dui能neng實shi現xian這zhe些xie目mu標biao，開kai發fa人ren員yuan和he管guan理li人ren員yuan需xu要yao定ding義yi質zhi量liang目mu標biao、評估標準和相關的指標閾值。Polyspace 指標網絡控製麵板可幫助軟件開發人員定義相關的指標和閾值，如：代碼指標
、MISRA-C 和運行錯誤指標。它還能在驗證過程中跟蹤這些指標的進展，並能在每次代碼修訂中比較質量上的差異。

　　開發高完整性應用程序的另一大難題在於，如果驗證任務沒有得到係統性的執行，則會導致代碼質量波動。Polyspace 目(mu)前(qian)提(ti)供(gong)了(le)夜(ye)間(jian)進(jin)程(cheng)和(he)電(dian)子(zi)郵(you)件(jian)係(xi)統(tong)的(de)集(ji)成(cheng)，幫(bang)助(zhu)實(shi)現(xian)持(chi)續(xu)驗(yan)證(zheng)過(guo)程(cheng)的(de)自(zi)動(dong)化(hua)。工(gong)程(cheng)師(shi)可(ke)減(jian)少(shao)手(shou)動(dong)驗(yan)證(zheng)任(ren)務(wu)的(de)迭(die)代(dai)工(gong)作(zuo)
，從(cong)而(er)可(ke)以(yi)專(zhuan)注(zhu)於(yu)更(geng)高(gao)級(ji)別(bie)的(de)驗(yan)證(zheng)任(ren)務(wu)，例(li)如(ru)處(chu)理(li)使(shi)用(yong)同(tong)一(yi)代(dai)碼(ma)的(de)兩(liang)個(ge)版(ban)本(ben)間(jian)產(chan)生(sheng)的(de)新(xin)問(wen)題(ti)。

　　MathWorks 技術市場經理 Brett Murphy 說：“除(chu)了(le)驗(yan)證(zheng)嵌(qian)入(ru)式(shi)軟(ruan)件(jian)不(bu)存(cun)在(zai)運(yun)行(xing)錯(cuo)誤(wu)外(wai)
，質(zhi)量(liang)工(gong)程(cheng)師(shi)和(he)管(guan)理(li)人(ren)員(yuan)還(hai)需(xu)要(yao)了(le)解(jie)軟(ruan)件(jian)質(zhi)量(liang)生(sheng)命(ming)周(zhou)期(qi)。團(tuan)隊(dui)使(shi)用(yong)通(tong)用(yong)界(jie)麵(mian)來(lai)設(she)計(ji)支(zhi)持(chi)持(chi)續(xu)代(dai)碼(ma)驗(yan)證(zheng)的(de)軟(ruan)件(jian)質(zhi)量(liang)模(mo)型(xing)，並(bing)衡(heng)量(liang)其(qi)與(yu)關(guan)鍵(jian)指(zhi)標(biao)相(xiang)關(guan)的(de)進(jin)展(zhan)，這(zhe)將(jiang)能(neng)夠(gou)滿(man)足(zu)人(ren)們(men)對(dui)高(gao)質(zhi)量(liang)軟(ruan)件(jian)日(ri)益(yi)增(zeng)長(chang)的(de)需(xu)求(qiu)。”

   關於 MathWorks

　　MathWorks 公司是數學計算軟件領域世界領先的開發商。它所推出的 MATLAB 是一種用於算法開發、數據分析

、可視化和數值計算的程序設計環境，稱為“科學計算的語言”。Simulink 是一種圖形環境
，可用於對多領域動態係統和嵌入式係統進行仿真和模型化設計。全球的工程師和科學家們都依賴於MathWorks 公司所提供的這些產品家族，來加快在汽車、航空
、電子、金融服務
、生物醫藥以及其他行業的發明
、創新及開發的步伐。MathWorks 產品也是全球眾多大學和學術機構的基本教研工具。MathWorks 創建於 1984 年，總部位於美國馬薩諸塞州內蒂克市 (Natick, Massachusetts) 
，員工有 2200 多人
，分布在 15 個國家/地區。

　　有關詳細信息，請訪問 www.mathworks.cn。