ASPICE系列：如何定義軟體單元驗證政策

前言

軟體驗證政策是軟體單元驗證過程中所有活動的基礎，是以也是評估的基礎。軟體驗證政策是基礎實踐1所要求的:開發包括回歸政策在内的軟體單元驗證政策。

本文是ASPICE系列文章的第2部分。通過連結檢視第1部分：ASPICE系列：順利通過ASPICE流程軟體單元驗證(SWE.4)

對于評估人員來說，單元驗證政策必須至少包括以下10個方面:

1. 所有單元的定義。定義可以是通用的，也可以是特定的。確定單元是唯一可識别的。在最簡單的情況下，可以把一列函數或檔案分類為單元。

• 您應該能夠回答以下問題：如何確定所有單元都包含在函數清單中？這可以通過比如定期檢查清單或自動更新清單等方式來實作。

2. 定義如何涵蓋與驗證和測試相關的特定需求。這包含功能需求、非功能需求和過程需求。

• 您應該對整個項目的需求有一個概覽。補充對單元驗證有影響的資訊。這些通常也是來自ASPICE、ISO26262或其他安全标準、橫斷面荷載手冊、法律、利益相關方、MISRA等的要求。如果您明确地在驗證政策中包含各個需求，并簡要地記錄您的解決方案以供實作，這将是很有幫助的。

3.定義測試用例的開發方法和來自詳細設計和非功能需求的測試資料。

• 這需要你解釋為此使用的方法，例如為所有接口形成等價類，正面和負面測試等等。
• 如果您有通用的單元定義，您可能也會為此使用通用的定義。如果你對品質管理和功能安全單元有限制或變量（constraints/variants），那麼就會期望它們也能顯示品質管理和功能安全單元的概述。這一期望同樣适用于所有其他變體。是以，通用的單元定義會增加測試工作量。
• 為了處理這方面的問題，我們建議預先分析所有的需求，并在此分析的基礎上推導出最合适的方法。

4. 定義用于靜态驗證和評審的方法和工具的方法。

5. 定義每個測試環境和使用的每個測試方法論。

• 現成的工具實作方法。
• 參考現有的工具供應商文檔以節省時間。

使用掌握盡可能多的方法和技術的工具。節省教育訓練和許可證的項目成本。有了一些可以廣泛使用的工具，員工可以更快地重新确定優先級，不再需要熟悉工具。

• 使用已有的方法，例如等價類或限制測試來收集測試資料。
• 使用能最大限度地減輕重複活動工作量的工具，例如自動生成報告和可追溯性。
• 盡可能實作自動化

6. 根據項目和釋出階段定義測試覆寫範圍。

• 沒有人期望你在第一天就達到100%的覆寫率。利用項目的持續時間，并顯示可實作的建設曲線。
• 從人員或其他資源方面得出你為此需要什麼。

• 回顧你的政策，如果有偏差就進行調整。根據流程進行變更(SUP.10變更請求管理)。

7. 定義動态單元測試的測試啟動條件和測試結束标準。

• 哪些條件導緻哪些活動的開始。
• 有相關序列嗎?
• 什麼時候終止，什麼時候重新開始?他們是怎麼得到這個的?
• 他們什麼時候停止測試?最好不要使用時間，而是使用技術或可度量的标準(覆寫度量，如何測試所有需求)。說明為什麼這些名額是充分的。

8. 如果測試級别是組合的，那麼需要每個測試級别的充分測試覆寫率的文檔。

• 如果您合并測試級别，您必須證明您如何确定覆寫級别。覆寫可以意味着代碼覆寫、接口覆寫和需求覆寫。一個一緻的基本原理是，例如，您将測試内容移動到更高的級别，因為您可以在這個級别上更有意義地配置設定測試用例和需求。
• 他們通常從标準和其他指導方針中獲得覆寫率目标。ISO 26262為與安全相關的代碼部分的代碼覆寫率設定了目标。ISO 26262含蓄地要求高覆寫率，并注明:“無正當理由的沒有目标值或低目标值的結構覆寫率被認為是不充分的。”
• 一般來說，最好是證明所有覆寫率目标值低于100%。這可以通過使用釋出計劃和預定的需求或特性優先級更容易地完成。
• 專業建議：從源代碼引用或連結相關需求到軟體單元驗證政策的适當部分。

9. 處理失敗的測試用例、失敗的靜态檢查和檢查結果的過程。

• 本程式應與ASPICE問題解決管理政策(SUP.9)過程相關并保持一緻。
• 你應該描述誰被告知，以及如何和何時做什麼。
• 你還應該描述你将在這個過程中分享什麼資訊/資料。

10. 執行回歸測試的定義。

• 回歸測試指的是在對單元進行更改後重新執行靜态和動态測試。目标是确定一個單元中未更改的部分是否繼續工作。
• 在自動化測試中，回歸測試是一鍵完成的。
• 在持續內建/持續測試環境中，表明回歸測試是由“每日建構”或其他自動化保證的就足夠了。

關于評估的說明

如果您沒有覆寫軟體單元驗證政策中提到的所有10個方面，那麼您肯定不會得到BP1“開發軟體單元驗證政策包括回歸政策”的“完全”評估。直到第4點才完成第2點将導緻他們在BP1中被評為部分或更糟。

隐含地，評估人員還期望參與過程的所有人員都了解軟體單元驗證政策的内容。如果他們沒有證據，例如郵件、日志或類似的形式，可能會出現測試人員被召集到評估中，并在面試中确定他們的知識的情況。

在ASPICE中，更詳細地描述了更進階别的工作産品驗證政策(WP ID 19-10)。它規定了驗證政策需要安排活動、處理風險和限制、驗證的獨立程度和其他方面等能力和要求。