专利名称:一种适于反应堆保护系统的逻辑测试方法及装置的制作方法
技术领域：
本发明涉及核电站领域，更具体地说，涉及一种适于反应堆保护系统的逻辑测试方法及装置。
背景技术：
反应堆保护系统作为核电站的一个主要部分，其功用是保护三大核安全屏障(即燃料包壳、一回路压力边界和安全壳)的完整性，当核电站的运行参数达到危及三大屏障完整性的阈值时，反应堆保护系统立即动作，触发反应堆紧急停堆，必要时启动专设安全设施。
在反应堆保护系统的逻辑设计时，首先对现场采集的数百个运行参数进行限值比较，然后进行各种组合的逻辑处理，最终判断是否输出反应堆跳堆信号或专设安全设施动作信号。由于反应堆保护系统的输入与输出间的逻辑关系极其复杂，且关系到核电站设计的安全性，因此这部分逻辑真值的正确性显得尤为重要。
目前，在反应堆保护系统的逻辑设计领域中，采用的测试方法普遍是手动测试，SP根据测试程序按步骤手动设置输入变量，观察并记录输出变量，其存在一定缺陷，如需根据测试程序设置操作界面，一旦测试程序调整，则相应操作界面也需重新设置，较为不便；需测试人员手动完成每一步输入设置和输出记录操作，效率低下；完全手动测试，难以避免人因失误。
于是，迫切需求一种适于反应堆保护系统的逻辑测试方案以解决上述问题。
发明内容
本发明要解决的技术问题在于，针对现有技术的上述反应堆保护系统的逻辑设计采用手动测试时较为不便、效率低下、难以避免人因失误的缺陷，提供一种适于反应堆保护系统的逻辑测试方法及装置。
本发明解决其技术问题所采用的技术方案之一是构造一种适于反应堆保护系统的逻辑测试方法，其包括
构建步骤构建测试程序和基于CSV格式的真值表，所述真值表中包括反应堆保护系统的逻辑图索引信息、输入变量、输出变量、输入变量的赋值信息、输出变量的预期值和执行时间；
调用步骤读取所述逻辑图索引信息，调用与其对应的所述测试程序；
运算步骤读取所述输入变量，并依据所述输入变量的赋值信息对所述输入变量进行赋值，再依据调用的测试程序和执行时间进行逻辑运算，得到输出变量的输出值；
判断步骤判断所述输出变量的输出值与所述输出变量的预期值是否一致，若是，将输出结果正确信息；若否，将输出结果错误信息；
输出步骤输出所述结果正确信息和/或结果错误信息。
上述本发明所述的适于反应堆保护系统的逻辑测试方法中，还包括[0014]初始化步骤在执行所述调用步骤前，进行初始化操作。
上述本发明所述的适于反应堆保护系统的逻辑测试方法中，还包括
存储步骤存储所述结果正确信息和/或结果错误信息。
上述本发明所述的适于反应堆保护系统的逻辑测试方法中，还包括
跟踪步骤对所述运算步骤的执行过程进行跟踪。
上述本发明所述的适于反应堆保护系统的逻辑测试方法中，所述输入变量为模拟
量和/或数字量，所述输出变量为数字量。
本发明解决其技术问题所采用的技术方案之二是构造一种适于反应堆保护系统的逻辑测试装置，其包括
构建单元构建测试程序和基于CSV格式的真值表，所述真值表中包括反应堆保护系统的逻辑图索引信息、输入变量、输出变量、输入变量的赋值信息、输出变量的预期值和执行时间；
调用单元读取所述逻辑图索引信息，调用与其对应的所述测试程序；
运算单元读取所述输入变量，并依据所述输入变量的赋值信息对所述输入变量进行赋值，再依据调用的测试程序和执行时间进行逻辑运算，得到输出变量的输出值；
判断单元判断所述输出变量的输出值与所述输出变量的预期值是否一致，若是，将输出结果正确信息；若否，将输出结果错误信息；
输出单元输出所述结果正确信息和/或结果错误信息。
上述本发明所述的适于反应堆保护系统的逻辑测试装置中，还包括
初始化单元在执行所述调用单元执行操作前，进行初始化操作。
上述本发明所述的适于反应堆保护系统的逻辑测试装置中，还包括
存储单元存储所述结果正确信息和/或结果错误信息。
上述本发明所述的适于反应堆保护系统的逻辑测试装置中，还包括
跟踪单元用于对所述运算步骤的执行过程进行跟踪。
上述本发明所述的适于反应堆保护系统的逻辑测试装置中，所述输入变量为模拟量和/或数字量，所述输出变量为数字量。
实施本发明的适于反应堆保护系统的逻辑测试方法及装置，具有以下优点
第一、通过构建基于CSV格式的真值表和测试程序来进行测试，便于修改及调整；
第二，全自动的测试构建，可避免人因失误，提高测试效率；
第三，自动生成测试结果和定位缺陷，便于设计错误的排查。
下面将结合附图及实施例对本发明作进一步说明，附图中
图1是本发明适于反应堆保护系统的逻辑测试方法的第一优选实施例的流程图；
图2是本发明适于反应堆保护系统的逻辑测试方法的第二优选实施例的流程图；
图3是本发明适于反应堆保护系统的逻辑测试装置的第一优选实施例的方框图；
图4是本发明适于反应堆保护系统的逻辑测试装置的第二优选实施例的方框图。
具体实施方式
[0042]如图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 (b)所示)，以对基于CSV格式的真值表进行改写，随后另存到指定的文件夹中。进一步地，可同时对输出变量的输出值与输出变量的预期值进行比较，将不一致的结果标识出来，便于用户查看。
结束步骤。
如图2所示，是本发明适于反应堆保护系统的逻辑测试方法的第二优选实施例的流程图。本第二优选实施例与图1所示的第一优选实施例的区别在于第一优选实施例只进行了一次测试流程，而第二优选实施例可进行多次测试流程，只要在所述判断步骤S4中判断出所述输出变量的输出值与所述输出变量的预期值不一致时，在输出所述结果错误信息的同时，即可自动返回构建步骤SI中，重新调整测试程序和/或基于CSV格式的真值表(分别如步骤SI (a)和步骤SI (b)所示)，再重新开始测试，直到所述判断步骤S4中判断出所述输出变量的输出值与所述输出变量的预期值一致为止。
在其它实施例中，在第一、第二优选实施例的基础上，该适于反应堆保护系统的逻辑测试方法还包括
初始化步骤在执行所述调用步骤S2前，进行初始化操作，比如，操作界面、某些变量的初始化等，使在每执行所述调用步骤S2前，保持相同的操作界面、变量设置等。
在其它实施例中，在第一、第二优选实施例的基础上，该适于反应堆保护系统的逻辑测试方法还包括
存储步骤存储所述结果正确信息和结果错误信息，优选地，可以验证报告的形式进行保存，并标识出输出变量的输出值与输出变量的预期值不一致的部分，便于用户对比分析。
在其它实施例中，在第一、第二优选实施例的基础上，该适于反应堆保护系统的逻辑测试方法还包括
跟踪步骤用于对运算步骤S3的执行过程进行跟踪。
具体地，在运算步骤S3中，所述跟踪步骤对运算步骤S3的执行过程进行跟踪，若测试程序中设定运算步骤S3共需执行4步，但执行到第3步时就停止了，于是，即可跟踪出在执行第3步的时候出了差错，以便于用户定位分析问题。进一步，也可设置程序复位，使测试流程返回到运算步骤S3。
如图3所示，是本发明适于反应堆保护系统的逻辑测试装置的第一优选实施例的方框图。本第一优选实施例中，该适于反应堆保护系统的逻辑测试装置包括
构建单元1:构建测试程序和基于CSV格式的真值表，所述真值表中包括反应堆保护系统的逻辑图索引信息、输入变量、输出变量、输入变量的赋值信息、输出变量的预期值和执行时间。本构建单元I执行图1中和图2中构建步骤SI的具体操作，此处不再赘述。
调用单元2 :读取所述逻辑图索引信息，调用与其对应的所述测试程序。本调用单元2执行图1中和图2中调用步骤S2的具体操作，此处不再赘述。
运算单元3 :读取所述输入变量，并依据所述输入变量的赋值信息对所述输入变量进行赋值，再依据调用的测试程序和执行时间进行逻辑运算，得到输出变量的输出值。本运算单元3执行图1中和图2中运算步骤S3的具体操作，此处不再赘述。
判断单元4:判断所述输出变量的输出值与所述输出变量的预期值是否一致，若是，将输出结果正确信息；若否，将输出结果错误信息。本判断单元4执行图1中和图2中判断步骤S4的具体操作，此处不再赘述。
输出单元5 :输出所述结果正确信息和结果错误信息。本输出单元5执行图1中和图2中输出步骤S5的具体操作，此处不再赘述。
如图4所示，是本发明适于反应堆保护系统的逻辑测试装置的第二优选实施例的方框图。本第二优选实施例与图1所不的第一优选实施例的区别在于在第一优选实施例的基础上，本适于反应堆保护系统的逻辑测试装置还包括初始化单元A和存储单元B，初始化单元A设置调用单元2和运算单元3之间，存储单元B与输出单元5相连。
初始化单元A用于在执行调用单元2执行操作前，进行初始化操作，其执行上文中初始化步骤的具体操作，此处不再赘述。[0069]存储单元B用于存储所述结果正确信息和结果错误信息，其执行上文中存储步骤的具体操作，此处不再赘述。
进一步地，在其它实施例中，本适于反应堆保护系统的逻辑测试装置还包括跟踪单元，所述跟踪单元与运算单元3相连，用于对运算单元3的执行过程进行跟踪，其执行上文中跟踪步骤的具体操作，此处不再赘述。
另外，本发明的适于反应堆保护系统的逻辑测试方法及装置的运行平台优选地为windows操作系统平台，一般情况下,运行计算机的最低配置为pentiem2 233MHz、128MBRAM和1. 5GB可用硬盘空间。
本发明适于反应堆保护系统的逻辑测试方法及装置，具有以下优点
第一、通过构建基于CSV格式的真值表和测试程序来进行测试，便于修改及调整；
第二，全自动的测试构建，可避免人因失误，提高测试效率；
第三，自动生成测试结果和定位缺陷，便于设计错误的排查。
以上所述仅为本发明的实施例，并不用以限制本发明，凡在本发明的精神和原则内所作的任何修改、等同替换或改进等，均应包含在本发明的保护范围内。
权利要求
1.一种适于反应堆保护系统的逻辑测试方法，其特征在于，包括 构建步骤构建测试程序和基于CSV格式的真值表，所述真值表中包括反应堆保护系统的逻辑图索引信息、输入变量、输出变量、输入变量的赋值信息、输出变量的预期值和执行时间；每个所述真值表中包含唯一的逻辑图索引信息；每个所述真值表对应唯一的测试程序； 调用步骤读取所述逻辑图索引信息，调用与其对应的所述测试程序； 运算步骤读取所述输入变量，并依据所述输入变量的赋值信息对所述输入变量进行赋值，再依据调用的测试程序和执行时间进行逻辑运算，得到输出变量的输出值； 跟踪步骤对所述运算步骤的执行过程进行跟踪； 判断步骤判断所述输出变量的输出值与所述输出变量的预期值是否一致，若是，将输出结果正确信息；若否，将输出结果错误信息； 输出步骤输出所述结果正确信息和/或结果错误信息。
2.根据权利要求
1所述的适于反应堆保护系统的逻辑测试方法，其特征在于，还包括 初始化步骤在执行所述调用步骤前，进行初始化操作。
3.根据权利要求
1所述的适于反应堆保护系统的逻辑测试方法，其特征在于，还包括 存储步骤存储所述结果正确信息和/或结果错误信息。
4.根据权利要求
1所述的适于反应堆保护系统的逻辑测试方法，其特征在于，所述输入变量为模拟量和/或数字量，所述输出变量为数字量。
5.一种适于反应堆保护系统的逻辑测试装置，其特征在于，包括 构建单元构建测试程序和基于CSV格式的真值表，所述真值表中包括反应堆保护系统的逻辑图索引信息、输入变量、输出变量、输入变量的赋值信息、输出变量的预期值和执行时间；每个所述真值表中包含唯一的逻辑图索引信息；每个所述真值表对应唯一的测试程序； 调用单元读取所述逻辑图索引信息，调用与其对应的所述测试程序； 运算单元读取所述输入变量，并依据所述输入变量的赋值信息对所述输入变量进行赋值，再依据调用的测试程序和执行时间进行逻辑运算，得到输出变量的输出值； 跟踪单元用于对所述运算步骤的执行过程进行跟踪； 判断单元判断所述输出变量的输出值与所述输出变量的预期值是否一致，若是，将输出结果正确信息；若否，将输出结果错误信息； 输出单元输出所述结果正确信息和/或结果错误信息。
6.根据权利要求
5所述的适于反应堆保护系统的逻辑测试装置，其特征在于，还包括 初始化单元在执行所述调用单元执行操作前，进行初始化操作。
7.根据权利要求
5所述的适于反应堆保护系统的逻辑测试装置，其特征在于，还包括 存储单元存储所述结果正确信息和/或结果错误信息。
8.根据权利要求
5所述的适于反应堆保护系统的逻辑测试装置，其特征在于，所述输入变量为模拟量和/或数字量，所述输出变量为数字量。
专利摘要
本发明涉及一种适于反应堆保护系统的逻辑测试方法及装置，该测试方法包括构建步骤，构建测试程序和基于CSV格式的真值表，所述真值表中包括反应堆保护系统的逻辑图索引信息、输入变量、输出变量、输入变量的赋值信息、输出变量的预期值和执行时间；调用步骤，读取逻辑图索引信息，调用与其对应的测试程序；运算步骤，读取输入变量，并依据输入变量的赋值信息对该输入变量进行赋值，再依据调用的测试程序和执行时间进行逻辑运算，得到输出变量的输出值；判断步骤，判断输出变量的输出值预期值是否一致，若是，将输出结果正确信息；若否，将输出结果错误信息。本发明通过构建基于CSV格式的真值表和测试程序进行测试，便于修改及调整，可避免人因失误。
文档编号G21C17/06GKCN102024504SQ201010517001
公开日2013年4月24日 申请日期2010年10月21日
发明者卢超, 张黎明, 江国进, 张焕欣, 周亮 申请人:中广核工程有限公司, 中国广东核电集团有限公司导出引文BiBTeX, EndNote, RefMan