核電站數字化儀控系統(tǒng)軟件驗證和確認實用手冊

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