2020年德國(guó)嵌入式系統(tǒng)展（Embedded World 2020）精彩回顧

---

參加在紐倫堡舉行的嵌入式展覽會(huì)（Embedded World Conference）的Parasoft團(tuán)隊(duì)返回了他們的觀察結(jié)果。盡管考慮到COVID-19病毒在世界范圍內(nèi)的傳播，出席率低于正常水平，但仍有大量討論和會(huì)議在進(jìn)行。

會(huì)議要點(diǎn)

• 安全合規(guī)性仍然是與會(huì)人員之間討論的首要話題，隨著越來(lái)越多的連接設(shè)備，安全性已成為一致的主題
• 現(xiàn)在已經(jīng)在嵌入式軟件開發(fā)中建立了Agile和DevOps，但是我們?nèi)匀豢吹綀F(tuán)隊(duì)努力將現(xiàn)代軟件技術(shù)與法規(guī)要求保持一致
• 人工智能和機(jī)器學(xué)習(xí)是熱門話題，盡管團(tuán)隊(duì)正在努力測(cè)試這些新系統(tǒng)

我們也有一些合作伙伴分享了一些令人振奮的消息。總而言之，這次會(huì)議很棒。

以下是我們?cè)跁?huì)議上看到和聽到的內(nèi)容的回顧，特別是與我們的專業(yè)知識(shí)和工具領(lǐng)域有關(guān)的內(nèi)容。

嵌入式安全狀態(tài)

 通常，在許多與會(huì)者在各個(gè)關(guān)鍵安全領(lǐng)域開發(fā)產(chǎn)品解決方案時(shí)，他們首先想到的是軟件安全以及一般的質(zhì)量問(wèn)題。安全性與安全性密切相關(guān)，圍繞軟件合規(guī)性的討論正轉(zhuǎn)向構(gòu)建可預(yù)測(cè)的軟件，因?yàn)檐浖胁豢深A(yù)測(cè)的行為既不安全也不安全，這無(wú)疑是積極的趨勢(shì)。但是，安全性是首要任務(wù)，當(dāng)然也是重點(diǎn)，安全性是在會(huì)議上通過(guò)演講進(jìn)行傳達(dá)的，并且?guī)缀踉诿總€(gè)供應(yīng)商的展位上都可以看到。不過(guò)，感覺(jué)是很多人沒(méi)有在決策中考慮安全隱患，或者不知道如何提高軟件安全性。

缺乏對(duì)嵌入式軟件中安全開發(fā)的含義的理解。有像SEI CERT這樣的編碼標(biāo)準(zhǔn)已經(jīng)獲得了廣泛的關(guān)注，但是在其他指南（例如OWASP和CWE Top 25）中，如何或何時(shí)應(yīng)用它們尚不確定。此外，仍然存在一種普遍的誤解，認(rèn)為安全性不是開發(fā)人員問(wèn)題，而更多是網(wǎng)絡(luò)問(wèn)題。但是，由于您無(wú)法將安全性修補(bǔ)到產(chǎn)品中，因此需要從一開始就考慮安全性。軟件安全性仍然是嵌入式開發(fā)需要改進(jìn)的領(lǐng)域。

采用DevOps、敏捷Agile和持續(xù)集成/部署

采用迭代和連續(xù)過(guò)程的趨勢(shì)持續(xù)在嵌入式系統(tǒng)的開發(fā)中取得了長(zhǎng)足的進(jìn)步，但是與企業(yè)軟件領(lǐng)域中發(fā)生的事情相比，這并非沒(méi)有阻力。盡管CI/CD在開發(fā)生命周期中是眾所周知的，但在嵌入式安全至關(guān)重要的領(lǐng)域中，采用敏捷Agile仍然是一個(gè)難題。例如，提出了混合方法來(lái)克服在這種高度管制的環(huán)境中使用敏捷Agile過(guò)程的困難。

 其他引人入勝的觀察結(jié)果涉及支持現(xiàn)代過(guò)程和方法論的技術(shù)和工具。例如，Linux已成為首選的主機(jī)開發(fā)平臺(tái)，對(duì)自動(dòng)化的需求通常是Linux。同樣，利用持續(xù)集成和利用容器的部署正在獲得巨大的吸引力。有趣的是，由于安全性在這些新的開發(fā)方法中沒(méi)有得到適當(dāng)?shù)膬?yōu)先考慮，DevSecOps一詞可能不會(huì)與與會(huì)者一起出現(xiàn)。顯然，仍有機(jī)會(huì)幫助嵌入式軟件開發(fā)團(tuán)隊(duì)將安全保障、安全性（和標(biāo)準(zhǔn)）合并到敏捷Agile流程中。

安全與安保行業(yè)標(biāo)準(zhǔn)

嵌入式系統(tǒng)展（Embedded World）今年關(guān)于標(biāo)準(zhǔn)的最大新聞是MISRA委員會(huì)宣布發(fā)布MISRA C:2012（修訂版2）。該修訂版中最重要的部分涉及C語(yǔ)言的2011年和2018年版本的使用以及每種語(yǔ)言中使用新功能的指南。MISRA Compliance:2020也有更新，概述了聲稱符合標(biāo)準(zhǔn)的過(guò)程。Parasoft宣布我們立即支持MISRA C:2012（修訂版2）（查看：備受期待的MISRA C:2012（修訂版2）現(xiàn)已發(fā)布）。

更加有趣的信息是AUTOSAR C++與MISRA C++的未來(lái)合并，以及MISRA組織將來(lái)將接管該標(biāo)準(zhǔn)的管理這一事實(shí)。在上一篇文章中，我們與內(nèi)部專家進(jìn)行了圓桌討論。

 通常，在嵌入式系統(tǒng)展（Embedded World）上，與會(huì)人員對(duì)安全相關(guān)編碼標(biāo)準(zhǔn)的認(rèn)識(shí)很高。但是，對(duì)于可用的與安全性相關(guān)的標(biāo)準(zhǔn)的了解較少，不過(guò)SEI CERT似乎是最受認(rèn)可的。盡管AUTOSAR C++14和MISRA C 2012涵蓋了一些安全性，但開發(fā)人員仍對(duì)專用標(biāo)準(zhǔn)（如CERT C）感興趣。這是一種積極趨勢(shì)，因?yàn)樗砻髁巳藗冊(cè)陂_發(fā)代碼時(shí)對(duì)改善軟件安全性的渴望和動(dòng)向。

嵌入式軟件中測(cè)試自動(dòng)化的狀態(tài)

復(fù)雜性、連接性的不斷提高以及對(duì)滿足安全性、隱私性和安全性的標(biāo)準(zhǔn)化的不斷增長(zhǎng)的要求，加劇了軟件開發(fā)的嚴(yán)格性，因此毫無(wú)疑問(wèn)，將測(cè)試自動(dòng)化集成到您的組織和應(yīng)用程序生命周期中是必不可少的。公司意識(shí)到他們正在進(jìn)入市場(chǎng)的競(jìng)爭(zhēng)中，以贏得市場(chǎng)。選擇最佳的開發(fā)環(huán)境和測(cè)試工具將幫助他們推動(dòng)競(jìng)爭(zhēng)。我們注意到許多人已經(jīng)將Linux用作首選的開發(fā)平臺(tái)，以幫助進(jìn)行容量部署和擴(kuò)展。

在這個(gè)市場(chǎng)競(jìng)爭(zhēng)中，遵守功能安全標(biāo)準(zhǔn)非常重要，這意味著需要進(jìn)行自動(dòng)化的驗(yàn)證和確認(rèn)。合規(guī)性適用于在軟件開發(fā)生命周期中發(fā)揮作用的其他嵌入式軟件工具供應(yīng)商，因此他們也希望將測(cè)試自動(dòng)化集成到其解決方案中。這場(chǎng)比賽還推動(dòng)了市場(chǎng)上最好的測(cè)試自動(dòng)化領(lǐng)導(dǎo)者的創(chuàng)新。不用太夸張自己的號(hào)角，Parasoft是為數(shù)不多的在展會(huì)上宣布創(chuàng)新的供應(yīng)商之一。在嵌入式系統(tǒng)展（Embedded World）期間，我們宣布了新的AI和機(jī)器學(xué)習(xí)增強(qiáng)了靜態(tài)分析功能，并在Parasoft C/C++test和Jtest中進(jìn)行了改進(jìn)，以擴(kuò)大結(jié)構(gòu)覆蓋范圍，從單元測(cè)試到針對(duì)C/C++和Java的高級(jí)代碼分析。這減輕了ISO 26262（汽車）、DO-178B/C（航空）、IEC 62304（醫(yī)療設(shè)備）、IEC 61508（功能安全）和EN 50128（導(dǎo)軌）等標(biāo)準(zhǔn)所需的測(cè)試工作負(fù)擔(dān)。

來(lái)自Parasoft的機(jī)器學(xué)習(xí)向?qū)D1：來(lái)自Parasoft的機(jī)器學(xué)習(xí)支持的靜態(tài)分析的機(jī)器學(xué)習(xí)向?qū)У氖纠聊唤貓D

開發(fā)人員正在努力解決哪些測(cè)試問(wèn)題？

盡管圍繞質(zhì)量、安全保障和安全性的問(wèn)題仍然是首要考慮的問(wèn)題，但會(huì)議期間出現(xiàn)的有趣問(wèn)題之一是在安全關(guān)鍵設(shè)備中測(cè)試AI和機(jī)器學(xué)習(xí)系統(tǒng)（例如，實(shí)現(xiàn)為神經(jīng)網(wǎng)絡(luò)）。安全關(guān)鍵軟件依賴于可預(yù)測(cè)的行為，而這并不是AI系統(tǒng)設(shè)計(jì)的目的。現(xiàn)在和將來(lái)，如何認(rèn)證AI都將是一個(gè)有趣的問(wèn)題。關(guān)于測(cè)試AI系統(tǒng)的推薦方法，有很多會(huì)議，但尚無(wú)標(biāo)準(zhǔn)解決方案。

人工智能的新發(fā)展

人工智能是一個(gè)熱門話題，主要圍繞自動(dòng)駕駛系統(tǒng)進(jìn)行討論。會(huì)議上有多個(gè)會(huì)議涵蓋了人工智能主題和軟件測(cè)試自動(dòng)化方面，Parasoft是唯一宣布新AI功能的供應(yīng)商（請(qǐng)參閱上面的公告） 。

與合作伙伴的集成更新

Parasoft宣布與Polarion，codeBeamer和Jira進(jìn)行新的集成，以增強(qiáng)需求可追溯性（以及插入Xira等Jira的測(cè)試管理系統(tǒng)。）這些新的雙向數(shù)據(jù)交換彌合了需求與驗(yàn)證需求的測(cè)試之間的鴻溝， 提供對(duì)所開發(fā)代碼的完全可追溯性。這些功能符合開發(fā)過(guò)程標(biāo)準(zhǔn)的要求，例如ISO 26262（汽車）、DO-178B/C（航空）、IEC 62304（醫(yī)療設(shè)備）和IEC 61508（功能安全）。

 所表達(dá)的一個(gè)普遍問(wèn)題是用于嵌入式開發(fā)的開發(fā)環(huán)境生態(tài)系統(tǒng)是零散的，這導(dǎo)致了對(duì)插入許多可用解決方案的工具鏈組件的需求。與會(huì)人員，尤其是新項(xiàng)目的參與者，正從一個(gè)供應(yīng)商轉(zhuǎn)移，從需求管理到編譯器和硬件的一種平臺(tái)方法。

總結(jié)

總而言之，Embedded World 2020是一個(gè)很棒的會(huì)議，其中包括與客戶和合作伙伴的許多精彩討論。總的趨勢(shì)是首先關(guān)注安全性，但是人們對(duì)安全保障與安全性之間的關(guān)系的了解越來(lái)越多。Parasoft發(fā)布了一些重要聲明，內(nèi)容涉及AI驅(qū)動(dòng)的測(cè)試覆蓋率分析以及對(duì)最新MISRA修訂的支持。總體而言，在應(yīng)用程序和工具方面的人工智能仍然是一個(gè)有趣的討論領(lǐng)域，并且在將來(lái)仍將如此。

我們期待明年再次與大家見面。同時(shí)，要獲得有關(guān)自動(dòng)測(cè)試嵌入式系統(tǒng)的幫助，請(qǐng)。