摘要：什麼是工具鑒定套件，為什麼它在軟體測試中很重要？閱讀這篇文章，您可以瞭解工具認證，以及Parasoft C/C++test合規版本作為認證的測試工具，與其他競爭產品的不同。
安全關鍵型軟體發展標準，如ISO 26262（汽車）、DO-178B/C（航空航太）、IEC 62304（醫療設備）、EN 50128（鐵路）和IEC 61508（電子電氣系統功能安全），都要求製造商證明他們用來開發軟體的工具能夠提供正確和可預測的結果。
什麼是工具鑒定套件？
提供這種證據的過程被稱為工具鑒定或工具驗證。這是一個耗時的過程，它為需要專注于為專案開發和測試軟體的團隊增加了時間和精力。用戶可以使用像Parasoft這樣的工具來對工具鑒定的過程負責。工具供應商可以通過認證他們的產品和提供鑒定套件來減輕最終用戶的負擔。
在各種標準中，並沒有統一的工具鑒定或認證方法，也不是所有工具都需要鑒定。作為一般規則，如果使用工具來自動化驗證過程或產生作為關鍵系統一部分的輸出，如從模型生成的原始程式碼，那就需要對該工具進行資格鑒定。
我可以使用TÜV證書對工具進行鑒定嗎？
簡而言之，這取決於標準。
- DO178B/C在這方面的規定相當嚴格，不允許使用證書來批准工具的使用。資格鑒定必須在特定項目的背景下進行（見DO178C第12.2章）。通常情況下，這一過程涉及使用一組特殊的測試用例，根據其要對工具進行驗證。工具供應商通過提供鑒定套件來支持這個過程。Parasoft C/C++test也提供了鑒定工具套件。
- IEC 62304沒有列出工具驗證或鑒定的任何具體要求，但它在這方面被定向到61508。
- IEC 61508，特別是ISO 26262在軟體工具資格鑒定方面比IEC 62304更精確。它通過對工具開發過程的獨立評估和認證，為安全關鍵型開發提供了批准工具的選項。
對於ISO26262，IEC 61508和IEC 62304團隊可以使用經過協力廠商獨立機構（如TÜV SÜD）認證的工具。對於DO178B/C，不接受證書，團隊就必須通過資格鑒定過程。
Parasoft是否提供認證工具？
Parasoft C/C++test通過了TÜV SÜD認證，可根據以下標準用於安全關鍵型軟體發展：
- IEC 61508-3:2010
- IEC 62304:2015
- ISO 26262 6-8:2018
TÜV SÜD是一家致力於提供安全安保審計和認證的機構。與一些友商不同，Parasoft對其產品的每個版本都進行了認證，因此您能獲得最新的技術支援。有關TÜV SÜD的更多資訊，請訪問https://www.tuvsud.com/
TÜV認證是否適用於所有ASIL或SIL級別？
經過TÜV認證的Parasoft C/C++test，適用于開發所有ASIL或SIL級別的軟體。
什麼是TÜV證書？
TÜV認證是一份pdf文檔，是“C/C++test功能安全分發包”的一部分，該套裝軟體包含以下檔：
Z10 075084 0005 Rev.02.pdf – 主證書。包括已通過認證的工具版本資訊和認證有效的功能安全標準列表。該證書應包含在提交功能安全審核的專案檔案中。
C++test – Functional Safety Considerations.pdf– 工具安全手冊。它包含有關如何安全使用該工具的重要資訊。它定義了哪些功能已獲得認證，以及如何配置工具來檢測潛在的錯誤。
C++test – Known Defects.pdf – 工具中可能影響工具輸出的所有已知缺陷的列表。工具最終用戶應審查本文檔，並對影響特定專案中工具相關用例的所有問題應用變通方法。
PK83996C V6.4.pdf – 證書報告。它說明了測試範圍、工具分類以及資格要求。這是對主證書的補充。
PK83317T V7.4.pdf-功能安全技術報告。這是對主證書的補充。
軟體測試工具獲得TÜV認證的好處
軟體測試工具獲得 TÜV 認證在軟體發展行業備受推崇。一個顯著的好處是，它提供了品質和可靠性的標誌，並向使用者保證該工具已經過嚴格的測試，符合行業公認的標準。這種認證提高了工具的可信度，使其對潛在用戶更具吸引力。
此外，像Parasoft C/C++test這樣經過TÜV認證的軟體測試工具通常配備了提高整體開發效率的功能，並且在設計時考慮到了行業最佳實踐。因此，它們可以簡化測試流程，提高準確性並提高效率。這可以減少測試所需的時間和資源，最大限度地減少發佈後出現問題和缺陷的可能性，從而為企業節省成本。從本質上講，獲得TÜV認證不僅意味著對品質和安全的承諾，還能提高市場競爭力、降低風險和提高軟體發展效率。
關於PARASOFT
Parasoft通過其AI驅動的軟體測試平臺和自動化測試解決方案説明組織持續提供高品質的軟體。Parasoft成熟的技術支援嵌入式、企業和物聯網市場，通過將深度代碼分析和單元測試，Web UI和API測試，以及服務虛擬化和完整代碼覆蓋率整合到交付管道中，減少了為提供安全、可靠和合規軟體所需的時間、精力和成本。Parasoft屢獲殊榮的報告和分析儀錶板彙集了所有以上所述，提供了集中的品質視圖，使組織能夠自信地交付，並在當今最具戰略性的生態系統和開發計畫中取得成功——資訊安全、功能安全、敏捷、DevOps和持續測試。