核電站數(shù)字化儀控系統(tǒng)軟件驗(yàn)證和確認(rèn)實(shí)用手冊(cè)

致謝
序言
第一章　緒論
　1.1　進(jìn)行軟件V&V的必要性
　1.2　V&V導(dǎo)則(美國(guó)監(jiān)管導(dǎo)則，IEEESfd1012)
　1.3　V&V概述
第二章　V&V監(jiān)管導(dǎo)則和IEEE標(biāo)準(zhǔn)要求
　2.1　V&V指導(dǎo)文件和它們間的層次關(guān)系
　2.2　管理導(dǎo)則及IEEE標(biāo)準(zhǔn)
　　2.2.1　聯(lián)邦法規(guī)IOCFRSO附錄B
　　2.2.2　技術(shù)分支BTP7—14
　　2.2.3　聯(lián)邦導(dǎo)則和IEEE標(biāo)準(zhǔn)
　　2.2.4　IOCFR附錄B和V&V
第三章　V&V組織機(jī)構(gòu)要求
　3.1　典型的V&V組織機(jī)構(gòu)
　3.2　V&V機(jī)構(gòu)的組織形式
　　3.2.1　獨(dú)立的V&V小組
　　3.2.2　嵌入在系統(tǒng)開發(fā)中的V&V小組
　　3.2.3　嵌入在質(zhì)保中的V&V小組
　　3.2.4　嵌入在用戶小組中的V&V小組
　3.3　獨(dú)立V&V
第四章　V&V生存周期過(guò)程(V模型)
　4.1　V&V萬(wàn)法
　　4.1.1　設(shè)計(jì)審查和驗(yàn)證
　　4.1.2　源代碼審查和逐項(xiàng)校對(duì)
　　4.1.3　分析
　　4.1.4　測(cè)試
　　4.1.5　指標(biāo)
　4.2　生存周期過(guò)程
　　4.2.1　軟件生存周期過(guò)程
　　4.2.2　軟件生存周期中應(yīng)用V&V
　4.3　V模型
　　4.3.1　軟件組件測(cè)試
　　4.3.2　軟件集成測(cè)試
　　4.3.3　系統(tǒng)集成測(cè)試
　　4.3.4　系統(tǒng)測(cè)試
　　4.3.5　出廠驗(yàn)收測(cè)試
第五章　V&V實(shí)例演練
　5.1　核電站儀控系統(tǒng)和系統(tǒng)分解
　5.2　V模型實(shí)例演練
第六章　V&V計(jì)劃綱要和匯報(bào)要求
　6.1　V&V計(jì)劃綱要
　　6.1.1　確定V&V范圍
　　6.1.2　從項(xiàng)目范圍建立具體目標(biāo)
　　6.1.3　在選擇V&V工具、技術(shù)和準(zhǔn)備計(jì)劃之前分析項(xiàng)目輸入
　　6.1.4　選擇工具和技術(shù)
　　6.1.5　計(jì)劃開發(fā)
　6.2　V&V報(bào)告要求
　　6.2.1　V&V報(bào)告要求
　　6.2.2　V&V報(bào)告內(nèi)容
參考文獻(xiàn)