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

Parasoft 產(chǎn)品免費(fèi)試用

2023年2月24日，國際獨(dú)立第三方檢測(cè)、檢驗(yàn)和認(rèn)證機(jī)構(gòu)德國萊茵TüV集團(tuán)為中移智行網(wǎng)絡(luò)科技有限公司（以下簡稱“中移智行”）頒布了A-SPICE L3和ISO26262功能安全產(chǎn)品ASIL B認(rèn)證證書，標(biāo)志著中移智行在軟件質(zhì)量體系管理和產(chǎn)品技術(shù)方面走在行業(yè)前端，滿足國際標(biāo)準(zhǔn)要求，在這個(gè)過程中，中移智行使用Parasoft C/C++test 在軟件開發(fā)測(cè)試階段滿足A-SPICE(汽車軟件過程改進(jìn)及能力評(píng)定)對(duì)于軟件質(zhì)量管理的要求，并使其在白盒測(cè)試過程中符合ISO26262汽車功能安全標(biāo)準(zhǔn)要求，通過使用Parasoft一整套完整的解決方案，將汽車電子電器系統(tǒng)由于軟件代碼故障帶來的風(fēng)險(xiǎn)降到最低。

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

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

• 幫助您快速找到和修復(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)的專門法規(guī)遵從性報(bào)告和流程管理。
• 易于部署：易于配置和自動(dòng)化，非侵入性，并且可跨多個(gè)團(tuán)隊(duì)進(jìn)行擴(kuò)展。

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

Parasoft C/C++test盡量減少與創(chuàng)建和維護(hù)單元、集成測(cè)試相關(guān)的復(fù)雜和耗時(shí)的挑戰(zhàn)。C/C++軟件開發(fā)的集成測(cè)試解決方案需要為測(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的圖形界面，用于通過UI驅(qū)動(dòng)的編輯器和直接使用源代碼來創(chuàng)建和管理測(cè)試用例。
• 全面的代碼覆蓋指標(biāo)：函數(shù)、行語句、塊路徑、分支、判定、MC/DC、調(diào)用、目標(biāo)/匯編等覆蓋率。
• 能夠捕獲開源覆蓋率和報(bào)告測(cè)試框架的結(jié)果，如CppUnit和Google Test。
• 自動(dòng)打樁框架，易于隔離正在測(cè)試的代碼。
• 使用Parasoft DTP ，匯總手動(dòng)和自動(dòng)測(cè)試的覆蓋率，提供每個(gè)測(cè)試覆蓋率和跨構(gòu)建的趨勢(shì)結(jié)果報(bào)告。
• 廣泛支持的嵌入式環(huán)境，如ARM、RISC-V、IAR、GreenHills、Tasking、WindRiver等等。

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

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

• Parasoft C/C++test參照IEC61508、IEC62304、ISO26262和EN50128標(biāo)準(zhǔn)通過了TüV的功能安全認(rèn)證，幫助開發(fā)團(tuán)隊(duì)達(dá)到期望的安全完整性級(jí)別（SIL/ASIL）。
• 為了簡化工具驗(yàn)證過程，對(duì)于DO-178B/C、DO-330和ED-12B/C，以及其他安全性標(biāo)準(zhǔn)，Parasoft可以給用戶提供安全認(rèn)證套件。這些安全認(rèn)證套件是可以根據(jù)您的特定環(huán)境和使用需求定制的，可以確保用戶擁有驗(yàn)證時(shí)所需的所有文檔。

關(guān)于Parasoft

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

Parasoft屢獲殊榮的報(bào)告和分析儀表板將所有這些整合在一起，提供了一個(gè)集中的質(zhì)量視圖，使企業(yè)能夠充滿信心地交付，并在當(dāng)今最具戰(zhàn)略性的生態(tài)系統(tǒng)和開發(fā)計(jì)劃中取得成功，包括安全性、安全關(guān)鍵性、敏捷性、DevOps以及持續(xù)測(cè)試。

Parasoft C/C++test是一個(gè)完整的軟件測(cè)試解決方案，它為團(tuán)隊(duì)提供了測(cè)試方法功能和自動(dòng)化生產(chǎn)能力，比如覆蓋率覆蓋率指導(dǎo)助手。利用這個(gè)功能，開發(fā)人員可以快速實(shí)現(xiàn)他們的代碼覆蓋率目標(biāo)。相應(yīng)地，管理者可以加快產(chǎn)品上市時(shí)間、保障審計(jì)和簡化產(chǎn)品認(rèn)證。在向市場輸出高質(zhì)量軟件的同時(shí)，能夠降低成本投入。

了解更多有關(guān)Parasoft產(chǎn)品咨詢，歡迎咨詢