使工具鑒定過程自動化，以減少所需的時間和精力，因此您可以專注于開發高質量的軟件。

要求嚴格的軟件開發標準，例如DO178B/C（航空航天），ISO 26262（汽車），EN-50128（鐵路）和IEC 61508（功能安全），要求制造商證明他們使用的工具來開發他們的軟件可提供正確且可預測的結果。提供此類證據的過程稱為“工具資格認證”，雖然這是必要的過程，但“工具資格認證”通常是許多組織無法計劃的乏味且耗時的活動。

最終交付的內容以文檔形式進行證明，但是資格認證過程不僅僅包含大量靜態文檔。在這篇文章中，我將向您展示如何使用Parasoft的新的C/C++test Qualification Kits，其中包括一個方便的工具向導，該工具向導可實現自動化，并減少了工具鑒定所需的時間和精力。

首先：確保您使用的工具已通過認證

工具鑒定需要從工具選擇開始，以確保您使用的是經過TüVSüD等組織認證的開發工具。這將大大減少涉及工具鑒定的工作量。Parasoft C/C++test已通過TüVSüD的IEC 61508和ISO 26262標準的功能安全認證，適用于基于主機和嵌入式目標應用程序——為簡化靜態分析、單元測試和覆蓋要求的驗證鋪平了道路符合安全關鍵標準。

第二：減少工具鑒定的手工工作

傳統上，工具資格鑒定意味著需要大量的體力勞動，測試和記錄開發工具來滿足認證審核的需要。但是，這種繁重的文檔編制過程需要人工解釋和完成，因此非常耗時且容易發生人為錯誤。

我們通過使用“資格認證套件”使流程自動化，從而解決了這一問題。通過自動化提高生產率和減少人為錯誤一直是我們在Parasoft所做的工作的核心，因此我們將相同的任務應用于Parasoft C/C++test的“工具鑒定”過程中。我們的資格認證套件可指導用戶完成直觀的工作流程，以大大減少所需的工作量。

使用資格認證套件的好處包括：

• 自動將資格范圍縮小到僅使用中的工具零件
• 盡可能自動化認證所需的測試
• 盡可能雄辯地處理任何手動測試，并將結果與自動測試集成
• 自動生成準備就緒的審核文檔，以準確報告合格的內容，而不是更多（或更少！）

僅限定您使用的內容

在進行需要ISO 26262的汽車項目時，為什么要讓開發人員篩選DO-178B/C的認證材料？如果僅使用我們工具套件的一部分會怎樣？不需要為開發產品中未使用的合格功能做任何額外的工作。減少測試、報告和文檔的范圍是減少認證工作量的關鍵方法。

下面的示例顯示用戶選擇使用的唯一C/C++test測試用例（靜態分析），以檢查是否符合MISRA C 2012標準（作為ISO 26262認證的一部分）。然后，該工具僅選擇此功能所需的資格認證套件的各個部分。

用戶可以取消選擇選項以進一步縮小項目范圍。從選擇開始，從現在開始僅使用和提供測試和文檔。

利用測試自動化和分析

如果合格的測試自動化工具有一個優勢……那就是可以使用這些工具來自動化他們自己的測試！工具鑒定要求按照我們提供的鑒定工具包中所述進行測試并驗證結果。盡可能自動執行此操作是使其盡可能輕松的關鍵。即使是任何開發工具都不可避免的手動測試，也應盡可能高效地進行處理-提供逐步說明，并將結果輸入并存儲為資格記錄的一部分。

Parasoft C/C++test收集并存儲每個構建版本的所有測試結果，并針對任何類型的項目進行測試。這些結果被帶入Parasoft鑒定工具包的測試狀態向導中，以提供結果的全面概述：

集中、匯總和自動化認證過程大大減少了對合規進度的手動跟蹤。

那已知的缺陷呢？

每個開發工具都有已知的錯誤，任何未記錄錯誤的供應商都不會對您的合規性有所幫助。但是，處理已知的缺陷不僅僅是記錄它們。工具鑒定要求您提供證明這些缺陷不會影響項目中使用的結果的證據。對于每個已知缺陷，您必須為每個缺陷提供緩解措施，并記錄下來，以使審核員滿意。

工具供應商有責任盡可能地自動處理已知缺陷。畢竟，我們要求客戶將錯誤作為工作量的一部分來處理！Parasoft C/C++test鑒定套件包括一個向導，用于自動記錄緩解已知缺陷的方法，如下所示：

自動化所需的文檔

刀具鑒定的最終結果是文檔，其中有很多。記錄并報告每個執行結果的測試，每個已知緩解的缺陷，手動測試結果以及異常。其他供應商提供的資格認證工具包可能僅僅是文檔，而沒有自動化，則文檔合規性非常繁瑣。

相反，使用C/C++test測試資格套件，將在工作流程中為您生成關鍵文檔：

• 工具分類報告（確定所需的資格，并根據用戶選擇的用例顯示C/C++test測試的最大安全級別分類）
• 工具資格計劃（描述如何在安全相關的開發項目中使用C/C++test進行資格鑒定）
• 工具資格報告（表明C/C++test已根據工具資格計劃進行了資格鑒定）
• 工具安全手冊（描述了如何安全使用C/C++test，即在安全關鍵項目中符合ISO 26262，IEC 61508等安全標準）

在每個文檔中，僅生成使用中的工具功能所需的文檔，因為在項目開始時就縮小了認證范圍。自動化和縮小認證范圍會大大減輕文檔負擔。

結論

汽車、航空航天、鐵路和功能安全行業中的安全關鍵軟件項目的工具認證是一個繁重的過程。縮小資格范圍并盡可能多地實現流程自動化是減少資格工作量和繁瑣工作的關鍵。用于C/C++test測試的Parasoft認證套件使此過程盡可能輕松、高效，從而大大減輕了我們客戶的負擔，因此他們可以恢復向其客戶提供高質量產品的過程。