當(dāng)前位置:首頁(yè) > 嵌入式 > 嵌入式硬件

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

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

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

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

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

9月2日消息,不造車(chē)的華為或?qū)⒋呱龈蟮莫?dú)角獸公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。

關(guān)鍵字: 阿維塔 塞力斯 華為

倫敦2024年8月29日 /美通社/ -- 英國(guó)汽車(chē)技術(shù)公司SODA.Auto推出其旗艦產(chǎn)品SODA V,這是全球首款涵蓋汽車(chē)工程師從創(chuàng)意到認(rèn)證的所有需求的工具,可用于創(chuàng)建軟件定義汽車(chē)。 SODA V工具的開(kāi)發(fā)耗時(shí)1.5...

關(guān)鍵字: 汽車(chē) 人工智能 智能驅(qū)動(dòng) BSP

北京2024年8月28日 /美通社/ -- 越來(lái)越多用戶希望企業(yè)業(yè)務(wù)能7×24不間斷運(yùn)行,同時(shí)企業(yè)卻面臨越來(lái)越多業(yè)務(wù)中斷的風(fēng)險(xiǎn),如企業(yè)系統(tǒng)復(fù)雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務(wù)連續(xù)性,提升韌性,成...

關(guān)鍵字: 亞馬遜 解密 控制平面 BSP

8月30日消息,據(jù)媒體報(bào)道,騰訊和網(wǎng)易近期正在縮減他們對(duì)日本游戲市場(chǎng)的投資。

關(guān)鍵字: 騰訊 編碼器 CPU

8月28日消息,今天上午,2024中國(guó)國(guó)際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)開(kāi)幕式在貴陽(yáng)舉行,華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。

關(guān)鍵字: 華為 12nm EDA 半導(dǎo)體

8月28日消息,在2024中國(guó)國(guó)際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)上,華為常務(wù)董事、華為云CEO張平安發(fā)表演講稱,數(shù)字世界的話語(yǔ)權(quán)最終是由生態(tài)的繁榮決定的。

關(guān)鍵字: 華為 12nm 手機(jī) 衛(wèi)星通信

要點(diǎn): 有效應(yīng)對(duì)環(huán)境變化,經(jīng)營(yíng)業(yè)績(jī)穩(wěn)中有升 落實(shí)提質(zhì)增效舉措,毛利潤(rùn)率延續(xù)升勢(shì) 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務(wù)引領(lǐng)增長(zhǎng) 以科技創(chuàng)新為引領(lǐng),提升企業(yè)核心競(jìng)爭(zhēng)力 堅(jiān)持高質(zhì)量發(fā)展策略,塑強(qiáng)核心競(jìng)爭(zhēng)優(yōu)勢(shì)...

關(guān)鍵字: 通信 BSP 電信運(yùn)營(yíng)商 數(shù)字經(jīng)濟(jì)

北京2024年8月27日 /美通社/ -- 8月21日,由中央廣播電視總臺(tái)與中國(guó)電影電視技術(shù)學(xué)會(huì)聯(lián)合牽頭組建的NVI技術(shù)創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會(huì)上宣布正式成立。 活動(dòng)現(xiàn)場(chǎng) NVI技術(shù)創(chuàng)新聯(lián)...

關(guān)鍵字: VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長(zhǎng)三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會(huì)上,軟通動(dòng)力信息技術(shù)(集團(tuán))股份有限公司(以下簡(jiǎn)稱"軟通動(dòng)力")與長(zhǎng)三角投資(上海)有限...

關(guān)鍵字: BSP 信息技術(shù)
關(guān)閉
關(guān)閉