當(dāng)前位置：首頁 > EDA > 電子設(shè)計自動化

MATHWORKS POLYSPACE工具幫助實現(xiàn)嵌入式軟件質(zhì)量目標(biāo)

時間：2010-10-20 10:45:51

手機(jī)看文章

掃描二維碼
隨時隨地手機(jī)看文章

[導(dǎo)讀]MathWorks 日前宣布推出對其 Polyspace 嵌入式代碼驗證產(chǎn)品的改進(jìn)，此類產(chǎn)品可以證明源代碼中不存在某些運行錯誤。 Polyspace新特性包含了指標(biāo)網(wǎng)絡(luò)控制面板（metrics web dashboard）、自動計劃驗證工作、電子郵件通

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

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

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

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

（圖注：使用網(wǎng)絡(luò)瀏覽器，確保在您的軟件開發(fā)生命周期中達(dá)成相應(yīng)的質(zhì)量目標(biāo)）

本站聲明：本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布，目的在于傳遞更多信息，并不代表本站贊同其觀點，本站亦不保證或承諾內(nèi)容真實性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者，如若文章內(nèi)容侵犯您的權(quán)益，請及時聯(lián)系本站刪除。

換一批

皇冠假日酒店創(chuàng)新不止推出沉浸式元宇宙文旅體驗

旅行不設(shè)限商務(wù)亦休閑上海2022年9月21日 /美通社/ -- 近年來，"Bleisure" 休閑商務(wù)旅行的出行模式蔚為風(fēng)潮，越來越多的賓客在商務(wù)出行時愈發(fā)關(guān)注休閑的需求。作為高端商務(wù)...

關(guān)鍵字： BSP 數(shù)字化 SPACE WORKS

[產(chǎn)業(yè)新聞]

金邦達(dá)寶嘉公布2022中期業(yè)績

2022年上半年收入7.1億元同比增長14.5% 嵌入式軟件和安全支付產(chǎn)品發(fā)展勢頭強(qiáng)勁收入同比增長28.7% 香港2022年8月16日 /美通社/ -- 金邦達(dá)寶嘉控股有限公司及其附屬公司（以下合稱“...

關(guān)鍵字：數(shù)字化嵌入式軟件供應(yīng)鏈代碼

[產(chǎn)業(yè)新聞]

富士X-SPACE瑪格南合作展reconnect及新展NEW CONNECTION將赴北京

上海2022年8月11日 /美通社/ -- 8月19日至8月30日，富士X-SPACE策劃的兩個攝影項目將亮相北京798藝術(shù)區(qū)悅·美術(shù)館：瑪格南攝影師Olivia Arthur（奧利維婭·亞瑟...

關(guān)鍵字： CONNECTION SPACE 富士影像

[產(chǎn)業(yè)新聞]

香港大學(xué)SPACE中國商業(yè)學(xué)院 2022年7月開學(xué)典禮精彩回顧

北京2022年7月26日 /美通社/ -- 7月16日，香港大學(xué)SPACE中國商業(yè)學(xué)院（ICB）舉辦主題為「創(chuàng)·贏」的2022年7月開學(xué)典禮。為配合各地疫情的最新情況及防疫政策，本次活動采取線上線下混合模式...

關(guān)鍵字： SPACE IC BSP 微軟

[美通社全球TMT]

富士X-SPACE新展"New Connection" 呈現(xiàn)關(guān)系概念的視覺探索

（全球TMT2022年7月22日訊）由知名策展人何伊寧策劃的"New Connection"于7月22日-8月15日在上海X-SPACE富士影像共享空間與大眾見面，展覽集合了12組青年攝影師和影像藝術(shù)家作品，從更廣博處...

關(guān)鍵字： CONNECTION SPACE 富士影像

[C語言編程]

malloc(0)時程序會返回什么？

來自：知乎，作者：Name1e5s鏈接：https://zhuanlan.zhihu.com/p/40490357故事要從前兩天交流群中一位同學(xué)提到的這個問題開始這個問題看起來十分刁鉆，不過稍有常識的人都知道，制定C標(biāo)準(zhǔn)...

關(guān)鍵字： POINTER RETURN SPACE SYSTEMS

[中興文檔]

您本月剩余流量已不足……

追劇、看直播、刷短視頻……正在沉浸其中的你，突然收到了一條提示短信：“尊敬的用戶，您好！您本月剩余流量已不足……”這條短信是如何形成的？是什么設(shè)備獲取我們的套餐量、統(tǒng)計我們的日常用量，能讓我們在流量不足時及時收到短信通知...

關(guān)鍵字： OV 閾值 PC IC

[ZLG致遠(yuǎn)電子]

周立功：EsDA嵌入式軟件設(shè)計自動化工具

文｜周立功日期｜2021年12月2日ZLG致遠(yuǎn)電子創(chuàng)始人周立功EsDA(EmbededsoftwareDesignAutomation)，全稱是嵌入式軟件設(shè)計自動化，它是一個由多種軟件組成的軟件過程管理和開發(fā)的工具，致力...

關(guān)鍵字：自動化嵌入式軟件 ESD 周立功

[技術(shù)讓夢想更偉大]

面試了3個‘85前’的嵌入式軟件工程師

關(guān)注、星標(biāo)公眾號，直達(dá)精彩內(nèi)容來源：技術(shù)讓夢想更偉大作者：李肖遙最近工作有一部分是面試，當(dāng)然了我們需要一些可以直接上手干活的人，所以就沒有培養(yǎng)新人的計劃，可也沒想到獵頭推薦的幾個人選都是有十幾二十年經(jīng)驗的，沒辦法，只能去...

關(guān)鍵字：嵌入式軟件軟件工程師

[糖果Autosar]

嵌入式軟件架構(gòu)

一感慨近公司新招了一個做嵌入式軟件開發(fā)開發(fā)的童鞋，該童鞋是從上海的某一個上市公司出來的，因為我們這邊人手不夠，因此把他安排了去負(fù)責(zé)一個新產(chǎn)品的研發(fā)，前期讓他負(fù)責(zé)加速度計、NB-IOT、舵機(jī)、外置Flash的功能測試，測試...

關(guān)鍵字：嵌入式軟件