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

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

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

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

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

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

單元測試與集成測試

Parasoft C/C++test盡量減少與創(chuàng)建和維護單元、集成測試相關的復雜和耗時的挑戰(zhàn)。C/C++軟件開發(fā)的集成測試解決方案需要為測試創(chuàng)建和管理、隔離被測試代碼提供一個統(tǒng)一的測試環(huán)境，以及高級覆蓋率報告，以確保對應用程序的徹底測試。經(jīng)TüV認證的工具Parasoft C/C++test允許用戶在目標硬件上進行軟件測試，從而滿足各行業(yè)對各種嵌入式代碼測試的要求。

• 豐富的、基于IDE的圖形界面，用于通過UI驅動的編輯器和直接使用源代碼來創(chuàng)建和管理測試用例。
• 全面的代碼覆蓋指標：函數(shù)、行語句、塊路徑、分支、判定、MC/DC、調用、目標/匯編等覆蓋率。
• 能夠捕獲開源覆蓋率和報告測試框架的結果，如CppUnit和Google Test。
• 自動打樁框架，易于隔離正在測試的代碼。
• 使用Parasoft DTP ，匯總手動和自動測試的覆蓋率，提供每個測試覆蓋率和跨構建的趨勢結果報告。
• 廣泛支持的嵌入式環(huán)境，如ARM、RISC-V、IAR、GreenHills、Tasking、WindRiver等等。

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

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

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

關于Parasoft

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

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

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

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