ADAS系統(tǒng)在軟件定義汽車中承擔(dān)著關(guān)鍵任務(wù),但其復(fù)雜度與安全風(fēng)險(xiǎn)同樣高企。面對(duì)功能安全、實(shí)時(shí)性能、法規(guī)適配等多重要求,靜態(tài)代碼分析正在成為開(kāi)發(fā)團(tuán)隊(duì)的可靠工具。
這家航空電子公司專注于開(kāi)發(fā)符合DO-178C標(biāo)準(zhǔn)的航空電子系統(tǒng),涵蓋飛機(jī)態(tài)勢(shì)感知、無(wú)線電與音頻管理、數(shù)據(jù)采集及機(jī)載計(jì)算機(jī)系統(tǒng)等領(lǐng)域。在軟件開(kāi)發(fā)中,引入了Parasoft C/C++test——一套用于靜態(tài)代碼分析、單元測(cè)試和覆蓋度驗(yàn)證的自動(dòng)化測(cè)試平臺(tái),以確保代碼符合DO-178C等航空安全標(biāo)準(zhǔn)。
在單元測(cè)試中,一個(gè)常見(jiàn)的挑戰(zhàn)是如何對(duì)依賴于標(biāo)準(zhǔn)輸入、輸出和錯(cuò)誤流的函數(shù)進(jìn)行有效測(cè)試。一個(gè)函數(shù)可能通過(guò)printf向控制臺(tái)打印信息,或通過(guò)scanf從用戶獲取輸入。在自動(dòng)化測(cè)試環(huán)境中,我們無(wú)法進(jìn)行人工交互,因此需要一種方法來(lái)模擬這些輸入并捕獲輸出,以便進(jìn)行驗(yàn)證。
Parasoft C/C++test 是一款專業(yè)的自動(dòng)化軟件測(cè)試工具,為嵌入式開(kāi)發(fā)提供高質(zhì)量的代碼保障。覆蓋了靜態(tài)分析、單元測(cè)試與運(yùn)行時(shí)錯(cuò)誤檢測(cè)等多個(gè)關(guān)鍵環(huán)節(jié),能夠與 IAR 開(kāi)發(fā)工具有效互補(bǔ),共同提升代碼質(zhì)量。二者在嵌入式、消費(fèi)電子及工業(yè)控制領(lǐng)域應(yīng)用很廣泛。
在使用Parasoft C/C++test進(jìn)行靜態(tài)代碼分析時(shí),可能會(huì)遇到工具未實(shí)際檢查任何文件的狀況。該問(wèn)題通常與構(gòu)建配置或文件包含范圍相關(guān)?;诔R?jiàn)應(yīng)用場(chǎng)景,系統(tǒng)梳理了五種可能導(dǎo)致此問(wèn)題的原因及其解決方案,幫助開(kāi)發(fā)團(tuán)隊(duì)快速定位和解決此類問(wèn)題,確保代碼質(zhì)量檢測(cè)工作的順利開(kāi)展。
面對(duì)日益復(fù)雜的應(yīng)用程序架構(gòu)和快速交付的市場(chǎng)需求,傳統(tǒng) Web UI 測(cè)試正逐漸暴露出瓶頸。我們建議通過(guò)構(gòu)建以 API 測(cè)試為核心的精益測(cè)試策略,實(shí)現(xiàn)更高效、低維護(hù)成本的質(zhì)量保障流程。
RISC-V官方近日宣布,首款采用Vector 1.0架構(gòu)的商用芯片K230已經(jīng)正式實(shí)現(xiàn)量產(chǎn),這標(biāo)志著RISC-V生態(tài)在高端芯片領(lǐng)域邁出重要一步;隨著芯片產(chǎn)品的規(guī)模化應(yīng)用,相應(yīng)的軟件測(cè)試需求也日益凸顯,Parasoft適時(shí)推出支持RISC-V環(huán)境的完整軟件自動(dòng)化測(cè)試解決方案,幫助芯片廠商和開(kāi)發(fā)者應(yīng)對(duì)功能安全認(rèn)證挑戰(zhàn),提升代碼質(zhì)量與可靠性。
在AndeSight開(kāi)發(fā)環(huán)境中集成Parasoft C/C++test,以實(shí)現(xiàn)對(duì)基于AndesCore處理器的嵌入式項(xiàng)目進(jìn)行高效的靜態(tài)代碼分析和單元測(cè)試。按照下面步驟操作,開(kāi)發(fā)團(tuán)隊(duì)可以系統(tǒng)性地將代碼質(zhì)量保障實(shí)踐嵌入開(kāi)發(fā)流程,及早發(fā)現(xiàn)潛在缺陷與違規(guī)代碼,提升軟件可靠性,并為滿足功能安全標(biāo)準(zhǔn)(如ISO 26262)的認(rèn)證要求奠定堅(jiān)實(shí)基礎(chǔ)。
聯(lián)發(fā)科技股份有限公司,以其在無(wú)線通訊及數(shù)字多媒體等半導(dǎo)體芯片技術(shù)領(lǐng)域的創(chuàng)新成果而著稱。作為全球的IC設(shè)計(jì)巨擘,聯(lián)發(fā)科總部坐落于中國(guó)臺(tái)灣,并以其前瞻性的視野,在全球多個(gè)國(guó)家和地區(qū)設(shè)立了銷售及研發(fā)團(tuán)隊(duì),致力于提供卓越的芯片整合系統(tǒng)解決方案,以滿足日益增長(zhǎng)的市場(chǎng)需求。公司高度重視軟件測(cè)試與質(zhì)量驗(yàn)證,通過(guò)完善的自動(dòng)化測(cè)試流程保障其芯片設(shè)計(jì)與軟件集成的可靠性與高性能,以滿足日益增長(zhǎng)的市場(chǎng)需求。
Parasoft C/C++test是一款強(qiáng)大的軟件測(cè)試工具,專門為C和C++語(yǔ)言開(kāi)發(fā)提供全面的代碼質(zhì)量保障解決方案,對(duì)于使用CMake構(gòu)建系統(tǒng)的項(xiàng)目,C/C++test從2020.1版本開(kāi)始提供了專門的支持,簡(jiǎn)化了測(cè)試配置流程,使開(kāi)發(fā)人員能夠更高效地集成自動(dòng)化測(cè)試到他們的開(kāi)發(fā)工作流中。