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))
上海2022年8月11日 /美通社/ -- 8月19日至8月30日,富士X-SPACE策劃的兩個攝影項目將亮相北京798藝術(shù)區(qū)悅·美術(shù)館:瑪格南攝影師Olivia Arthur(奧利維婭·亞瑟...
關(guān)鍵字: CONNECTION SPACE 富士 影像(全球TMT2022年7月22日訊)由知名策展人何伊寧策劃的"New Connection"于7月22日-8月15日在上海X-SPACE富士影像共享空間與大眾見面,展覽集合了12組青年攝影師和影像藝術(shù)家作品,從更廣博處...
關(guān)鍵字: CONNECTION SPACE 富士 影像一感慨近公司新招了一個做嵌入式軟件開發(fā)開發(fā)的童鞋,該童鞋是從上海的某一個上市公司出來的,因為我們這邊人手不夠,因此把他安排了去負(fù)責(zé)一個新產(chǎn)品的研發(fā),前期讓他負(fù)責(zé)加速度計、NB-IOT、舵機(jī)、外置Flash的功能測試,測試...
關(guān)鍵字: 嵌入式軟件