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

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

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

保證汽車軟件質(zhì)量的必要條件

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

ISO/DIS 26262：

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

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

與專家探討解決方案

如何滿足ISO/DIS 26262等汽車軟件安全認(rèn)證

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

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

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

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

自動進(jìn)行代碼分析以監(jiān)測是否遵守標(biāo)準(zhǔn)

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

在不運(yùn)行軟件的情況下識別運(yùn)行時缺陷

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

合理化的代碼審查

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

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

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

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

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

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

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

Parasoft——領(lǐng)先的自動化測試工具，滿足絕大多數(shù)行業(yè)標(biāo)準(zhǔn)

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

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

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

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

申請Parasoft測試試用