摘要:ACPR1000核電站反應(yīng)堆安全注入系統(tǒng)(RIS)是反應(yīng)堆專設(shè)安全設(shè)施設(shè)計(jì)中的重要組成部分,其功能邏輯復(fù)雜,與其他系統(tǒng)間制約及聯(lián)動(dòng)邏輯較多,涉及的系統(tǒng)產(chǎn)品及網(wǎng)絡(luò)龐大。作為一個(gè)整體驗(yàn)證DCS系統(tǒng)是否實(shí)現(xiàn)ACPR1000安注功能進(jìn)行的黑盒系統(tǒng)測(cè)試具有很大的困難,同時(shí)對(duì)測(cè)試方法的設(shè)計(jì)提出了更高的要求。結(jié)合核電站安全級(jí)儀控系統(tǒng)實(shí)際測(cè)試活動(dòng),從安注功能邏輯分析入手,闡述了基于功能的測(cè)試方法,重點(diǎn)介紹了復(fù)雜邏輯分析簡(jiǎn)化方法以及真值表設(shè)計(jì)方法,同時(shí)通過實(shí)際應(yīng)用,表明此種測(cè)試方法,能夠準(zhǔn)確而全面的驗(yàn)證ACPR1000核電站數(shù)字化儀控系統(tǒng)中安全注入專設(shè)保護(hù)功能,為系統(tǒng)測(cè)試階段的其他功能測(cè)試提供參考。