2023年2月24日，國(guó)際獨(dú)立第三方檢測(cè)、檢驗(yàn)和認(rèn)證機(jī)構(gòu)德國(guó)萊茵TüV集團(tuán)為中移智行網(wǎng)絡(luò)科技有限公司（以下簡(jiǎn)稱“中移智行”）頒布了A-SPICE L3和ISO26262功能安全產(chǎn)品ASIL B認(rèn)證證書(shū)，標(biāo)志著中移智行在軟件質(zhì)量體系管理和產(chǎn)品技術(shù)方面走在行業(yè)前端，滿足國(guó)際標(biāo)準(zhǔn)要求。

>>點(diǎn)擊獲取Parasoft C/C++test試用

在這個(gè)過(guò)程中，中移智行使用Parasoft C/C++test在軟件開(kāi)發(fā)測(cè)試階段滿足A-SPICE(汽車(chē)軟件過(guò)程改進(jìn)及能力評(píng)定)對(duì)于軟件質(zhì)量管理的要求，并使其在白盒測(cè)試過(guò)程中符合ISO26262汽車(chē)功能安全標(biāo)準(zhǔn)要求，通過(guò)使用Parasoft一整套完整的解決方案，將汽車(chē)電子電器系統(tǒng)由于軟件代碼故障帶來(lái)的風(fēng)險(xiǎn)降到最低。

Parasoft C/C++test是專業(yè)針對(duì)C和C++語(yǔ)言的開(kāi)發(fā)測(cè)試方案， 經(jīng)廣泛證明能提高軟件開(kāi)發(fā)效率和代碼質(zhì)量的自動(dòng)化最佳實(shí)踐解決方案。使用Parasoft C/C++test進(jìn)行靜態(tài)分析和單元測(cè)試，可以幫助用戶符合合規(guī)標(biāo)準(zhǔn)要求，并幫助團(tuán)隊(duì)快速開(kāi)發(fā)和交付高質(zhì)量的軟件。

高效的靜態(tài)分析

Parasoft C/C++test中的靜態(tài)分析可以準(zhǔn)確地掃描業(yè)界最廣泛的缺陷、漏洞和不合規(guī)問(wèn)題。

• 快速找到和修復(fù)代碼缺陷與完整的路徑分析，以及準(zhǔn)確的違規(guī)檢測(cè)。
• 支持預(yù)防性（模式）和檢測(cè)（基于數(shù)據(jù)流的）靜態(tài)分析技術(shù)，以及一套全面的代碼結(jié)構(gòu)度量標(biāo)準(zhǔn)。
• 跨團(tuán)隊(duì)和項(xiàng)目全面了解合規(guī)性：AUTOSAR C++14、MISRAC 2012、MISRAC++2008、CERTC/C++、CWE、HIC++等。
• 支持使用專用的RuleWizard工具模塊創(chuàng)建自定義規(guī)則。
• 集中化報(bào)告和合規(guī)性審核，包括針對(duì)編碼標(biāo)準(zhǔn)的專門(mén)法規(guī)遵從性報(bào)告和流程管理。
• 易于配置和自動(dòng)化，非侵入性，并且可跨多個(gè)團(tuán)隊(duì)進(jìn)行擴(kuò)展。

單元測(cè)試與集成測(cè)試

Parasoft C/C++test為測(cè)試創(chuàng)建和管理、隔離被測(cè)試代碼提供一個(gè)統(tǒng)一的測(cè)試環(huán)境，以及高級(jí)覆蓋率報(bào)告，以確保對(duì)應(yīng)用程序的徹底測(cè)試。經(jīng)TüV認(rèn)證的工具Parasoft C/C++test允許用戶在目標(biāo)硬件上進(jìn)行軟件測(cè)試，從而滿足各行業(yè)對(duì)各種嵌入式代碼測(cè)試的要求。

• 豐富的、基于IDE的圖形界面，用于通過(guò)UI驅(qū)動(dòng)的編輯器和直接使用源代碼來(lái)創(chuàng)建和管理測(cè)試用例。
• 全面的代碼覆蓋指標(biāo)：函數(shù)、行語(yǔ)句、塊路徑、分支、判定、MC/DC、調(diào)用、目標(biāo)/匯編等覆蓋率。
• 自動(dòng)打樁框架，易于隔離正在測(cè)試的代碼。
• 支持的嵌入式環(huán)境，如ARM、RISC-V、IAR、GreenHills、Tasking、WindRiver等等。

功能安全與合規(guī)性

Parasoft C/C++test提供了符合行業(yè)標(biāo)準(zhǔn)所需的一切。

• 通過(guò)了TüV的功能安全認(rèn)證，幫助開(kāi)發(fā)團(tuán)隊(duì)達(dá)到期望的安全完整性級(jí)別（SIL/ASIL）。
• Parasoft給用戶提供安全認(rèn)證套件。這些安全認(rèn)證套件是根據(jù)特定環(huán)境和使用需求定制的，可以確保用戶擁有驗(yàn)證時(shí)所需的所有文檔。

關(guān)于Parasoft

Parasoft通過(guò)其經(jīng)過(guò)市場(chǎng)驗(yàn)證的自動(dòng)化軟件測(cè)試工具集成套件，幫助企業(yè)持續(xù)交付高質(zhì)量的軟件。Parasoft的技術(shù)支持嵌入式、企業(yè)和物聯(lián)網(wǎng)市場(chǎng)，通過(guò)將靜態(tài)代碼分析和單元測(cè)試、Web UI和API測(cè)試等所有內(nèi)容集成到交付管道中，再加上服務(wù)虛擬化和完整的代碼覆蓋率，減少了交付安全、可靠和合規(guī)軟件所需的時(shí)間、精力和成本。

關(guān)于慧都

慧都是一家行業(yè)數(shù)字化解決方案公司，專注于軟件、石油與工業(yè)領(lǐng)域，以深入的業(yè)務(wù)理解和行業(yè)經(jīng)驗(yàn)，幫助企業(yè)實(shí)現(xiàn)智能化轉(zhuǎn)型與持續(xù)競(jìng)爭(zhēng)優(yōu)勢(shì)。在軟件工程領(lǐng)域，我們提供開(kāi)發(fā)控件、研發(fā)管理、代碼開(kāi)發(fā)、部署運(yùn)維等軟件開(kāi)發(fā)全鏈路所需的產(chǎn)品，提供正版授權(quán)采購(gòu)、技術(shù)選型、個(gè)性化維保等服務(wù)，幫助客戶實(shí)現(xiàn)技術(shù)合規(guī)、降本增效與風(fēng)險(xiǎn)可控。

慧都科技作為Parasoft公司在中國(guó)區(qū)的官方授權(quán)合作伙伴，為國(guó)內(nèi)企業(yè)提供Parasoft C/C++test產(chǎn)品的正版授權(quán)、定制化部署與全生命周期技術(shù)支持與服務(wù)。我們致力于助力客戶精準(zhǔn)貫徹功能安全標(biāo)準(zhǔn)、全面提升軟件開(kāi)發(fā)效率、有效管控項(xiàng)目風(fēng)險(xiǎn)，最終構(gòu)建符合國(guó)際標(biāo)準(zhǔn)的高質(zhì)量軟件體系。