如今，汽車制造商正面臨著新技術帶來的軟件挑戰(zhàn)。隨著智能駕駛、新能源汽車和車聯(lián)網等技術的飛速發(fā)展，“軟件定義汽車”已是大勢所趨。安全性將成為未來汽車開發(fā)中的一個關鍵因素。

一個例子是自動駕駛和汽車網絡與智能城市中的其他智能設備進行通信，需要轉達官方停車規(guī)則、速度限制和其他動態(tài)交通變化，包括道路關閉、交通堵塞和改道。

隨著汽車行業(yè)從運輸行業(yè)向技術行業(yè)的轉變，數(shù)據(jù)的可靠性、安全性和質量是至關重要的。

保證汽車軟件質量的必要條件

隨著復雜性增強、軟件內容以及機電層面實現(xiàn)的趨勢，系統(tǒng)化的失效以及隨機硬件失效的風險有顯著增加的趨勢。通過提供可行的需求以及流程，ISO/DIS 26262 包含了能夠將這些風險降低到可接受程度的指南。

ISO/DIS 26262：

• 提供汽車安全生命周期（管理、開發(fā)、生產、操作、服務、停運），并且支持在這些生命周期的各個階段中對這些事件進行剪裁；
  
• 提供汽車專用的、基于風險的方法來判定風險的種類（汽車安全完整性級別——ASIL）；
  
• 使用 ASIL 來指定相應器件必需符合的可接受的駐留風險級別的安全性需求；
  
• 并且提供驗證以及確認措施的需求以確保滿足了充分和可接受的安全性級別。

>>下載ISO 26262合規(guī)性白皮書

與專家探討解決方案

如何滿足ISO/DIS 26262等汽車軟件安全認證

針對包括產品開發(fā)初始階段所處的軟件級別的需求、軟件安全性需求的說明、軟件架構設計、軟件單元設計以及實現(xiàn)、軟件單元測試、軟件集成和測試以及軟件安全性需求的驗證。Parasoft c++test提供代碼級解決方案，實現(xiàn)：

• 靜態(tài)分析 —— 靜態(tài)代碼分析，數(shù)據(jù)流靜態(tài)分析以及度量指標分析 同行代碼
• 審查流程自動化——準備、提示以及追蹤
  
• 單元測試——單元測試創(chuàng)建、執(zhí)行、優(yōu)化以及維護
  
• 運行時錯誤檢測——內存訪問錯誤、泄漏、崩潰以及其它

這為開發(fā)團隊提供了一種實際的方式來預防、發(fā)現(xiàn)以及糾正相關的錯誤，從而確保其 C 以及C++代碼如預期般工作。為了促進快速修復，每個檢測到的問題都基于可配置的嚴重級別分配進行排序，并自動分發(fā)到相應代碼的開發(fā)者處，同時分配到他或她的 IDE 環(huán)境中，并配以該問題代碼處的直接鏈接以及如何修正該問題的描述。

對于嵌入式以及交叉平臺開發(fā)而言，C++test 可以同時用在基于宿主機以及基于目標平臺的代碼分析以及測試流程中。

自動進行代碼分析以監(jiān)測是否遵守標準

數(shù)百條的內建規(guī)則——包括 MISRA、MISRA 2004、全新的 MISRA C++標準的實現(xiàn)，HIS 源 碼度量指標、Meyer 在《Effective C++》以及《Effective STL》等書中推薦的以及來自其它主流源碼的準則——有助于從使用不當?shù)?C/C++ 語言識別潛在缺陷，實施最佳編碼實踐，以及提升代碼的可維護性和可重用性。

在不運行軟件的情況下識別運行時缺陷

C++test 先進的數(shù)據(jù)流靜態(tài)分析模塊，BugDetective 能模擬可行的應用程序執(zhí)行路徑— —這些路徑可能會跨越多個函數(shù)和文件——并判斷這些路徑是否會觸發(fā)特定類別的運行時缺陷。

合理化的代碼審查

提交后代碼審查：該模式是通過自定義的源碼控制器接口來自動識別代碼庫中的代碼更改而實現(xiàn)的，并基于預設的更改代碼與審查者的映射關系創(chuàng)建代碼審查任務。

提交前代碼審查：用戶可以在桌面上選擇某一文件集并分配到審查者進行審查，或者自動地檢測所有本地更改源代碼的方式來初始化代碼審查。

監(jiān)測應用程序以發(fā)現(xiàn)內存問題

• 通過簡單的功能測試查找復雜的內存相關問題——例如內存泄漏、空指針、未初始化內存以及緩沖溢出等
  
• 通過應用程序運行來收集代碼覆蓋率
  
• 通過在真實目標環(huán)境中執(zhí)行被監(jiān)測的應用程序來提升測試結果的精確性

具有覆蓋率分析的單元及集成測試

C++test 的自動化能力極大地提升了測試新開發(fā)或既有代碼的正確性和可靠性的效率。 C++test 自動地生成完整的測試套件，包括測試驅動以及用于各個獨立函數(shù)的測試用例，這些測試套件都是以類似 CppUnit 格式的純 C 或 C++代碼的形式提供的。

這些測試套件，無論是否進行修改，都可以用于對代碼的功能行為進行初始化驗證。通過使用邊界用例條件，這些自動生成的測試用例同樣能檢測函數(shù)對未預期輸入的相應狀況，從而發(fā)現(xiàn)潛在的可靠性問題。

Parasoft——領先的自動化測試工具，滿足絕大多數(shù)行業(yè)標準

Parasoft是一家專門提供軟件測試解決方案的公司，幫助企業(yè)打造無缺陷的軟件。

從開發(fā)到質量檢查，Parasoft的技術通過集成靜態(tài)和運行時分析，單元、功能和API測試，以及服務虛擬化，在不犧牲質量和安全性的情況下加快軟件交付，節(jié)約交付成本。

強大的報告和分析功能可幫助用戶快速查明有風險的代碼區(qū)域，并了解新代碼更改如何影響其軟件質量，而突破性的技術將人工智能和機器學習添加到軟件測試中，使組織更容易采用和擴展跨開發(fā)和測試團隊的有效的軟件測試實踐。

Parasoft針對C/C++、Java、.NET和嵌入式的開發(fā)測試都有著30多年的深入研究，很多全國500強企業(yè)使用Parasoft的產品實現(xiàn)了軟件快速、高質量的交付。

申請Parasoft測試試用