一种规模软件的测试系统及方法

    公开(公告)号:CN106547695B

    公开(公告)日:2019-03-05

    申请号:CN201610947172.9

    申请日:2016-10-26

    IPC分类号: G06F11/36

    摘要: 本发明公开了一种规模软件的测试系统及方法,该测试系统包括:向量生成模块,用于针对被测对象采用功能驱动和随机测试的方法生成测试向量;监测模块,用于根据所述生成测试向量,监测所述被测对象的测试目标集的路径覆盖率,并在监测到所述测试目标集的路径覆盖率达到临界状态时,搜索并获取所述被测对象的测试目标集未被覆盖的路径;以及,模型计算模块,用于根据所述测试目标集未被覆盖的路径建立数学模型,对所述数学模型求解获得所述测试目标集未被覆盖的路径的测试向量。本发明提供一种简洁的测试向量集构建方案,能够提高测试目标集的覆盖率,且提高测试可靠性和测试效率。

    一种规模软件的测试系统及方法

    公开(公告)号:CN106547695A

    公开(公告)日:2017-03-29

    申请号:CN201610947172.9

    申请日:2016-10-26

    IPC分类号: G06F11/36

    CPC分类号: G06F11/3676

    摘要: 本发明公开了一种规模软件的测试系统及方法,该测试系统包括:向量生成模块,用于针对被测对象采用功能驱动和随机测试的方法生成测试向量;监测模块,用于根据所述生成测试向量,监测所述被测对象的测试目标集的路径覆盖率,并在监测到所述测试目标集的路径覆盖率达到临界状态时,搜索并获取所述被测对象的测试目标集未被覆盖的路径;以及,模型计算模块,用于根据所述测试目标集未被覆盖的路径建立数学模型,对所述数学模型求解获得所述测试目标集未被覆盖的路径的测试向量。本发明提供一种简洁的测试向量集构建方案,能够提高测试目标集的覆盖率,且提高测试可靠性和测试效率。

    核电站严重事故仪控系统

    公开(公告)号:CN106448778A

    公开(公告)日:2017-02-22

    申请号:CN201610977637.5

    申请日:2016-11-08

    IPC分类号: G21D3/00

    CPC分类号: Y02E30/40 G21D3/008

    摘要: 本发明公开了一种核电站严重事故仪控系统,其包括现场仪表层、逻辑处理层以及操作与信息管理层;现场仪表层包括现场仪表和现场执行机构,现场仪表和现场执行机构能够用于执行严重事故、设计基准事故和正常运行工况下的功能;逻辑处理层采集来自现场仪表层的信息,并将信息输出至操作与信息管理层进行显示;操作与信息管理层接收并向逻辑处理层发送控制指令,逻辑处理层将控制指令输出给现场仪表层执行;核电站严重事故仪控系统由常规电源和专用UPS同时供电。相对于现有技术,本发明核电站严重事故仪控系统保证了严重事故叠加全厂交流电丧失的工况下所需的严重事故处理策略措施得到有效实施,提高了核电站的安全性。

    适用于核电站的顺序控制方法及系统

    公开(公告)号:CN103165207B

    公开(公告)日:2015-12-09

    申请号:CN201110413999.9

    申请日:2011-12-13

    IPC分类号: G21D3/00

    CPC分类号: Y02E30/40

    摘要: 本发明公开了一种适用于核电站的顺序控制方法,其包括以下步骤:S0,开始;S1,构建步骤;S2,顺控启动;S3,首步执行;S4,判断步骤;S5,第n步执行模块;S6:结束。本发明还提供了一种用于实现适用于核电站的顺序控制系统。本发明适用于核电站的顺序控制方法及系统提供了一种全自动执行顺序控制的方法和流程,构建自动控制程序的功能块和电路的内部逻辑,提供专用集成的控制模块和运算电路;与现有技术相比,本发明执行效率高、操作失误率低,能显示工作步骤或状态,降低工作强度,同时可以避免人为操作存在的人因失误操作。

    适用于核电站的顺序控制方法及系统

    公开(公告)号:CN103165207A

    公开(公告)日:2013-06-19

    申请号:CN201110413999.9

    申请日:2011-12-13

    IPC分类号: G21D3/00

    CPC分类号: Y02E30/40

    摘要: 本发明公开了一种适用于核电站的顺序控制方法,其包括以下步骤:S0,开始;S1,构建步骤;S2,顺控启动;S3,首步执行;S4,判断步骤;S5,第n步执行模块;S6:结束。本发明还提供了一种用于实现适用于核电站的顺序控制系统。本发明适用于核电站的顺序控制方法及系统提供了一种全自动执行顺序控制的方法和流程,构建自动控制程序的功能块和电路的内部逻辑,提供专用集成的控制模块和运算电路;与现有技术相比,本发明执行效率高、操作失误率低,能显示工作步骤或状态,降低工作强度,同时可以避免人为操作存在的人因失误操作。

    一种核电站机组功率控制系统

    公开(公告)号:CN101964215B

    公开(公告)日:2013-03-13

    申请号:CN201010243929.9

    申请日:2010-08-03

    IPC分类号: G21D3/12 G21C7/08

    CPC分类号: Y02E30/39

    摘要: 本发明涉及一种核电站机组功率控制系统,包括反应堆功率调节器,以及与之相连的操作系统和棒控棒位系统;其中每个所述反应堆功率调节器都与至少一个反应堆限制系统连接以采集反应堆限制系统的信号,并分别通过操作系统和棒控棒位系统接收系统操作员指令和棒控棒位系统的开关量信号,所述反应堆功率调节器根据所述系统操作员指令对反应堆限制系统的信号和棒控棒位系统的开关量信号进行处理,并将处理结果送至棒控棒位系统,所述棒控棒位系统根据所述处理结果控制插棒提棒以实现对反应堆功率的控制。本发明通过采用反应堆功率调节器自动进行处理,整个信号采集及处理过程中采用数字化的控制,提供了可靠性和安全性,且减少了操作员的工作量。