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

Parasoft免費下載

什么是工具鑒定套件？

提供這種證據(jù)的過程被稱為工具鑒定或工具驗證。這是一個耗時的過程，它為需要專注于為項目開發(fā)和測試軟件的團隊增加了時間和精力。用戶可以使用像Parasoft這樣的工具來對工具鑒定的過程負責(zé)。工具供應(yīng)商可以通過認證他們的產(chǎn)品和提供鑒定套件來減輕最終用戶的負擔。

在各種標準中，并沒有統(tǒng)一的工具鑒定或認證方法，也不是所有工具都需要鑒定。作為一般規(guī)則，如果使用工具來自動化驗證過程或產(chǎn)生作為關(guān)鍵系統(tǒng)一部分的輸出，如從模型生成的源代碼，那就需要對該工具進行資格鑒定。

我可以使用TüV證書對工具進行鑒定嗎？

簡而言之，這取決于標準。

• DO178B/C在這方面的規(guī)定相當嚴格，不允許使用證書來批準工具的使用。資格鑒定必須在特定項目的背景下進行（見DO178C第12.2章）。通常情況下，這一過程涉及使用一組特殊的測試用例，根據(jù)其要對工具進行驗證。工具供應(yīng)商通過提供鑒定套件來支持這個過程。Parasoft C/C++test也提供了鑒定工具套件。
• IEC 62304沒有列出工具驗證或鑒定的任何具體要求，但它在這方面被定向到61508。
• IEC 61508，特別是ISO 26262在軟件工具資格鑒定方面比IEC 62304更精確。它通過對工具開發(fā)過程的獨立評估和認證，為安全關(guān)鍵型開發(fā)提供了批準工具的選項。

對于ISO26262，IEC 61508和IEC 62304團隊可以使用經(jīng)過第三方獨立機構(gòu)（如TüV SüD）認證的工具。對于DO178B/C，不接受證書，團隊就必須通過資格鑒定過程。

Parasoft是否提供認證工具？

Parasoft C/C++test通過了TüV SüD認證，可根據(jù)以下標準用于安全關(guān)鍵型軟件開發(fā)：

• IEC 61508-3:2010
• IEC 62304:2015
• ISO 26262 6-8:2018

TüV SüD是一家致力于提供安全安保審計和認證的機構(gòu)。與一些友商不同，Parasoft對其產(chǎn)品的每個版本都進行了認證，因此您能獲得最新的技術(shù)支持。

TüV認證是否適用于所有ASIL或SIL級別？

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

什么是TüV證書？

TüV認證是一份pdf文檔，是“C/C++test功能安全分發(fā)包”的一部分，該軟件包包含以下文件：
Z10 075084 0005 Rev.02.pdf – 主證書。包括已通過認證的工具版本信息和認證有效的功能安全標準列表。該證書應(yīng)包含在提交功能安全審核的項目文件中。
C++test – Functional Safety Considerations.pdf– 工具安全手冊。它包含有關(guān)如何安全使用該工具的重要信息。它定義了哪些功能已獲得認證，以及如何配置工具來檢測潛在的錯誤。
C++test – Known Defects.pdf – 工具中可能影響工具輸出的所有已知缺陷的列表。工具最終用戶應(yīng)審查本文檔，并對影響特定項目中工具相關(guān)用例的所有問題應(yīng)用變通方法。
PK83996C V6.4.pdf – 證書報告。它說明了測試范圍、工具分類以及資格要求。這是對主證書的補充。
PK83317T V7.4.pdf-功能安全技術(shù)報告。這是對主證書的補充。

軟件測試工具獲得TüV認證的好處

軟件測試工具獲得 TüV 認證在軟件開發(fā)行業(yè)備受推崇。一個顯著的好處是，它提供了質(zhì)量和可靠性的標志，并向用戶保證該工具已經(jīng)過嚴格的測試，符合行業(yè)公認的標準。這種認證提高了工具的可信度，使其對潛在用戶更具吸引力。

此外，像Parasoft C/C++test這樣經(jīng)過TüV認證的軟件測試工具通常配備了提高整體開發(fā)效率的功能，并且在設(shè)計時考慮到了行業(yè)最佳實踐。因此，它們可以簡化測試流程，提高準確性并提高效率。這可以減少測試所需的時間和資源，最大限度地減少發(fā)布后出現(xiàn)問題和缺陷的可能性，從而為企業(yè)節(jié)省成本。從本質(zhì)上講，獲得TüV認證不僅意味著對質(zhì)量和安全的承諾，還能提高市場競爭力、降低風(fēng)險和提高軟件開發(fā)效率。

如果您目前不是Parasoft C/C++test用戶，但希望通過C/C++test 2023.2，為C、C++開發(fā)人員賦能，歡迎聯(lián)系我們。了解更多有關(guān)Parasoft產(chǎn)品咨詢，歡迎咨詢