過程ID:SWE.4

過程名稱：軟件單元驗(yàn)證

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

08-52測試計(jì)劃［outcome1］

13-04溝通記錄［outcome5］

13 - 19評(píng)審記錄［outcome3、4］

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

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

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

15-01分析報(bào)告［outcome3］

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

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

責(zé)任編輯：haq