MATHWORKS POLYSPACE工具幫助實現嵌入式軟件質量目標
MathWorks 日前宣布推出對其 Polyspace 嵌入式代碼驗證產品的改進，此類產品可以證明源代碼中不存在某些運行錯誤。 Polyspace新特性包含了 指標網絡控制面板（metrics web dashboard）、自動計劃驗證工作、電子郵件通知以及增強的代碼指標支持，這些新特性使工程師能夠選擇并跟蹤嵌入式軟件質量的指標和閾值。這些改進幫助軟件團隊更好地定義質量目標，并更快地加以實現，以便在汽車、航空、國防以及工業(yè)自動化和機械行業(yè)中得到高完整性應用。
關鍵應用中的嵌入式軟件需要滿足特定的軟件質量目標，這是監(jiān)管指令或企業(yè)驗證流程的一部分。為使軟件團隊能實現這些目標，開發(fā)人員和管理人員需要定義質量目標、評估標準和相關的指標閾值。Polyspace 指標網絡控制面板可幫助軟件開發(fā)人員定義相關的指標和閾值，如：代碼指標、MISRA-C 和運行錯誤指標。它還能在驗證過程中跟蹤這些指標的進展，并能在每次代碼修訂中比較質量上的差異。
開發(fā)高完整性應用程序的另一大難題在于，如果驗證任務沒有得到系統(tǒng)性的執(zhí)行，則會導致代碼質量波動。Polyspace 目前提供了夜間進程和電子郵件系統(tǒng)的集成，幫助實現持續(xù)驗證過程的自動化。工程師可減少手動驗證任務的迭代工作，從而可以專注于更高級別的驗證任務，例如處理使用同一代碼的兩個版本間產生的新問題。
MathWorks 技術市場經理 Brett Murphy 說：“除了驗證嵌入式軟件不存在運行錯誤外，質量工程師和管理人員還需要了解軟件質量生命周期。團隊使用通用界面來設計支持持續(xù)代碼驗證的軟件質量模型，并衡量其與關鍵指標相關的進展，這將能夠滿足人們對高質量軟件日益增長的需求。”
（圖注：使用網絡瀏覽器，確保在您的軟件開發(fā)生命周期中達成相應的質量目標）
下載文檔上海2022年8月11日 /美通社/ -- 8月19日至8月30日，富士X-SPACE策劃的兩個攝影項目將亮相北京798藝術區(qū)悅·美術館：瑪格南攝影師Olivia Arthur（奧利維婭·亞瑟...
關鍵字： CONNECTION SPACE 富士 影像（全球TMT2022年7月22日訊）由知名策展人何伊寧策劃的"New Connection"于7月22日-8月15日在上海X-SPACE富士影像共享空間與大眾見面，展覽集合了12組青年攝影師和影像藝術家作品，從更廣博處...
關鍵字： CONNECTION SPACE 富士 影像一感慨近公司新招了一個做嵌入式軟件開發(fā)開發(fā)的童鞋，該童鞋是從上海的某一個上市公司出來的，因為我們這邊人手不夠，因此把他安排了去負責一個新產品的研發(fā)，前期讓他負責加速度計、NB-IOT、舵機、外置Flash的功能測試，測試...
關鍵字： 嵌入式軟件
