2023年2月24日，國際獨立第三方檢測、檢驗和認證機構德國萊茵TüV集團為中移智行網絡科技有限公司（以下簡稱“中移智行”）頒布了A-SPICE L3和ISO26262功能安全產品ASIL B認證證書，標志著中移智行在軟件質量體系管理和產品技術方面走在行業前端，滿足國際標準要求。

>>點擊獲取Parasoft C/C++test試用

在這個過程中，中移智行使用Parasoft C/C++test在軟件開發測試階段滿足A-SPICE(汽車軟件過程改進及能力評定)對于軟件質量管理的要求，并使其在白盒測試過程中符合ISO26262汽車功能安全標準要求，通過使用Parasoft一整套完整的解決方案，將汽車電子電器系統由于軟件代碼故障帶來的風險降到最低。

Parasoft C/C++test是專業針對C和C++語言的開發測試方案， 經廣泛證明能提高軟件開發效率和代碼質量的自動化最佳實踐解決方案。使用Parasoft C/C++test進行靜態分析和單元測試，可以幫助用戶符合合規標準要求，并幫助團隊快速開發和交付高質量的軟件。

高效的靜態分析

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

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

單元測試與集成測試

Parasoft C/C++test為測試創建和管理、隔離被測試代碼提供一個統一的測試環境，以及高級覆蓋率報告，以確保對應用程序的徹底測試。經TüV認證的工具Parasoft C/C++test允許用戶在目標硬件上進行軟件測試，從而滿足各行業對各種嵌入式代碼測試的要求。

• 豐富的、基于IDE的圖形界面，用于通過UI驅動的編輯器和直接使用源代碼來創建和管理測試用例。
• 全面的代碼覆蓋指標：函數、行語句、塊路徑、分支、判定、MC/DC、調用、目標/匯編等覆蓋率。
• 自動打樁框架，易于隔離正在測試的代碼。
• 支持的嵌入式環境，如ARM、RISC-V、IAR、GreenHills、Tasking、WindRiver等等。

功能安全與合規性

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

• 通過了TüV的功能安全認證，幫助開發團隊達到期望的安全完整性級別（SIL/ASIL）。
• Parasoft給用戶提供安全認證套件。這些安全認證套件是根據特定環境和使用需求定制的，可以確保用戶擁有驗證時所需的所有文檔。

關于Parasoft

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

關于慧都

慧都是一家行業數字化解決方案公司，專注于軟件、石油與工業領域，以深入的業務理解和行業經驗，幫助企業實現智能化轉型與持續競爭優勢。在軟件工程領域，我們提供開發控件、研發管理、代碼開發、部署運維等軟件開發全鏈路所需的產品，提供正版授權采購、技術選型、個性化維保等服務，幫助客戶實現技術合規、降本增效與風險可控。

慧都科技作為Parasoft公司在中國區的官方授權合作伙伴，為國內企業提供Parasoft C/C++test產品的正版授權、定制化部署與全生命周期技術支持與服務。我們致力于助力客戶精準貫徹功能安全標準、全面提升軟件開發效率、有效管控項目風險，最終構建符合國際標準的高質量軟件體系。