安全關鍵型軟件開發標準，如ISO 26262（汽車）、DO-178B/C（航空航天）、IEC 62304（醫療設備）、EN 50128（鐵路）和IEC 61508（電子電氣系統功能安全），都要求制造商證明他們用來開發軟件的工具能夠提供正確和可預測的結果。

Parasoft免費下載

什么是工具鑒定套件？

提供這種證據的過程被稱為工具鑒定或工具驗證。這是一個耗時的過程，它為需要專注于為項目開發和測試軟件的團隊增加了時間和精力。用戶可以使用像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認證是否適用于所有ASIL或SIL級別？

經過TüV認證的Parasoft C/C++test，適用于開發所有ASIL或SIL級別的軟件。
Parasoft C/C++test：獲得TüV證書的白盒測試工具

什么是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 C/C++test用戶，但希望通過C/C++test 2023.2，為C、C++開發人員賦能，歡迎聯系我們。了解更多有關Parasoft產品咨詢，歡迎咨詢