摘要:ACPR1000核電站反應堆安全注入系統(RIS)是反應堆專設安全設施設計中的重要組成部分,其功能邏輯復雜,與其他系統間制約及聯動邏輯較多,涉及的系統產品及網絡龐大。作為一個整體驗證DCS系統是否實現ACPR1000安注功能進行的黑盒系統測試具有很大的困難,同時對測試方法的設計提出了更高的要求。結合核電站安全級儀控系統實際測試活動,從安注功能邏輯分析入手,闡述了基于功能的測試方法,重點介紹了復雜邏輯分析簡化方法以及真值表設計方法,同時通過實際應用,表明此種測試方法,能夠準確而全面的驗證ACPR1000核電站數字化儀控系統中安全注入專設保護功能,為系統測試階段的其他功能測試提供參考。
關鍵詞:ACPR1000;安全注入功能;系統測試;測試設計;自動測試技術
摘自《自動化博覽》2015年11月刊