當前位置:首頁 > 廠商動態(tài) > IAR
[導讀]在汽車、航空電子、醫(yī)療和工業(yè)控制等眾多行業(yè)中,新開發(fā)的應用在大多數(shù)情況下必須取得相應的功能安全認證。通過所有必要的流程和測試來完成功能安全認證歷來是一個非常困難的過程,但有一些方法有助于加快完成認證的速度。當然,選擇諸如IAR Embedded Workbench這樣本身就獲得了認證,并在多樣化的實際應用中經(jīng)過驗證的開發(fā)工具,也是加快從設計到完成認證過程的方法。

序言

汽車、航空電子、醫(yī)療和工業(yè)控制等眾多行業(yè)中,新開發(fā)的應用在大多數(shù)情況下必須取得相應的功能安全認證。通過所有必要的流程和測試來完成功能安全認證歷來是一個非常困難的過程,但有一些方法有助于加快完成認證的速度。當然,選擇諸如IAR Embedded Workbench這樣本身就獲得了認證,并在多樣化的實際應用中經(jīng)過驗證的開發(fā)工具,也是加快從設計到完成認證過程的方法。

在開發(fā)功能安全型關鍵應用中,開發(fā)人員可以采取多項調整措施來加快認證,然而這一切都依賴于應用的代碼質量。要怎么做代碼質量才能得到保障呢?幸運的是,我們擁有一些簡單的方法來立竿見影地提升代碼質量,并盡可能地減少工作量。

善用標準

您知道嗎,在C99代碼規(guī)范中有大約190個歧義?確切地說,在C99中,有190種語法上合法的C結構,但在C語言規(guī)范中卻沒有得到明確說明。實際上,如果使用最新的C18代碼規(guī)范,情況會變得更糟一些,如果在C++中引入多重繼承和虛擬繼承,將會陷入更為糟糕的局面。編譯器會把源代碼轉變成可執(zhí)行代碼,因此必須對代碼的含義進行解析后才能正確運行。

在實際情況中,開發(fā)人員可能會用到不同的編譯器,它們可能會對源代碼進行不同的解釋。然而,在一個高可靠性的系統(tǒng)中,這將是一個噩夢般的場景,尤其是許多追求功能安全認證的公司一般都會在多個平臺上交叉編譯他們的代碼以方便測試。可以想象,這將嚴重拖慢認證速度,因為您必須針對所有此類情況進行測試,以證明代碼的可重復性和可靠性。

怎樣才能度過這個難關呢?簡單來說,避免代碼歧義即可。但要如何做到這一點呢?開發(fā)人員可以選擇MISRA這樣的編碼標準,該標準經(jīng)設計,可避免常見的代碼歧義。此外,該標準還提倡運用安全可靠的編碼實踐,以減少代碼中的缺陷數(shù)量。有了功能安全標準,問題就能迎刃而解。

功能安全標準涵蓋了代碼分析

幾乎每一個功能安全標準都要求開發(fā)人員對代碼進行靜態(tài)分析,而且還會強烈建議項目團隊對代碼進行運行時(或稱之為動態(tài))分析。其中影響最廣的標準是IEC 61508,在通常意義上它適用于所有安全相關系統(tǒng)。根據(jù)該標準第C.4.2節(jié)的內容,不建議在安全完整性等級(SIL)在1級以上的情況下使用沒有消除歧義和危險行為的編碼標準的C語言。換句話說,如果開發(fā)的產品要獲得SIL 2-4認證,就必須使用靜態(tài)分析來提升代碼的健壯性。

而靜態(tài)分析工具可以強制開發(fā)者實施編碼標準,如MISRA。此外,靜態(tài)和運行時分析可以快速指出有風險的編碼行為,特別是之前提到的編碼標準歧義,因此有助于提高代碼質量。基于這樣的考慮,開發(fā)人員應當更多地選擇諸如IAR Embedded Workbench這類在多樣化應用中得到驗證的工具,它們可以提供更全面的標準化功能。

然而,何時使用這些類型的自動化工具也會對項目的認證時間表產生巨大影響。許多公司組織會使用難以配置、難以使用的代碼分析工具,使其每晚運行在構建服務器上。然而這種工具實際作用有限,因為每個程序開發(fā)者無法得到即時反饋,弄清他們剛寫的代碼究竟有什么問題。

此外,有時這些工具發(fā)出的警告信息本身就晦澀難懂,浪費了開發(fā)者的時間去弄清楚它們的真正含義,以及如何糾正代碼來消除警告。如果能在開發(fā)過程中先運行代碼分析,然后才進入正式構建,那么就可以完美避免代碼缺陷。如此一來,項目代碼缺陷注入率將大幅降低,這正是認證機構非??粗氐闹笜耍驗檫@意味著項目有一個非常成熟的開發(fā)組織。

將代碼分析融入日常工作流程

根據(jù)針對多個行業(yè)里多家公司開展的調研的結果,IAR Systems團隊發(fā)現(xiàn),代碼分析工具的配置和使用越容易,開發(fā)者選用它的幾率就越高,也能更快受益。如果能將這些自動化工具納入到開發(fā)者的工具箱中,那么開發(fā)者就可以在編寫應用時隨時檢查和改進代碼質量,同時在“實地”考察這部分代碼要做什么以及它如何與系統(tǒng)中的其他模塊互動。為了有效地做到這一點,必須將代碼分析工具整合到日常工作流程中。

為了解其他人對集成代碼分析的看法,IAR團隊在查閱資料時發(fā)現(xiàn)谷歌在ACM期刊上發(fā)表了一篇文章,探討了代碼分析的優(yōu)點。雖然文章對他們的整個代碼庫(包括C、C++和Java)進行了全面的考察,但他們的結論非常明確:

“在開發(fā)過程的早期就能發(fā)現(xiàn)編譯器錯誤,并且能夠整合到開發(fā)者的工作流程中。我們發(fā)現(xiàn)擴大編譯器的檢查集合對提高谷歌的代碼質量是有效的?!?

作者表示,把靜態(tài)分析檢查整合到編譯器工作流程并輸出為Error信息,將極大地提高開發(fā)者對工具輸出信息的關注,最終大幅提升代碼質量。再往下看,他們談到了向最近遇到某個編譯器錯誤的開發(fā)者和已經(jīng)收到該錯誤問題的修復補丁的開發(fā)者發(fā)出相同的調研。

“谷歌的開發(fā)者認為,在編譯時標記出錯誤信息(相比于植入代碼檢測功能的補?。┠懿蹲降礁卮蟮腻e誤;例如,調研參與者認為在編譯時標記的問題中的74%屬于真正的問題,而在檢測代碼中發(fā)現(xiàn)的真正問題只有21%?!?

此外,該文章還談到了將代碼分析整合到工作流程的重要性,指出當他們通過靜態(tài)分析工具自動運行提交的代碼并邀請工程師查看分析儀表板時,很少有工程師跟進。但是,如果在編譯過程中就能得到即時反饋,則靜態(tài)分析工具的使用更便捷且分析結果也更難被忽視。因此,他們選擇在每個人的工作流程中默認集成靜態(tài)代碼分析。他們認為要推廣代碼分析工具,開發(fā)者必須感到能從中受益,并且喜歡使用這些工具。

在工作流程中加入代碼分析會得到什么樣的結果?結果之一是提高了應用的整體安全性,因為優(yōu)質代碼可以消除緩沖區(qū)溢出、非法指針等漏洞。雖然這個理由足夠充分,但有時很難讓人們做到“防范于未然”,您需要更顯著的結果來說服開發(fā)者和管理層相信代碼分析的優(yōu)點。

Stefan Wagner等人的一篇論文使用經(jīng)驗數(shù)據(jù)來計算代碼分析工具與傳統(tǒng)測試在不同代碼庫中的優(yōu)劣。他們的結果很有說服力,在769個被識別的缺陷中,76%是被代碼分析工具發(fā)現(xiàn)的,而只有4%被傳統(tǒng)測試發(fā)現(xiàn)(其余20%則在代碼審查時發(fā)現(xiàn))。

如果能在開始測試前就消除75%的缺陷,實現(xiàn)軟件平均故障間隔時間(MTTF)目標能有多快?答案是“非??臁?。僅僅是在測試上節(jié)省的時間和金錢就值得在代碼分析工具上進行投資,更不用說它還能加快上市時間。這些都是功能安全認證機構喜歡看到的流程類型,因為它極大地降低了缺陷進入最終產品的風險。

優(yōu)質代碼加速功能安全認證

加快功能安全認證的關鍵是提高代碼質量。只有提高代碼質量,項目團隊才可以降低缺陷注入率,從而更快地達到軟件發(fā)布標準,這樣在提交給功能安全認證機構認證時,它們才會認為您的組織擁有非常成熟的流程。雖然開發(fā)者永遠無法確切知道一個應用中還有多少缺陷,但通過早期和經(jīng)常使用代碼分析工具將有助于減少其數(shù)量。

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

9月2日消息,不造車的華為或將催生出更大的獨角獸公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。

關鍵字: 阿維塔 塞力斯 華為

加利福尼亞州圣克拉拉縣2024年8月30日 /美通社/ -- 數(shù)字化轉型技術解決方案公司Trianz今天宣布,該公司與Amazon Web Services (AWS)簽訂了...

關鍵字: AWS AN BSP 數(shù)字化

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

關鍵字: 汽車 人工智能 智能驅動 BSP

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

關鍵字: 亞馬遜 解密 控制平面 BSP

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

關鍵字: 騰訊 編碼器 CPU

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

關鍵字: 華為 12nm EDA 半導體

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

關鍵字: 華為 12nm 手機 衛(wèi)星通信

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

關鍵字: 通信 BSP 電信運營商 數(shù)字經(jīng)濟

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

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

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

關鍵字: BSP 信息技術
關閉