過程ID:SWE.4

過程名稱：軟件單元驗證

過程目的：軟件單元驗證過程目的是驗證軟件單元，為軟件單元符合軟件詳細設計和非功能軟件需求提供證據。

過程結果：為了成功地執行了這一過程：

1）開發了包含回歸策略的軟件單元驗證策略，以驗證軟件單元;

2）軟件單元驗證準則是根據軟件單元驗證策略制定的，該策略適合于為軟件單元符合軟件詳細設計和非功能軟件需求提供證據;

3）根據軟件單元驗證策略對軟件單元進行驗證，并記錄所定義的軟件單元驗證準則和結果;

4）在軟件單元、驗證標準和驗證結果之間建立一致性和雙向可追溯性;及

5）對單元驗證的結果進行匯總，并將其傳達給所有受影響的各方。

最佳實踐：SWE.4.BP1：開發軟件單元驗證策略，包括回歸策略。制定軟件單元的驗證策略，包括回歸策略，以便在軟件單元發生變更時進行重新驗證。驗證策略應定義如何為軟件單元符合軟件詳細設計和非功能需求提供證據。［outcome1］

注1：可能的單元驗證技術包括靜態/動態分析、代碼評審、單元測試等。

SWE.4.BP2：開發單元驗證的標準。根據驗證策略，為單元驗證開發合適的標準，為軟件單元的合規性提供證據，以及它們在組件內的交互，以及軟件詳細設計和非功能需求。對于單元測試，應在單元測試規范中定義標準。［outcome2］

注2：單元驗證的可能標準包括單元測試用例、單元測試數據、靜態驗證、覆蓋率目標和編碼標準，如MISRA規則。

注3：單元測試規范可以作為自動化測試平臺中的腳本來實現。

SWE.4.BP3：對軟件單元進行靜態驗證。使用已定義的驗證標準來驗證軟件單元的正確性。記錄靜態驗證的結果。［outcome3］

注4：靜態驗證可能包括靜態分析、代碼評審、對編碼標準和指南的檢查，以及其他技術。

注5：不合格的處理見sup9。

SWE.4.BP4：測試軟件單元。根據軟件單元驗證策略，使用單元測試規范測試軟件單元。記錄測試結果和日志。［outcome3］

注6：不合格的處理見sup9。

SWE.4.BP5：建立雙向可追溯性。在軟件單元和靜態驗證結果之間建立雙向可跟蹤性。在軟件詳細設計和單元測試規范之間建立雙向可追溯性。在單元測試規格和單元測試結果之間建立雙向可追溯性。［outcome4］

注7：雙向可追溯性支持覆蓋、一致性和影響分析。

SWE.4.BP6：確保一致性。確保軟件詳細設計和單元測試規范之間的一致性。［outcome4］

注8：一致性由雙向可追溯性支持，并可通過評審記錄證明。

SWE.4.BP7：總結和溝通結果。總結單元測試結果和靜態驗證結果，并與所有受影響的方面進行交流。［outcome5］

注釋9：在摘要中提供來自測試用例執行的所有必要信息，使其他各方能夠判斷結果。

輸出工作產品：08-50測試規范［outcome2］

08-52測試計劃［outcome1］

13-04溝通記錄［outcome5］

13 - 19評審記錄［outcome3、4］

13-22可追溯性記錄［outcome4］

13-25驗證結果［outcome3、5］

13-50測試結果［outcome3、5］

15-01分析報告［outcome3］

原文標題：SWE.4 軟件單元驗證

文章出處：【微信公眾號：汽車電子硬件設計】歡迎添加關注！文章轉載請注明出處。

責任編輯：haq