核電廠安全級軟件可追溯性分析技術(shù)規(guī)范

1核電廠安全級軟件可追溯性分析技術(shù)規(guī)范本標(biāo)準(zhǔn)依據(jù)國家法規(guī)導(dǎo)則、參考國內(nèi)/國際標(biāo)準(zhǔn)、結(jié)合在核電廠安全級數(shù)字化儀控系統(tǒng)軟件開發(fā)過程中的驗證與確認經(jīng)驗制定，規(guī)定了核電廠安全級軟件V&V活動可追溯性分析的內(nèi)容、過程和方法，適用于指導(dǎo)開展核電廠安全級軟件可追溯性分析工作。2規(guī)范性引用文件下列文件中的內(nèi)容通過文中的規(guī)范性引用而構(gòu)成本文件必不可少的條款。其中，注日期的引用文件，僅該日期對應(yīng)的版本適用于本文件；不注日期的引用文件，其最新版本（包括所有的修改單）適用于本文件。NB/T20448-2017NB/T20054-2011NB/T20055-2011NB/T20300-2014發(fā)核電廠系統(tǒng)和軟件的驗證和確認核電廠安全重要儀表和控制系統(tǒng)執(zhí)行A類功能的計算機軟件核電廠安全重要儀控系統(tǒng)實施B、C類功能計算機軟件核電廠安全重要儀表和控制系統(tǒng)執(zhí)行A類功能的HDL可編程集成電路開3術(shù)語和定義下列術(shù)語和定義適用于本文件。3.1可追溯性traceability開發(fā)過程中兩個或多個產(chǎn)品之間可以建立的關(guān)聯(lián)的程度，特別是與其他產(chǎn)品有前驅(qū)、后繼或主次關(guān)系的產(chǎn)品。[本文定義]3.2關(guān)鍵性criticality需求、模塊、錯誤、故障、失效或其它項對系統(tǒng)的開發(fā)或運行影響的程度。[NB/T20448-2017，定義3.1.8]3.3軟件完整性級別Integritylevel表示項目獨特特性（例如，軟件的復(fù)雜性、關(guān)鍵性、風(fēng)險、安全級別、安全保密級別、期望的性能、可靠性）的值，定義了軟件對用戶的重要性。[NB/T20448-2017，定義3.1.16]23.4追溯元素trackingelements系統(tǒng)需求、系統(tǒng)設(shè)計、軟件需求、軟件設(shè)計、軟件實現(xiàn)和軟件測試的內(nèi)容，按一定顆粒度標(biāo)記為不同的追溯元素。[本文定義]3.5依據(jù)項basisitems當(dāng)前V&V活動的上游文件是可追溯性分析的依據(jù)文件，依據(jù)文件的追溯元素作為依據(jù)項。[本文定義]3.6追溯項trackingitems當(dāng)前V&V活動的輸入文件是可追溯性分析的追溯文件，追溯文件中的追溯元素作為追溯項。[本文定義]4縮略語下列縮略語適用于本文件。V&VVerificationandValidation驗證與確認5可追溯性分析一般要求可追溯性分析的目的是驗證軟件開發(fā)生命周期中相鄰的兩個開發(fā)活動輸出的研發(fā)產(chǎn)品之間、研發(fā)產(chǎn)品與測試設(shè)計之間、測試設(shè)計與測試用例之間的追溯關(guān)系，從而確保最終產(chǎn)品實現(xiàn)要求的所有功能，并且沒有實現(xiàn)多余功能。通過可追溯性分析，也為其它V&V任務(wù)提供了可信的工作基礎(chǔ)?？勺匪菪苑治鲆话阋笕缦拢篬1]可追溯性分析工作可由軟件完整性級別確定，根據(jù)NB/T20448-2017標(biāo)準(zhǔn)規(guī)定，軟件完整性級別為2、3、4都要執(zhí)行可追溯性分析；[2]可追溯性分析人員獨立于研發(fā)人員，獨立性整體要滿足標(biāo)準(zhǔn)NB/T20448-2017的要求。[3]可追溯性分析工作執(zhí)行中可以借助可追溯性分析工具（詳見附錄A），可追溯性分析工具質(zhì)量要滿足NB/T20054-2011（應(yīng)用A類軟件對應(yīng)完整性級別4的V&V工作）、NB/T20300-2014或NB/T20055-2011（應(yīng)用B、C類軟件對應(yīng)完整性級別3、2或1的V&V工作）的要求。6可追溯性分析的內(nèi)容3標(biāo)準(zhǔn)NB/T20448-2017規(guī)定軟件生命周期相關(guān)的V&V活動、階段和以及階段任務(wù)，可追溯性分析是其任務(wù)之一，各個階段可追溯性分析包含內(nèi)容如下：6.1軟件概念V&V活動的可追溯性分析軟件概念V&V活動的可追溯性分析要求如下：要完成軟件系統(tǒng)需求（作為依據(jù)文件，依據(jù)項顆粒度為相對獨立的系統(tǒng)功能項、性能項或接口項）與軟件系統(tǒng)設(shè)計（作為追溯文件，追溯項顆粒度為相對獨立的系統(tǒng)設(shè)計項和接口項）間的可追溯性分析。要分析依據(jù)項與追溯項之間正確性、一致性、完備性與準(zhǔn)確性關(guān)系。要輸出概念V&V活動可追溯性分析報告、概念V&V活動可追溯性異常報告、概念V&V活動可追溯性分析矩陣。6.2軟件需求V&V活動的可追溯性分析軟件需求V&V活動的可追溯性分析要求如下：要完成軟件系統(tǒng)設(shè)計（作為依據(jù)文件，依據(jù)項顆粒度為相對獨立的系統(tǒng)設(shè)計項和接口項）與軟件需求（作為追溯文件，追溯項顆粒度為相對獨立的軟件功能項、性能項或接口項）間的可追溯性分析。要分析依據(jù)項與追溯項之間正確性、一致性、完備性與準(zhǔn)確性關(guān)系。要輸出需求V&V活動可追溯性分析報告、需求V&V活動可追溯性異常報告、需求V&V活動可追溯性分析矩陣。6.3軟件設(shè)計V&V活動的可追溯性分析軟件設(shè)計V&V活動的可追溯性分析要求如下：要完成：n軟件需求（作為依據(jù)文件，依據(jù)項顆粒度為相對獨立的軟件功能項、性能項或接口項）與軟件設(shè)計（作為追溯文件，追溯項顆粒度為相對獨立的軟件設(shè)計項和接口項）的可追溯性分析；n如果軟件設(shè)計區(qū)分為軟件概要設(shè)計和軟件詳細設(shè)計兩層文檔，軟件概要設(shè)計（作為依據(jù)文件，依據(jù)項顆粒度為相對獨立的軟件概要設(shè)計項和接口項）與軟件詳細設(shè)計（作為追溯文件，追溯項顆粒度為相對獨立的軟件詳細設(shè)計項）的可追溯性分析。要分析依據(jù)項與追溯項之間正確性、一致性、完備性關(guān)系。要輸出設(shè)計V&V活動可追溯性分析報告、設(shè)計V&V活動可追溯性異常報告、設(shè)計V&V活動可追溯性分析矩陣。6.4軟件構(gòu)造V&V活動的可追溯性分析4軟件構(gòu)造V&V活動的可追溯性分析要求如下：如果軟件設(shè)計區(qū)分為軟件概要設(shè)計和軟件詳細設(shè)計兩層文檔，要完成軟件詳細設(shè)計（作為依據(jù)文件，依據(jù)項顆粒度為相對獨立的軟件詳細設(shè)計項）與源代碼（作為追溯文件，追溯項顆粒度為相對獨立的軟件函數(shù)項）間的可追溯性分析；否則，要完成軟件設(shè)計（作為依據(jù)文件，依據(jù)項顆粒度為相對獨立的軟件設(shè)計項和接口項）與源代碼（作為追溯文件，追溯項顆粒度為相對獨立的軟件函數(shù)項）間的可追溯性分析。軟件詳細設(shè)計/軟件設(shè)計（作為依據(jù)文件，依據(jù)項顆粒度為相對獨立的軟件設(shè)計項和接口項）與單元測試設(shè)計（作為追溯文件，追溯項顆粒度為相對獨立的單元測試設(shè)計項）間的可追溯性分析。單元測試設(shè)計（作為依據(jù)文件，依據(jù)項顆粒度為相對獨立的單元測試設(shè)計項）與單元測試用例（作為追溯文件，追溯項顆粒度為相對獨立的單元測試用例項）間的可追溯性分析。要分析依據(jù)項與追溯項之間正確性、一致性、完備性關(guān)系。要輸出實現(xiàn)V&V活動可追溯性分析報告、實現(xiàn)V&V活動可追溯性異常報告、實現(xiàn)V&V活動可追溯性分析矩陣。6.5軟件集成測試V&V活動的可追溯性分析軟件集成測試V&V活動的可追溯性分析要求如下：要完成：n軟件需求（作為依據(jù)文件，依據(jù)項顆粒度為相對獨立的軟件功能項、性能項或接口項）與軟件集成測試設(shè)計（作為追溯文件，追溯項顆粒度為相對獨立的確認測試設(shè)計項）的可追溯性分析；n軟件集成測試設(shè)計（作為依據(jù)文件，依據(jù)項顆粒度為相對獨立的確認測試設(shè)計項）與軟件集成測試用例（作為追溯文件，追溯項顆粒度為相對獨立的確認測試用例項）的可追溯性分析。要分析“追溯元素”之間正確性、完備性關(guān)系。要輸出軟件集成測試V&V活動可追溯性分析報告、軟件集成測試V&V活動可追溯性異常報告、軟件集成測試V&V活動可追溯性分析矩陣。6.6軟件鑒定測試V&V活動的可追溯性分析軟件鑒定測試V&V活動的可追溯性分析要求如下：要完成：n軟件系統(tǒng)需求（作為依據(jù)文件，依據(jù)項顆粒度為相對獨立的系統(tǒng)功能項、性能項或接口項）與軟件系統(tǒng)測試設(shè)計（作為追溯文件，追溯項顆粒度為相對獨立的系統(tǒng)測試設(shè)計項）的可追溯性分析；5軟件系統(tǒng)設(shè)計n（作為依據(jù)文件，依據(jù)項顆粒度為相對獨立的系統(tǒng)設(shè)計項和接口項）與軟件系統(tǒng)集成測試設(shè)計（作為追溯文件，追溯項顆粒度為相對獨立的系統(tǒng)集成測試設(shè)計項）的可追溯性分析;n軟件系統(tǒng)測試設(shè)計（作為依據(jù)文件，依據(jù)項顆粒度為相對獨立的系統(tǒng)測試設(shè)計項）與軟件系統(tǒng)測試用例（作為追溯文件，追溯項顆粒度為相對獨立的系統(tǒng)測試用例項）的可追溯性分析；n軟件系統(tǒng)集成測試設(shè)計（作為依據(jù)文件，依據(jù)項顆粒度為相對獨立的系統(tǒng)集成測試設(shè)計項）與軟件系統(tǒng)集成測試用例（作為追溯文件，追溯項顆粒度為相對獨立的系統(tǒng)集成測試用例項）的可追溯性分析；要分析“追溯元素”之間正確性、完備性關(guān)系。要輸出軟件鑒定測試V&V活動可追溯性分析報告、軟件鑒定測試V&V活動可追溯性異常報告、軟件鑒定測試V&V活動可追溯性分析矩陣。6.7軟件驗收測試V&V活動的可追溯性分析軟件驗收測試V&V活動的可追溯性分析要求如下：要完成：n用戶需求（作為依據(jù)文件，依據(jù)項顆粒度為相對獨立的系統(tǒng)功能項、性能項或接口項）與軟件驗收測試設(shè)計（作為追溯文件，追溯項顆粒度為相對獨立的系統(tǒng)測試設(shè)計項）的可追溯性分析；n軟件驗收測試設(shè)計（作為依據(jù)文件，依據(jù)項顆粒度為相對獨立的系統(tǒng)測試設(shè)計項）與軟件驗收測試用例（作為追溯文件，追溯項顆粒度為相對獨立的系統(tǒng)測試用例項）的可追溯性分析。要分析“追溯元素”之間正確性、完備性關(guān)系。要輸出軟件驗收測試V&V活動可追溯性分析報告、軟件驗收測試V&V活動可追溯性異常報告、軟件驗收測試V&V活動可追溯性分析矩陣。7可追溯性分析方法在進行可追溯性分析時，要從兩個方向進行：“自下而上”的追溯性分析和“自上而下”的追溯性分析?！白韵露稀钡淖匪菪苑治鍪侵笍淖匪菸募揭罁?jù)文件的可追溯性分析；“自上而下”的追溯是指從依據(jù)文件到追溯文件的追溯性分析，在可追溯性分析過程中，可以借助輔助工具，但需要人員進行確認。7.1自下而上追溯自下而上的追溯要按照如下過程進行：圖1自下而上可追溯性分析過程圖77.1.1識追溯項在追溯文件中逐項識別出追溯項，并將其依次填入附錄B（可追溯性分析表直至識別出所有追溯項。如果追溯項有標(biāo)識，將標(biāo)識和追溯項內(nèi)容一起填寫到表內(nèi)；如果追溯項沒有標(biāo)識，要把追溯項內(nèi)容及其所在的具體位置寫在相應(yīng)的表內(nèi)。最后按順序關(guān)系編寫此追溯項唯一序號，并填寫在此可追溯性分析表中。7.1.2特性適用性判斷要根據(jù)追溯項所在的V&V活動判斷“正確性”、“一致性”、“完備性”與“準(zhǔn)確性”的適用性，如果有特性不適用于此階段，則在可追溯性分析表中此特性列全部記錄為不適用或者刪除此特性。7.1.3追溯項的分類要分析追溯項是否為軟件相關(guān)描述：如果與硬件相關(guān)則按照7.1.4章節(jié)的要求執(zhí)行，如果與軟件相關(guān)則按照7.1.5章節(jié)的要求執(zhí)行。7.1.4處理硬件描述項對硬件描述項，可以參照軟件進行可追溯性分析，或者在記錄表格中注明為不適用：l“依據(jù)項”列中記錄為不適用l“正確性”、“一致性”、“完備性”、“準(zhǔn)確性”、“異常編號”列對應(yīng)的位置記錄為不適用；要簡要記錄不適用的原因。7.1.5依據(jù)項識別根據(jù)追溯項，在依據(jù)文件中識別對應(yīng)的依據(jù)項，如果沒有相對應(yīng)的依據(jù)項，執(zhí)行7.1.6章節(jié)；如果有相對應(yīng)的依據(jù)項，執(zhí)行7.1.7章節(jié)。7.1.6多余追溯項的處理在“依據(jù)項”列中記錄為“缺失”。在“正確性”、“完備性”列中記錄為不可追溯。如果“一致性”或“準(zhǔn)確性”也適用于此V&V活動，對應(yīng)的依據(jù)項的“一致性”或“準(zhǔn)確性”列中也記錄為不可追溯；如果“一致性”或“準(zhǔn)確性”不適用于此V&V活動，對應(yīng)的依據(jù)項的“一致性”或“準(zhǔn)確性”列中記錄為不適用。分析結(jié)果若為不可追溯，則執(zhí)行7.1.13章節(jié)。要在依據(jù)項對應(yīng)的“分析說明”列中對問題進行詳細描述，最后給出結(jié)論。7.1.7依據(jù)項錄入8把對應(yīng)的依據(jù)項填入可追溯性分析表中該追溯項對應(yīng)的“依據(jù)項”列。如果依據(jù)項已經(jīng)有標(biāo)識，將標(biāo)識和內(nèi)容一起填寫到表內(nèi)；如果依據(jù)項沒有標(biāo)識，要把此依據(jù)項內(nèi)容及其所在的具體位置寫在相應(yīng)的表內(nèi)。該追溯項對應(yīng)的“完備性”列中記錄為可追溯。7.1.8正確性分析分析追溯項與依據(jù)項的關(guān)系是否正確，即追溯項是否是對應(yīng)的依據(jù)項的正確轉(zhuǎn)化。如果正確，在追溯描述文檔的追溯項所對應(yīng)的表格“正確性”列中記錄為可追溯，不正確則記錄為不可追溯，并在分析說明欄位寫明判斷理由。違背正確性的情況(詳見附錄C)：1）一對一情況下，整個依據(jù)項沒有得到正確轉(zhuǎn)化；2）一對一情況下，部分依據(jù)文件中的項沒有得到正確轉(zhuǎn)化；3）一對多情況下，存在的不正確對應(yīng)；4）多對一情況下，存在的不正確對應(yīng)。7.1.9一致性分析如果一致性適用于本V&V活動，分析追溯項與依據(jù)項之間的關(guān)系是否按一致的詳細程度來規(guī)定，即追溯項與依據(jù)項的內(nèi)容的轉(zhuǎn)化詳細程度是否一致。如果一致，在追溯項所對應(yīng)的表格“一致性”列中記錄為可追溯，不一致則記錄為不可追溯，并在分析說明欄位寫明判斷理由。違背一致性的情況：1）一對一情況下，追溯文件缺少部分內(nèi)容；2）一對一情況下，追溯文件多出部分內(nèi)容；3）一對多情況下，追溯文件缺失部分內(nèi)容；4）一對多情況下，追溯文件多出部分內(nèi)容；5）多對一情況下，追溯文件多出部分內(nèi)容；6）多對一情況下，追溯文件缺少部分內(nèi)容。7.1.10完備性分析如果完備性適用于本V&V活動，分析所有追溯項是否都有對應(yīng)的依據(jù)項。如果覆蓋完整，在追溯項所對應(yīng)的表格“完備性”列中記錄為可追溯，不一致則記錄為不可追溯，并在分析說明欄位寫明判斷理違背完備性的情況：1）依據(jù)文件中沒有對應(yīng)項。7.1.11準(zhǔn)確性分析9如果準(zhǔn)確性適用于本V&V活動，并且有系統(tǒng)性能與運行特性的定量規(guī)定的依據(jù)項，應(yīng)分析追溯項是否符合依據(jù)項中的這些定量要求。如果符合要求，在該追溯項所對應(yīng)的表格“準(zhǔn)確性”列中記錄為可追溯，不符合則記錄為不可追溯，并在分析說明欄位寫明判斷理由；如果沒有系統(tǒng)性能與運行特性的定量規(guī)定的依據(jù)項，在該追溯項所對應(yīng)的表格“準(zhǔn)確性”列中記錄為不適用。違背準(zhǔn)確性的情況：1）在系統(tǒng)性能方面，追溯項與依據(jù)項描述不一致；2）在可靠性方面，追溯項與依據(jù)項描述不一致。7.1.12綜合分析在所有適用的特性分析中，只要有一個特性的分析結(jié)果為不可追溯，則判定此追溯項不符合可追溯如果符合可追溯性，在“異常編號”列對應(yīng)的位置記錄為不適用；如果不符合可追溯性，在“異常編號”列填寫異常編號；在“分析說明”列中對該異常進行簡要描述。7.1.13提交異常在異常處理系統(tǒng)中對可追溯性分析過程中識別的異常提交異常報告和進行異常處理，在異常報告中：異常描述應(yīng)清楚描述異常違反的追溯特性。異常影響描述對系統(tǒng)的功能和安全性所造成的影響。可追溯性可能發(fā)生的異常如下：n依據(jù)項沒有轉(zhuǎn)化為追溯項n追溯項沒有對應(yīng)的依據(jù)項n依據(jù)項到追溯項轉(zhuǎn)化錯誤n依據(jù)項到追溯項轉(zhuǎn)化不完整7.2自上而下追溯自上而下的追溯過程要按照如下過程進行：圖2自上而下可追溯性分析過程圖7.2.1識別依據(jù)項在依據(jù)文件中逐項識別出依據(jù)項，并將其依次填入附錄B（可追溯性分析表直至識別出所有依據(jù)項。如果依據(jù)項有標(biāo)識，將標(biāo)識和依據(jù)項內(nèi)容一起填寫到表內(nèi)；如果依據(jù)項沒有標(biāo)識，要把依據(jù)項內(nèi)容及其所在的具體位置寫在相應(yīng)的表內(nèi)。最后按順序關(guān)系編寫此追溯項唯一序號，并填寫在此可追溯性分析表中。7.2.2特性適用性判斷要根據(jù)追溯項所在的V&V活動判斷“一致性”、“完備性”的適用性，如果有特性不適用于此階段，則在可追溯性分析表中此特性列全部記錄為不適用或者刪除此特性。7.2.3依據(jù)項分類要分析依據(jù)項是否為軟件相關(guān)描述，如果與硬件相關(guān)則按照7.2.4章節(jié)的要求執(zhí)行，如果與軟件相關(guān)則按照7.2.5章節(jié)的要求執(zhí)行。7.2.4處理硬件描述項對硬件描述項，可以參照軟件進行可追溯性分析，或者在記錄表格中注明為不適用：l“追溯項”列中記錄為不適用l“一致性”、“完備性”、“異常編號”列中對應(yīng)的位置記錄為不適用；要簡要記錄不適用的原因。7.2.5追溯項識別根據(jù)依據(jù)項，在追溯文件中識別對應(yīng)的追溯項，如果沒有相對應(yīng)的追溯項，執(zhí)行7.2.6章節(jié)；如果有相對應(yīng)的追溯項，執(zhí)行7.2.7章節(jié)。7.2.6丟失追溯項的處理在“追溯項”列中記錄為“缺失”。在“完備性”列中記錄為不可追溯。如果“一致性”也適用于此V&V活動，對應(yīng)的追溯項的“一致性”列中記錄為不可追溯；如果“一致性”不適用于此V&V活動，對應(yīng)的追溯項“一致性”列中記錄為不適用。分析結(jié)果若為不可追溯，則執(zhí)行7.2.11章節(jié)。要在追溯項對應(yīng)的“分析說明”列中對問題進行詳細描述，最后給出結(jié)論。7.2.7追溯項錄入把對應(yīng)的追溯項填入可追溯性分析表中該依據(jù)項對應(yīng)的“追溯項”列。如果追溯項已經(jīng)有標(biāo)識，將標(biāo)識和內(nèi)容一起填寫到表內(nèi)；如果追溯項沒有標(biāo)識，要把此追溯項內(nèi)容及其所在的具體位置寫在相應(yīng)的表內(nèi)。該依據(jù)項對應(yīng)的“完備性”列中記錄為可追溯。7.2.8一致性分析如果一致性適用于本V&V活動，分析依據(jù)項與追溯項之間的關(guān)系是否按一致的詳細程度來規(guī)定。即依據(jù)項與追溯項的內(nèi)容的轉(zhuǎn)化詳細程度是否一致。如果一致，在依據(jù)項所對應(yīng)的表格“一致性”列中記錄為可追溯，不一致記錄為不可追溯，并在分析說明欄位寫明判斷理由。違背一致性的情況：1）一對一情況下，追溯文件缺少部分內(nèi)容；2）一對一情況下，追溯文件多出部分內(nèi)容；3）一對多情況下，追溯文件缺失部分內(nèi)容；4）一對多情況下，追溯文件多出部分內(nèi)容；5）多對一情況下，追溯文件多出部分內(nèi)容；6）多對一情況下，追溯文件缺少部分內(nèi)容。7.2.9完備性分析如果完備性適用于本V&V活動，分析所有依據(jù)項是否都有對應(yīng)的追溯項。如果覆蓋完整，在依據(jù)項所對應(yīng)的表格“完備性”列中記錄為可追溯，不一致則記錄為不可追溯，并在分析說明欄位寫明判斷理違背完備性的情況：追溯文件中缺少對應(yīng)項。7.2.10綜合分析在所有適用的特性分析中，只要有一個特性的分析結(jié)果為不可追溯，則判定此追溯項不符合可追溯如果符合可追溯性，在“異常編號”列對應(yīng)的位置記錄不適用；如果不符合可追溯性，在“異常編號”列中填寫異常編號；在“分析說明”列中對問題進行簡要描述。7.2.11提交異常與7.1.13章節(jié)同。7.3分析總結(jié)在階段報告中對可追溯性分析依據(jù)、方法、過程以及結(jié)果進行總結(jié)，至此可追溯性分析工作結(jié)束?？勺匪菪苑治龉ぞ呖勺匪菪苑治龉ぞ咴谲浖_發(fā)和項目管理中扮演著至關(guān)重要的角色。這類工具旨在確保軟件開發(fā)的各個環(huán)節(jié)（如需求、設(shè)計、編碼、測試等）之間的信息能夠準(zhǔn)確地相互追溯和關(guān)聯(lián)。A.1可追溯性分析工具用途[1].全面的可追溯性支持：工具應(yīng)支持從需求到設(shè)計、編碼、測試等各個環(huán)節(jié)的全流程追溯，實現(xiàn)前向和后向的可追溯性，確保需求的實現(xiàn)得到驗證，同時設(shè)計變更能夠追溯到原始需求。[2].準(zhǔn)確性、一致性和完整性保證：工具應(yīng)能準(zhǔn)確捕獲和記錄軟件開發(fā)過程中的各種信息，如需求、變更、錯誤等。確保這些信息在各個環(huán)節(jié)之間傳遞時的一致性和完整性，防止信息丟失或失真。[3].提升工作效率：提供直觀易用的界面和操作方式，降低學(xué)習(xí)和使用成本。支持自動化操作，減少人工輸入和錯誤，提高工作效率。[4].降低風(fēng)險：通過確保需求的完整追溯和驗證，降低開發(fā)錯誤的風(fēng)險。提供變更影響分析功能，幫助團隊快速評估變更帶來的潛在影響。A.2可追溯性分析工具類型可追溯性分析工具根據(jù)其功能和特點，可以分為幾種常見的類型。以下是按照清晰格式歸納的可追溯性分析工具類型：[1].需求管理工具：幫助團隊記錄和跟蹤所有需求，確保所有需求都被正確理解和實現(xiàn)。示例：一些流行的需求管理工具包括JIRA、Doors等，它們提供了需求創(chuàng)建、編輯、跟蹤和驗證的功能。[2].測試用例管理工具：與需求管理工具緊密集成，幫助團隊創(chuàng)建、組織和執(zhí)行測試用例，確保所有需求都有相應(yīng)的測試用例覆蓋。示例：TestRail、qTest等是常見的測試用例管理工具，它們支持測試用例的創(chuàng)建、執(zhí)行和結(jié)果記錄。[3].模型和代碼分析工具：對軟件模型和代碼進行靜態(tài)分析，檢查它們是否滿足可追溯性要求，例如檢查代碼是否實現(xiàn)了所有需求。示例：一些集成開發(fā)環(huán)境（IDE）如IntelliJIDEA、VisualStudio等內(nèi)置了代碼分析工具，而一些專門的工具如SonarQube則提供了更深入的代碼質(zhì)量分析。[4].配置和變更管理工具：跟蹤和管理軟件配置和變更，確保所有變更都被正確記錄并可以追溯到原始需求。示例：Git、SVN等版本控制系統(tǒng)是配置和變更管理的核心工具，它們記錄了代碼的所有變更歷史，并提供了分支、合并等功能來管理復(fù)雜的變更場景。[5].自動化跟蹤工具：通過自動化手段在需求和代碼之間建立和維護可追溯性關(guān)系，減少手動操作并提高準(zhǔn)確性。示例：一些需求管理工具提供了與代碼倉庫的集成功能，可以自動將需求與代碼提交關(guān)聯(lián)起來；同時，一些持續(xù)集成/持續(xù)部署（CI/CD）工具也支持自動化測試和執(zhí)行，確保每次代碼變更都經(jīng)過驗證并滿足可追溯性要求。[6].報告和可視化工具：生成各種報告和圖表來展示可追溯性狀態(tài)，幫助團隊更好地理解產(chǎn)品的結(jié)構(gòu)和功能，并快速識別潛在問題。示例：一些需求管理工具提供了豐富的報告和可視化功能，如甘特圖、需求樹狀圖等；同時，一些BI（商業(yè)智能）工具也可以用于生成更復(fù)雜的可追溯性報告和分析。[7].支持手動跟蹤的工具：雖然自動化跟蹤工具越來越普及，但在某些情況下仍需要手動跟蹤。這些工具提供了手動創(chuàng)建和維護可追溯性關(guān)系的功能。示例：Excel、Word等文檔處理工具可以用于手動記錄需求、測試用例和代碼之間的關(guān)聯(lián)關(guān)系；同時，一些項目管理工具如MicrosoftProject也支持手動添加和編輯可追溯性信息。在選擇可追溯性分析工具時，需要根據(jù)項目的具體需求和團隊的技術(shù)來選擇合適的工具組合。同時，為了確保工具的有效使用，團隊還需要接受相關(guān)培訓(xùn)并獲得必要的支持。A.3可追溯性分析工具驗證要驗證可追溯性分析工具的可靠性和有效性，需要遵循一系列步驟來確保工具的性能符合預(yù)期，并能夠在實際項目中提供準(zhǔn)確的可追溯性分析，在可追溯分析工具之前要通過驗證，滿足NB/T20054-2011（應(yīng)用A類軟件對應(yīng)完整性級別4的V&V工作）、NB/T20300-2014或NB/T20055-2011（應(yīng)用B、C類軟件對應(yīng)完整性級別3、2或1的V&V工作）的要求。通常采用多種測試方法(如單元測試、集成測試、系統(tǒng)測試等)來驗證可追溯性分析工具的準(zhǔn)確性和可靠性。這些測試應(yīng)涵蓋工具的各個功能模塊和關(guān)鍵特性。如果可能，使用仿真和模擬技術(shù)來模擬實際項目環(huán)境，以測試工具在實際應(yīng)用中的表現(xiàn)。這種方法可以幫助識別潛在的問題和改進點。[1].執(zhí)行驗證過程數(shù)據(jù)收集：收集項目中的相關(guān)數(shù)據(jù)，包括需求、設(shè)計、編碼、測試等各個環(huán)節(jié)的信息。確保數(shù)據(jù)的準(zhǔn)確性和完整性。工具使用：使用可追溯性分析工具對收集到的數(shù)據(jù)進行分析和處理。確保工具能夠正確地解析和呈現(xiàn)數(shù)據(jù)之間的關(guān)系。結(jié)果驗證：將工具的分析結(jié)果與預(yù)期的目標(biāo)和標(biāo)準(zhǔn)進行比對。檢查工具是否能夠準(zhǔn)確地識別出需求、設(shè)計、編碼和測試之間的關(guān)聯(lián)關(guān)系，并評估其一致性和完整性。[2].評估驗證結(jié)果準(zhǔn)確性評估：評估工具在捕捉和記錄項目信息方面的準(zhǔn)確性。檢查是否存在遺漏、錯誤或不一致的情況?？煽啃栽u估：評估工具在長時間運行和大量數(shù)據(jù)處理時的穩(wěn)定性和可靠性。檢查是否存在性能下降、崩潰或數(shù)據(jù)丟失等問題。易用性評估：評估工具的易用性和用戶體驗。檢查工具的操作界面是否直觀易用，用戶是否能夠快速上手并熟練使用。根據(jù)驗證結(jié)果，對可追溯性分析工具的性能進行評估和總結(jié)。明確工具的優(yōu)點和不足之處。根據(jù)驗證結(jié)果和改進建議，對可追溯性分析工具進行更新和迭代。確保工具能夠持續(xù)改進并滿足項目的實際需求。A.4可追溯性分析工具使用[1].在使用可追溯性分析工具之前，團隊?wèi)?yīng)明確所有需求，并將其記錄在工具中。這將確保所有成員都了解項目的目標(biāo)和范圍。[2].在設(shè)計和開發(fā)過程中，團隊?wèi)?yīng)使用工具建立需求、設(shè)計、測試等元素之間的關(guān)聯(lián)。這將確保在整個生命周期內(nèi)都可以輕松跟蹤和驗證這些元素。[3].團隊?wèi)?yīng)定期檢查可追溯性狀態(tài)，并修復(fù)任何潛在問題。此外，團隊還應(yīng)利用工具生成的報告和圖表來監(jiān)控項目的進度和質(zhì)量。[4].為確保團隊成員能夠充分利用可追溯性分析工具的功能，團隊?wèi)?yīng)接受相關(guān)培訓(xùn)并獲得必要的支A.5結(jié)論可追溯性分析工具是確保產(chǎn)品或系統(tǒng)在整個生命周期內(nèi)保持高質(zhì)量和可靠性的重要