一种适于反应堆保护系统的逻辑测试方法及装置制造方法及图纸

本发明专利技术涉及一种适于反应堆保护系统的逻辑测试方法及装置，该测试方法包括：构建步骤，构建测试程序和基于ＣＳＶ格式的真值表，所述真值表中包括反应堆保护系统的逻辑图索引信息、输入变量、输出变量、输入变量的赋值信息、输出变量的预期值和执行时间；调用步骤，读取逻辑图索引信息，调用与其对应的测试程序；运算步骤，读取输入变量，并依据输入变量的赋值信息对该输入变量进行赋值，再依据调用的测试程序和执行时间进行逻辑运算，得到输出变量的输出值；判断步骤，判断输出变量的输出值预期值是否一致，若是，将输出结果正确信息；若否，将输出结果错误信息。本发明专利技术通过构建基于ＣＳＶ格式的真值表和测试程序进行测试，便于修改及调整，可避免人因失误。

【技术实现步骤摘要】

本专利技术涉及核电站领域，更具体地说，涉及一种适于反应堆保护系统的逻辑测试方法及装置。
技术介绍
反应堆保护系统作为核电站的一个主要部分，其功用是保护三大核安全屏障(即燃料包壳、一回路压力边界和安全壳)的完整性，当核电站的运行参数达到危及三大屏障完整性的阈值时，反应堆保护系统立即动作，触发反应堆紧急停堆，必要时启动专设安全设施。在反应堆保护系统的逻辑设计时，首先对现场采集的数百个运行参数进行限值比较，然后进行各种组合的逻辑处理，最终判断是否输出反应堆跳堆信号或专设安全设施动作信号。由于反应堆保护系统的输入与输出间的逻辑关系极其复杂，且关系到核电站设计的安全性，因此这部分逻辑真值的正确性显得尤为重要。目前，在反应堆保护系统的逻辑设计领域中，采用的测试方法普遍是手动测试，SP根据测试程序按步骤手动设置输入变量，观察并记录输出变量，其存在一定缺陷，如需根据测试程序设置操作界面，一旦测试程序调整，则相应操作界面也需重新设置，较为不便；需测试人员手动完成每一步输入设置和输出记录操作，效率低下；完全手动测试，难以避免人因失误。于是，迫切需求一种适于反应堆保护系统的逻辑测试方案以解决上述问题。
技术实现思路
本专利技术要解决的技术问题在于，针对现有技术的上述反应堆保护系统的逻辑设计采用手动测试时较为不便、效率低下、难以避免人因失误的缺陷，提供一种适于反应堆保护系统的逻辑测试方法及装置。本专利技术解决其技术问题所采用的技术方案之一是构造一种适于反应堆保护系统的逻辑测试方法，其包括构建步骤构建测试程序和基于CSV格式的真值表，所述真值表中包括反应堆保护系统的逻辑图索引信息、输入变量、输出变量、输入变量的赋值信息、输出变量的预期值和执行时间；调用步骤读取所述逻辑图索引信息，调用与其对应的所述测试程序；运算步骤读取所述输入变量，并依据所述输入变量的赋值信息对所述输入变量进行赋值，再依据调用的测试程序和执行时间进行逻辑运算，得到输出变量的输出值；判断步骤判断所述输出变量的输出值与所述输出变量的预期值是否一致，若是，将输出结果正确信息；若否，将输出结果错误信息；输出步骤输出所述结果正确信息和/或结果错误信息。上述本专利技术所述的适于反应堆保护系统的逻辑测试方法中，还包括初始化步骤在执行所述调用步骤前，进行初始化操作。上述本专利技术所述的适于反应堆保护系统的逻辑测试方法中，还包括存储步骤存储所述结果正确信息和/或结果错误信息。上述本专利技术所述的适于反应堆保护系统的逻辑测试方法中，还包括跟踪步骤对所述运算步骤的执行过程进行跟踪。上述本专利技术所述的适于反应堆保护系统的逻辑测试方法中，所述输入变量为模拟量和/或数字量，所述输出变量为数字量。本专利技术解决其技术问题所采用的技术方案之二是构造一种适于反应堆保护系统的逻辑测试装置，其包括构建单元构建测试程序和基于CSV格式的真值表，所述真值表中包括反应堆保护系统的逻辑图索引信息、输入变量、输出变量、输入变量的赋值信息、输出变量的预期值和执行时间；调用单元读取所述逻辑图索引信息，调用与其对应的所述测试程序；运算单元读取所述输入变量，并依据所述输入变量的赋值信息对所述输入变量进行赋值，再依据调用的测试程序和执行时间进行逻辑运算，得到输出变量的输出值；判断单元判断所述输出变量的输出值与所述输出变量的预期值是否一致，若是，将输出结果正确信息；若否，将输出结果错误信息；输出单元输出所述结果正确信息和/或结果错误信息。上述本专利技术所述的适于反应堆保护系统的逻辑测试装置中，还包括初始化单元在执行所述调用单元执行操作前，进行初始化操作。上述本专利技术所述的适于反应堆保护系统的逻辑测试装置中，还包括存储单元存储所述结果正确信息和/或结果错误信息。上述本专利技术所述的适于反应堆保护系统的逻辑测试装置中，还包括跟踪单元用于对所述运算步骤的执行过程进行跟踪。上述本专利技术所述的适于反应堆保护系统的逻辑测试装置中，所述输入变量为模拟量和/或数字量，所述输出变量为数字量。实施本专利技术的适于反应堆保护系统的逻辑测试方法及装置，具有以下优点第一、通过构建基于CSV格式的真值表和测试程序来进行测试，便于修改及调整；第二，全自动的测试构建，可避免人因失误，提高测试效率；第三，自动生成测试结果和定位缺陷，便于设计错误的排查。附图说明下面将结合附图及实施例对本专利技术作进一步说明，附图中图1是本专利技术适于反应堆保护系统的逻辑测试方法的第一优选实施例的流程图；图2是本专利技术适于反应堆保护系统的逻辑测试方法的第二优选实施例的流程图；图3是本专利技术适于反应堆保护系统的逻辑测试装置的第一优选实施例的方框图；图4是本专利技术适于反应堆保护系统的逻辑测试装置的第二优选实施例的方框图。具体实施方式如图1所述，是本专利技术适于反应堆保护系统的逻辑测试方法的第一优选实施例的流程图。本第一优选实施例中，该适于反应堆保护系统的逻辑测试方法包括开始步骤。构建步骤S1:构建测试程序和基于CSV (Comma Separated value)格式的真值表，所述真值表中包括反应堆保护系统的逻辑图索引信息、输入变量、输出变量、输入变量的赋值信息、输出变量的预期值和执行时间。所谓CSV，即为CSV逗号分隔值文件，是一种用来存储数据的纯文本文件格式，通常用于电子表格或数据库软件。所谓逻辑图索引信息，即为某逻辑图的命名信息，每个逻辑图对应唯一的逻辑图索引信息。在本构建步骤SI中，构建测试程序和真值表时，每个真值表对应唯一的测试程序，每个真值表中包含唯一的逻辑图索引信息。调用步骤S2 :读取所述逻辑图索引信息，调用与其对应的所述测试程序。由于每个真值表对应唯一的测试程序，每个真值表有中包含唯一的逻辑图索引信息，所以，通过读取所述逻辑图索引信息，即可调用与该逻辑图索引信息对应的测试程序。运算步骤S3 :读取所述输入变量，并依据所述输入变量的赋值信息对所述输入变量进行赋值，再依据调用的测试程序和执行时间进行逻辑运算，得到输出变量的输出值。本运算步骤S3中，所述输入变量为一个或多个，且为模拟量和/或数字量，所述输入变量在构建基于CSV格式的真值表时被设置，即当输入变量为一个时，只可对单独的一个输入变量及其对应的输出值进行测试，适用于对某个输入变量进行跟踪测试；当输入变量为多个时，可同时对多个输入变量及其分别对应的输出值进行测试，提高了工作效率，节省了时间。本运算步骤S3中，所述执行时间用于约束执行的时序，通过调用所述测试程序来进行逻辑运算，最终得到输出变量的输出值。另外，由于所述输出变量为数字量，于是所述输出变量的输出值为“0”或“I”。判断步骤S4 :判断所述输出变量的输出值与所述输出变量的预期值是否一致，若是，将输出结果正确信息；若否，将输出结果错误信息。在构建步骤Si中，在构建基于CSV格式的真值表时，将输出变量的预期值设置为“0”或“1”，于是，在判断步骤S4中，若所述输出变量的输出值与所述输出变量的预期值同时为“0”或“1”，将输出结果正确信息；若所述输出变量的输出值与所述输出变量的预期值不同时为“0”或“1”，将输出结果错误信息。输出步骤S5 :输出上面判断步骤S4最后得出的所述结果正确信息和/或结果错误信息。本输出步骤S5中，可将上述所述结果正确信息和/或结果错误信息输出(分别如步骤S5 (a)和步骤S5 (本文档来自技高网...

【技术保护点】
一种适于反应堆保护系统的逻辑测试方法，其特征在于，包括：构建步骤：构建测试程序和基于ＣＳＶ格式的真值表，所述真值表中包括反应堆保护系统的逻辑图索引信息、输入变量、输出变量、输入变量的赋值信息、输出变量的预期值和执行时间；调用步骤：读取所述逻辑图索引信息，调用与其对应的所述测试程序；运算步骤：读取所述输入变量，并依据所述输入变量的赋值信息对所述输入变量进行赋值，再依据调用的测试程序和执行时间进行逻辑运算，得到输出变量的输出值；判断步骤：判断所述输出变量的输出值与所述输出变量的预期值是否一致，若是，将输出结果正确信息；若否，将输出结果错误信息；输出步骤：输出所述结果正确信息和／或结果错误信息。

【技术特征摘要】
1.一种适于反应堆保护系统的逻辑测试方法，其特征在于，包括 构建步骤构建测试程序和基于CSV格式的真值表，所述真值表中包括反应堆保护系统的逻辑图索引信息、输入变量、输出变量、输入变量的赋值信息、输出变量的预期值和执行时间；每个所述真值表中包含唯一的逻辑图索引信息；每个所述真值表对应唯一的测试程序； 调用步骤读取所述逻辑图索引信息，调用与其对应的所述测试程序； 运算步骤读取所述输入变量，并依据所述输入变量的赋值信息对所述输入变量进行赋值，再依据调用的测试程序和执行时间进行逻辑运算，得到输出变量的输出值； 跟踪步骤对所述运算步骤的执行过程进行跟踪； 判断步骤判断所述输出变量的输出值与所述输出变量的预期值是否一致，若是，将输出结果正确信息；若否，将输出结果错误信息； 输出步骤输出所述结果正确信息和/或结果错误信息。2.根据权利要求1所述的适于反应堆保护系统的逻辑测试方法，其特征在于，还包括 初始化步骤在执行所述调用步骤前，进行初始化操作。3.根据权利要求1所述的适于反应堆保护系统的逻辑测试方法，其特征在于，还包括 存储步骤存储所述结果正确信息和/或结果错误信息。4.根据权利要求1所述的适于反应堆保护系统的逻辑测试方法，其特征在于，所述输入变量为模拟量和/或数字量，所述输出变量为数字量。5.一...

【专利技术属性】
技术研发人员：卢超，张黎明，江国进，张焕欣，周亮，
申请(专利权)人：中广核工程有限公司，中国广东核电集团有限公司，
类型：发明
国别省市：94[中国|深圳]