http://www.kadhoai.com.cn 2026-04-07 07:11:32 來源:MathWorks 公司
中國北京 – 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、航空、國防以及工業自動化和機械行業中得到高完整性應用。

使用網絡瀏覽器,確保在您的軟件開發生命周期中達成相應的質量目標
guanjianyingyongzhongdeqianrushiruanjianxuyaomanzutedingderuanjianzhiliangmubiao,zheshijianguanzhilinghuoqiyeyanzhengliuchengdeyibufen。weishiruanjiantuanduinengshixianzhexiemubiao,kaifarenyuanheguanlirenyuanxuyaodingyizhiliangmubiao、評估標準和相關的指標閾值。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 說:“chuleyanzhengqianrushiruanjianbucunzaiyunxingcuowuwai,zhilianggongchengshiheguanlirenyuanhaixuyaolejieruanjianzhiliangshengmingzhouqi。tuanduishiyongtongyongjiemianlaishejizhichichixudaimayanzhengderuanjianzhiliangmoxing,binghengliangqiyuguanjianzhibiaoxiangguandejinzhan,zhejiangnenggoumanzurenmenduigaozhiliangruanjianriyizengchangdexuqiu。”
關於 MathWorks
MathWorks 公司是數學計算軟件領域世界領先的開發商。它所推出的 MATLAB 是一種用於算法開發、數據分析、可視化和數值計算的程序設計環境,稱為“科學計算的語言”。Simulink 是一種圖形環境,可用於對多領域動態係統和嵌入式係統進行仿真和模型化設計。全球的工程師和科學家們都依賴於MathWorks 公司所提供的這些產品家族,來加快在汽車、航空、電子、金融服務、生物醫藥以及其他行業的發明、創新及開發的步伐。MathWorks 產品也是全球眾多大學和學術機構的基本教研工具。MathWorks 創建於 1984 年,總部位於美國馬薩諸塞州內蒂克市 (Natick, Massachusetts) ,員工有 2200 多人,分布在 15 個國家/地區。
有關詳細信息,請訪問 www.mathworks.cn。