POLYSPACE 工具實現(xiàn)了開發(fā)高質量嵌入式軟件-新品速遞

精品文檔-下載后可編輯POLYSPACE工具實現(xiàn)了開發(fā)高質量嵌入式軟件-新品速遞

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

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

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

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

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

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

“為了證明嵌入式軟件沒有運行時錯誤，質量工程師和管理員需要對軟件質量生命周期的可見性，”MathWorks的技術市場經(jīng)理BrettMurphy說到，”那些用常用的接口來設計支持持續(xù)代碼驗證的軟件質量模型、并測量他們的與關鍵度量元相關的過程的軟件開發(fā)團隊才能夠滿足高質量軟件的正在日益增長的需求?！?/p>

關于MathWorks

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

 &n