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

會議要點

• 安全合規性仍然是與會人員之間討論的首要話題，隨著越來越多的連接設備，安全性已成為一致的主題
• 現在已經在嵌入式軟件開發中建立了Agile和DevOps，但是我們仍然看到團隊努力將現代軟件技術與法規要求保持一致
• 人工智能和機器學習是熱門話題，盡管團隊正在努力測試這些新系統

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

以下是我們在會議上看到和聽到的內容的回顧，特別是與我們的專業知識和工具領域有關的內容。

嵌入式安全狀態

通常，在許多與會者在各個關鍵安全領域開發產品解決方案時，他們首先想到的是軟件安全以及一般的質量問題。安全性與安全性密切相關，圍繞軟件合規性的討論正轉向構建可預測的軟件，因為軟件中不可預測的行為既不安全也不安全，這無疑是積極的趨勢。但是，安全性是首要任務，當然也是重點，安全性是在會議上通過演講進行傳達的，并且幾乎在每個供應商的展位上都可以看到。不過，感覺是很多人沒有在決策中考慮安全隱患，或者不知道如何提高軟件安全性。

缺乏對嵌入式軟件中安全開發的含義的理解。有像SEI CERT這樣的編碼標準已經獲得了廣泛的關注，但是在其他指南（例如OWASP和CWE Top 25）中，如何或何時應用它們尚不確定。此外，仍然存在一種普遍的誤解，認為安全性不是開發人員問題，而更多是網絡問題。但是，由于您無法將安全性修補到產品中，因此需要從一開始就考慮安全性。軟件安全性仍然是嵌入式開發需要改進的領域。

采用DevOps、敏捷Agile和持續集成/部署

采用迭代和連續過程的趨勢持續在嵌入式系統的開發中取得了長足的進步，但是與企業軟件領域中發生的事情相比，這并非沒有阻力。盡管CI/CD在開發生命周期中是眾所周知的，但在嵌入式安全至關重要的領域中，采用敏捷Agile仍然是一個難題。例如，提出了混合方法來克服在這種高度管制的環境中使用敏捷Agile過程的困難。

其他引人入勝的觀察結果涉及支持現代過程和方法論的技術和工具。例如，Linux已成為首選的主機開發平臺，對自動化的需求通常是Linux。同樣，利用持續集成和利用容器的部署正在獲得巨大的吸引力。有趣的是，由于安全性在這些新的開發方法中沒有得到適當的優先考慮，DevSecOps一詞可能不會與與會者一起出現。顯然，仍有機會幫助嵌入式軟件開發團隊將安全保障、安全性（和標準）合并到敏捷Agile流程中。

安全與安保行業標準

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

更加有趣的信息是AUTOSAR C++與MISRA C++的未來合并，以及MISRA組織將來將接管該標準的管理這一事實。在上一篇文章中，我們與內部專家進行了圓桌討論。

通常，在嵌入式系統展（Embedded World）上，與會人員對安全相關編碼標準的認識很高。但是，對于可用的與安全性相關的標準的了解較少，不過SEI CERT似乎是最受認可的。盡管AUTOSAR C++14和MISRA C 2012涵蓋了一些安全性，但開發人員仍對專用標準（如CERT C）感興趣。這是一種積極趨勢，因為它表明了人們在開發代碼時對改善軟件安全性的渴望和動向。

嵌入式軟件中測試自動化的狀態

復雜性、連接性的不斷提高以及對滿足安全性、隱私性和安全性的標準化的不斷增長的要求，加劇了軟件開發的嚴格性，因此毫無疑問，將測試自動化集成到您的組織和應用程序生命周期中是必不可少的。公司意識到他們正在進入市場的競爭中，以贏得市場。選擇最佳的開發環境和測試工具將幫助他們推動競爭。我們注意到許多人已經將Linux用作首選的開發平臺，以幫助進行容量部署和擴展。

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

來自Parasoft的機器學習向導圖1：來自Parasoft的機器學習支持的靜態分析的機器學習向導的示例屏幕截圖

開發人員正在努力解決哪些測試問題？

盡管圍繞質量、安全保障和安全性的問題仍然是首要考慮的問題，但會議期間出現的有趣問題之一是在安全關鍵設備中測試AI和機器學習系統（例如，實現為神經網絡）。安全關鍵軟件依賴于可預測的行為，而這并不是AI系統設計的目的。現在和將來，如何認證AI都將是一個有趣的問題。關于測試AI系統的推薦方法，有很多會議，但尚無標準解決方案。

人工智能的新發展

人工智能是一個熱門話題，主要圍繞自動駕駛系統進行討論。會議上有多個會議涵蓋了人工智能主題和軟件測試自動化方面，Parasoft是唯一宣布新AI功能的供應商（請參閱上面的公告） 。

與合作伙伴的集成更新

Parasoft宣布與Polarion，codeBeamer和Jira進行新的集成，以增強需求可追溯性（以及插入Xira等Jira的測試管理系統。）這些新的雙向數據交換彌合了需求與驗證需求的測試之間的鴻溝， 提供對所開發代碼的完全可追溯性。這些功能符合開發過程標準的要求，例如ISO 26262（汽車）、DO-178B/C（航空）、IEC 62304（醫療設備）和IEC 61508（功能安全）。

所表達的一個普遍問題是用于嵌入式開發的開發環境生態系統是零散的，這導致了對插入許多可用解決方案的工具鏈組件的需求。與會人員，尤其是新項目的參與者，正從一個供應商轉移，從需求管理到編譯器和硬件的一種平臺方法。

總結

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

我們期待明年再次與大家見面。同時，要獲得有關自動測試嵌入式系統的幫助，請。