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

Parasoft 產品免費試用

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

高效的靜態分析

Parasoft C/C++test中的靜態分析可以準確地掃描業界最廣泛的缺陷、漏洞和不合規問題。

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

單元測試與集成測試

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

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

功能安全與合規性

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

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

關于Parasoft

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

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

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

了解更多有關Parasoft產品咨詢，歡迎咨詢