核电厂操纵员支持系统测试方法研究

周健文 王宇帆 王政彦

(上海核工程研究设计院有限公司,上海 200233)

0 引言

核电厂操纵员支持系统主要包含三个子系统:报警显示系统、计算机化规程系统和操纵员支持系统计算分析平台。操纵员支持系统通过与电厂仪控系统的通信获取电厂的实时运行数据,经过处理或计算后为操纵员的运行决策提供支持。操纵员支持系统的核心部分主要由各算法和逻辑(核应用程序算法、规程步逻辑、报警逻辑等)组成, 为了确保操纵员支持系统的安全性、稳定性、可靠性和正确性等,在与仪控系统集成前,需要经过完善的测试过程,包括单元测试、集成测试和系统测试[1-4]。

1 单元测试

1.1 基本概念

单元测试的目的是验证用于搭建操纵员支持系统应用程序软件的独立软件模块(功能块)是否完全满足其设计的要求。在单元测试中,通过模拟正常和异常输入数据,验证功能块的设计正确性。在单元测试中,除了对功能块的正确性进行测试外(黑盒测试),为了保证测试的充分性,要求所有的逻辑必须完备地被一系列测试用例覆盖,即要求模型中的任何一个分支可能都需要进行测试,以此来检测模型中的非预期功能(白盒测试)。

对于操纵员支持系统单元测试,白盒测试主要是对基本功能模块开展覆盖率测试,以验证基本功能模块的覆盖率是否达到100%。黑盒测试主要是对照基本功能模块需求中描述的条目化需求开展功能测试,以验证基本模块的功能是否满足需求中罗列的功能需求。……