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

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