中國自動化學會專家咨詢工作委員會指定宣傳媒體
新聞詳情
gkongbbs

MATHWORKS POLYSPACE 工具幫助開發(fā)團隊實現(xiàn)嵌入式軟件質量目標

http://m.casecurityhq.com 2010-10-21 10:53 來源:MathWorks 公司

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

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

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

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

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

   關于 MathWorks

  MathWorks 公司是數(shù)學計算軟件領域世界領先的開發(fā)商。它所推出的 MATLAB 是一種用于算法開發(fā)、數(shù)據分析、可視化和數(shù)值計算的程序設計環(huán)境,稱為“科學計算的語言”。Simulink 是一種圖形環(huán)境,可用于對多領域動態(tài)系統(tǒng)和嵌入式系統(tǒng)進行仿真和模型化設計。全球的工程師和科學家們都依賴于MathWorks 公司所提供的這些產品家族,來加快在汽車、航空、電子、金融服務、生物醫(yī)藥以及其他行業(yè)的發(fā)明、創(chuàng)新及開發(fā)的步伐。MathWorks 產品也是全球眾多大學和學術機構的基本教研工具。MathWorks 創(chuàng)建于 1984 年,總部位于美國馬薩諸塞州內蒂克市 (Natick, Massachusetts) ,員工有 2200 多人,分布在 15 個國家/地區(qū)。

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

版權所有 中華工控網 Copyright?2024 Gkong.com, All Rights Reserved