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