過程ID:SWE.4

過程名稱：軟件單元驗證

過程目的：軟件單元驗證過程目的是驗證軟件單元，為軟件單元符合軟件詳細(xì)設(shè)計和非功能軟件需求提供證據(jù)。

過程結(jié)果：為了成功地執(zhí)行了這一過程：

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

2）軟件單元驗證準(zhǔn)則是根據(jù)軟件單元驗證策略制定的，該策略適合于為軟件單元符合軟件詳細(xì)設(shè)計和非功能軟件需求提供證據(jù);

3）根據(jù)軟件單元驗證策略對軟件單元進(jìn)行驗證，并記錄所定義的軟件單元驗證準(zhǔn)則和結(jié)果;

4）在軟件單元、驗證標(biāo)準(zhǔn)和驗證結(jié)果之間建立一致性和雙向可追溯性;及

5）對單元驗證的結(jié)果進(jìn)行匯總，并將其傳達(dá)給所有受影響的各方。

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

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

SWE.4.BP2：開發(fā)單元驗證的標(biāo)準(zhǔn)。根據(jù)驗證策略，為單元驗證開發(fā)合適的標(biāo)準(zhǔn)，為軟件單元的合規(guī)性提供證據(jù)，以及它們在組件內(nèi)的交互，以及軟件詳細(xì)設(shè)計和非功能需求。對于單元測試，應(yīng)在單元測試規(guī)范中定義標(biāo)準(zhǔn)。［outcome2］

注2：單元驗證的可能標(biāo)準(zhǔn)包括單元測試用例、單元測試數(shù)據(jù)、靜態(tài)驗證、覆蓋率目標(biāo)和編碼標(biāo)準(zhǔn)，如MISRA規(guī)則。

注3：單元測試規(guī)范可以作為自動化測試平臺中的腳本來實現(xiàn)。

SWE.4.BP3：對軟件單元進(jìn)行靜態(tài)驗證。使用已定義的驗證標(biāo)準(zhǔn)來驗證軟件單元的正確性。記錄靜態(tài)驗證的結(jié)果。［outcome3］

注4：靜態(tài)驗證可能包括靜態(tài)分析、代碼評審、對編碼標(biāo)準(zhǔn)和指南的檢查，以及其他技術(shù)。

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

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

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

SWE.4.BP5：建立雙向可追溯性。在軟件單元和靜態(tài)驗證結(jié)果之間建立雙向可跟蹤性。在軟件詳細(xì)設(shè)計和單元測試規(guī)范之間建立雙向可追溯性。在單元測試規(guī)格和單元測試結(jié)果之間建立雙向可追溯性。［outcome4］

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

SWE.4.BP6：確保一致性。確保軟件詳細(xì)設(shè)計和單元測試規(guī)范之間的一致性。［outcome4］

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

SWE.4.BP7：總結(jié)和溝通結(jié)果?？偨Y(jié)單元測試結(jié)果和靜態(tài)驗證結(jié)果，并與所有受影響的方面進(jìn)行交流。［outcome5］

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

輸出工作產(chǎn)品：08-50測試規(guī)范［outcome2］

08-52測試計劃［outcome1］

13-04溝通記錄［outcome5］

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

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

13-25驗證結(jié)果［outcome3、5］

13-50測試結(jié)果［outcome3、5］

15-01分析報告［outcome3］

原文標(biāo)題：SWE.4 軟件單元驗證

文章出處：【微信公眾號：汽車電子硬件設(shè)計】歡迎添加關(guān)注！文章轉(zhuǎn)載請注明出處。

責(zé)任編輯：haq