2018 年，沃爾沃汽車(chē)開(kāi)始為嵌入式軟件開(kāi)發(fā)團(tuán)隊(duì)提供持續(xù)集成 （CI） 工具鏈。該工具鏈為很多項(xiàng)目的開(kāi)發(fā)人員帶來(lái)了持續(xù)編譯、測(cè)試和部署迭代代碼更改的能力。

Polyspace 產(chǎn)品作為這一自動(dòng)化軟件編譯流程的一部分，為用 C 和 C++ 編寫(xiě)代碼的開(kāi)發(fā)人員以及從 Simulink 模型生成代碼的開(kāi)發(fā)人員提供了靜態(tài)代碼檢查。

“幾年前，我們的一個(gè)大型項(xiàng)目開(kāi)始采用 C++ 進(jìn)行開(kāi)發(fā)，”沃爾沃高級(jí)首席軟件工程師 Johannes Foufas 說(shuō)?！癈++ 是一種復(fù)雜的語(yǔ)言，所以我們需要可靠的代碼驗(yàn)證工具。在我們嘗試過(guò)的所有靜態(tài)代碼分析工具中，Polyspace 產(chǎn)品是最為出色的產(chǎn)品之一?！?/p>

沃爾沃汽車(chē)在整個(gè)開(kāi)發(fā)生命周期中使用 Polyspace 進(jìn)行靜態(tài)代碼檢查。

“借助 Polyspace，我們可以在每次代碼合并之前識(shí)別并修復(fù)關(guān)鍵的運(yùn)行時(shí)錯(cuò)誤，從而確保軟件的安全性和質(zhì)量?！?/p>

—— Johannes Foufas，沃爾沃汽車(chē)公司

挑戰(zhàn)

許多沃爾沃汽車(chē)軟件工程師用 C 或 C++ 進(jìn)行開(kāi)發(fā)，但這些語(yǔ)言頗為復(fù)雜，可能導(dǎo)致難以發(fā)現(xiàn)的錯(cuò)誤，修復(fù)成本也很高。在過(guò)去，沃爾沃汽車(chē)使用開(kāi)源工具來(lái)檢查和調(diào)試代碼。然而，這些工具都無(wú)法識(shí)別源代碼中的一個(gè)下溢錯(cuò)誤，而該錯(cuò)誤導(dǎo)致了車(chē)輛上出現(xiàn)偶發(fā)問(wèn)題。

為了節(jié)省開(kāi)發(fā)時(shí)間和成本并符合功能安全和網(wǎng)絡(luò)安全標(biāo)準(zhǔn)，沃爾沃團(tuán)隊(duì)需要一種萬(wàn)無(wú)一失的方法來(lái)識(shí)別穩(wěn)健性測(cè)試很難檢測(cè)出來(lái)的關(guān)鍵運(yùn)行時(shí)錯(cuò)誤，包括溢出和其他數(shù)值問(wèn)題。

解決方案

Johannes Foufas 的團(tuán)隊(duì)評(píng)估了多種代碼分析工具和服務(wù)，最終選擇了 Polyspace 產(chǎn)品作為首選解決方案。沃爾沃汽車(chē)軟件工程師與 MathWorks Consulting Services 密切合作，將 Polyspace 工具集成到了軟件開(kāi)發(fā)生命周期的每個(gè)階段。

工程師使用 Ansible 將 Polyspace 作為基礎(chǔ)作業(yè)整合到 Zuul CI 系統(tǒng)中，并將 Polyspace 的結(jié)果集成到代碼審查系統(tǒng)中。沃爾沃汽車(chē)的每個(gè)開(kāi)發(fā)團(tuán)隊(duì)都可以創(chuàng)建一個(gè)單獨(dú)的已安裝和配置 Polyspace 代碼檢查的 CI 管道。

借助 Polyspace Access 提供的 Polyspace as You Code 插件，很多團(tuán)隊(duì)都會(huì)在使用 IDE 編碼時(shí)檢查代碼是否符合 CERT C、CERT C++、MISRA C 和 AUTOSAR C++14 編碼規(guī)范。在提交代碼修改之前，開(kāi)發(fā)人員在本地計(jì)算機(jī)上運(yùn)行 Polyspace Bug Finder 和 Polyspace Code Prover 以對(duì)更改進(jìn)行預(yù)驗(yàn)證。

當(dāng)開(kāi)發(fā)人員將更改推送到源代碼存儲(chǔ)庫(kù)時(shí)會(huì)自動(dòng)觸發(fā) Polyspace Bug Finder Server 和 Polyspace Code Prover Server 分析。Polyspace 的結(jié)果會(huì)集成到 Gerrit 中以支持代碼審查。CI 系統(tǒng)采用嚴(yán)格的控制措施：每項(xiàng)建議的更改在代碼合并之前都要經(jīng)過(guò)驗(yàn)證，并且僅在滿足功能安全和網(wǎng)絡(luò)安全要求的情況下才會(huì)提示提交到中央 Git 存儲(chǔ)庫(kù)中。

結(jié)果

現(xiàn)場(chǎng)測(cè)試前就檢測(cè)到了關(guān)鍵運(yùn)行時(shí)錯(cuò)誤。

Foufas 說(shuō)，“在現(xiàn)場(chǎng)發(fā)現(xiàn)軟件缺陷需要很高的成本才能修復(fù)。Polyspace Code Prover 是唯一一款能夠讓我們從一開(kāi)始就發(fā)現(xiàn)問(wèn)題的工具。”

通過(guò)更好的代碼重用提高了工作效率。

Foufas 指出，“Polyspace 節(jié)省了開(kāi)發(fā)時(shí)間。自從我們?cè)诨A(chǔ)軟件上部署了 Polyspace 靜態(tài)代碼分析工具，基于現(xiàn)有代碼的新項(xiàng)目的調(diào)試問(wèn)題就大幅減少了?！?/p>

ASPICE、ISO 26262 和 ISO/SAE 21434 認(rèn)證要求達(dá)成。

“不符合行業(yè)標(biāo)準(zhǔn)的軟件會(huì)直接影響公司的聲譽(yù)和市場(chǎng)份額。借助 Polyspace 工具，我們更加確信我們的代碼沒(méi)有運(yùn)行時(shí)錯(cuò)誤，并且符合功能安全和網(wǎng)絡(luò)安全要求?！盕oufas 說(shuō)。

審核編輯 ：李倩