摘要：ACPR1000核电站反应堆安全注入系统（RIS）是反应堆专设安全设施设计中的重要组成部分，其功能逻辑复杂，与其他系统间制约及联动逻辑较多，涉及的系统产品及网络庞大。作为一个整体验证DCS系统是否实现ACPR1000安注功能进行的黑盒系统测试具有很大的困难，同时对测试方法的设计提出了更高的要求。结合核电站安全级仪控系统实际测试活动，从安注功能逻辑分析入手，阐述了基于功能的测试方法，重点介绍了复杂逻辑分析简化方法以及真值表设计方法，同时通过实际应用，表明此种测试方法，能够准确而全面的验证ACPR1000核电站数字化仪控系统中安全注入专设保护功能，为系统测试阶段的其他功能测试提供参考。