漲知識！各行各業(yè)如何通過TüV證書認(rèn)證軟件測試工具

---

工具資格：這是什么，為什么我需要它？

安全關(guān)鍵的軟件開發(fā)標(biāo)準(zhǔn)，例如ISO 26262（汽車），DO178B/C（航空），IEC 62304（醫(yī)療設(shè)備），EN-50128（鐵路）和IEC 61508（EE系統(tǒng)的功能安全），要求制造商證明，他們用于開發(fā)軟件的工具可提供正確且可預(yù)測的結(jié)果。

提供此類證據(jù)的過程稱為“工具鑒定”或“工具驗證”。這可能是一個耗時的過程，并且可以肯定的是，這為需要專注于為該項目開發(fā)和測試軟件的團(tuán)隊增加了時間和精力。當(dāng)用戶最終負(fù)責(zé)工具認(rèn)證過程時，他們使用工具供應(yīng)商（如Parasoft）來支持這些工作。工具供應(yīng)商可以通過對其產(chǎn)品進(jìn)行認(rèn)證并提供認(rèn)證套件來減輕最終用戶的負(fù)擔(dān)。

我需要驗證我所有的工具嗎？

沒有跨標(biāo)準(zhǔn)的工具鑒定或認(rèn)證的單一方法，并非所有工具都需要鑒定。因此，標(biāo)準(zhǔn)定義了一個“分類”過程，將不同級別的重要性賦予工具資格，并定義了不同的方法來獲得對所使用工具的信心，這有助于確定特定工具是否需要資格。

這就是說，作為一般規(guī)則，如果使用一種工具來使驗證過程自動化或產(chǎn)生用作關(guān)鍵系統(tǒng)一部分的輸出（例如從模型生成的源代碼），則需要對該工具進(jìn)行鑒定。

我可以使用TüV證書對工具進(jìn)行鑒定嗎？

簡短的答案是，這取決于標(biāo)準(zhǔn)。

• DO178B/C在這方面非常嚴(yán)格，并且不允許使用證書批準(zhǔn)該工具的使用。鑒定必須在特定項目的背景下進(jìn)行（參見DO178C第12.2章）。通常，該過程涉及使用一組特殊的測試用例根據(jù)其要求驗證該工具。工具供應(yīng)商通過提供鑒定工具包來支持此過程。還提供了用于Parasoft C/C ++測試的鑒定套件。
• IEC 62304沒有列出有關(guān)工具驗證或鑒定的任何特定要求，但是針對此問題將其重定向到61508。
• IEC 61508，尤其是ISO 26262在軟件工具鑒定方面比IEC 62304更精確。例如，ISO26262列出了四種驗證工具的方法（第8部分11.4.6）。它提供了通過對工具開發(fā)過程進(jìn)行獨立評估和認(rèn)證來批準(zhǔn)用于安全關(guān)鍵型開發(fā)工具的選項。

簡而言之，行業(yè)慣例是，對于ISO26262，IEC 61508和IEC 62304團(tuán)隊可以使用由獨立組織（例如TüV SüD）認(rèn)證的工具，而無需進(jìn)行其他資格鑒定活動。對于DO178B/C，不接受證書，并且團(tuán)隊必須經(jīng)過資格認(rèn)證過程。

什么是工具認(rèn)證流程？

工具供應(yīng)商雇用了一個專門從事功能安全的獨立組織（例如TüV SüD）來評估軟件工具開發(fā)過程。評估包括對預(yù)期用例的評估，以及對軟件質(zhì)量保證，已知缺陷生命周期和發(fā)布管理的特別關(guān)注。

如果過程符合標(biāo)準(zhǔn)并保證了工具的質(zhì)量，則組織將獲得該工具的認(rèn)證。該工具的特定版本已獲得認(rèn)證；無法認(rèn)證“未來”版本。

然后將證書與工具一起提供，以簡化批準(zhǔn)用于安全關(guān)鍵型開發(fā)的過程。對于所有允許的安全標(biāo)準(zhǔn)，這是工具鑒定的首選方式，因為它減少了工具使用者的工作量。

Parasoft是否提供經(jīng)過認(rèn)證的工具？

Parasoft C/C++test Compliance版本已通過TüV SüD認(rèn)證，可用于安全關(guān)鍵型軟件開發(fā)，其依據(jù)是：

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

TüV SüD是一家致力于提供安全和保障審核和認(rèn)證的組織。它是一個得到廣泛認(rèn)可和尊重的組織。與某些競爭對手不同，Parasoft會對其產(chǎn)品的每個發(fā)行版進(jìn)行認(rèn)證，因此您可以利用最新的創(chuàng)新，而不僅限于特殊的長期支持版本。

有關(guān)TüV SüD的更多信息，請關(guān)注https://www.tuvsud.com/

TüV認(rèn)證是否適用于所有ASIL或SIL等級？

TüV認(rèn)證可用于批準(zhǔn)和認(rèn)證Parasoft C/C++test，以開發(fā)適用于所有ASIL或SIL級別的軟件。開發(fā)用于ASIL D或SIL 4的軟件的團(tuán)隊仍可以考慮使用鑒定工具包批準(zhǔn)該工具。但是，通常，該行業(yè)中的實踐是該認(rèn)證就足夠了。

什么是TüV證書，我該怎么辦？

TüV認(rèn)證是pdf文檔，是“C/C++test功能安全性分發(fā)軟件包”的一部分，使用Compliance版本的Parasoft C/C++test的客戶可以使用TüV認(rèn)證。該軟件包包含以下文檔：

• Z10 075084 0005 Rev.02.pdf——主要證書。包括有關(guān)經(jīng)過認(rèn)證的工具版本的信息以及該認(rèn)證對其有效的功能安全標(biāo)準(zhǔn)的列表。該認(rèn)證應(yīng)包括在提交給功能安全審核的項目文檔中。
• C++test - Functional Safety Considerations.pdf——工具安全手冊。它包含有關(guān)如何安全使用該工具的重要信息。該文檔應(yīng)分發(fā)給該工具的所有用戶。它定義了已認(rèn)證的功能以及如何配置工具以檢測潛在的錯誤。
• C++test - Known Defects.pdf——工具中所有可能影響工具輸出的已知缺陷的列表。工具最終用戶應(yīng)閱讀本文檔，并針對影響特定項目中工具相關(guān)用例的所有問題應(yīng)用變通辦法。
• PK83996C V6.4.pdf——向證書報告。它規(guī)定了測試范圍，工具分類和資格要求。它是對主要證書的補(bǔ)充。
• PK83317T V7.4.pdf——功能安全技術(shù)報告。它是對主要證書的補(bǔ)充。

此外，正在開發(fā)安全關(guān)鍵軟件的Parasoft C/C++test的所有用戶都應(yīng)注冊“已知缺陷”列表的更新。Parasoft維護(hù)已知缺陷的最新列表，并將其分發(fā)給所有注冊用戶。

我如何獲得TüV認(rèn)證？

可以從Parasoft客戶門戶網(wǎng)站下載TüV認(rèn)證，該門戶網(wǎng)站可從Parasoft主頁（parasoft.com）獲得?？蛻艨梢允褂闷鋺{據(jù)登錄，然后轉(zhuǎn)到“產(chǎn)品和許可證”，“下載”，然后選擇“功能安全分發(fā)包”。

購買了Parasoft C/C++test的“Compliance”版的所有客戶都可以使用“功能安全分發(fā)包”。