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

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

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

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

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

ISO/DIS 26262：

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

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

與專(zhuān)家探討解決方案

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

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

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

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

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

自動(dòng)進(jìn)行代碼分析以監(jiān)測(cè)是否遵守標(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》等書(shū)中推薦的以及來(lái)自其它主流源碼的準(zhǔn)則——有助于從使用不當(dāng)?shù)?C/C++ 語(yǔ)言識(shí)別潛在缺陷，實(shí)施最佳編碼實(shí)踐，以及提升代碼的可維護(hù)性和可重用性。

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

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

合理化的代碼審查

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

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

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

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

具有覆蓋率分析的單元及集成測(cè)試

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

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

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

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

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

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

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

申請(qǐng)Parasoft測(cè)試試用