基于IEC62138标准SR级软件VV验证研究与实践.docVIP

基于IEC62138标准SR级软件VV验证研究与实践 　　摘 要：本文阐述了岭澳二期DCS的SR级软件VV验证的过程，并且通过用例分析来重点说明岭澳二期DCS的SR级软件VV验证中平台测试阶段具体测试活动的详细实施方法和策略。最后逐项分析了整个SR软件VV验证工作与IEC62138标准的符合性。 　　关键词：IEC62138, 数字化仪控系统，SR级软件，VV验证 　　 　　1. 前言 　　 岭澳二期数字控制系统（DCS）采用的是TXP+TXS平台，其安全分级分为1E（安全级），SR（安全相关级），NC（非安全级）。TXS实现安全级仪控控制功能，TXP实现安全相关以及非安全级仪控控制功能。1E类软件的VV（Verification and validation验证和确认）要求按照IEC60880 核电厂安全重要仪控系统―基于计算机系统执行A类功能的软件标准执行；SR级的软件VV要求按照IEC62138 核电厂安全重要仪控系统―基于计算机系统执行B类、C类功能的软件标准执行。NC级软件的VV没有那么严格，只需执行ISO9000-3标准。 　　 基于IEC62138标准对SR级软件进行VV验证在国内是一个全新的课题，在国外也只有少数全数字化核电站有所尝试。岭澳二期DCS项目对这一领域进行了具体实践，并且根据现场实际调试结果（SR软件部分发现很少的问题）来看，岭澳二期SR软件的VV验证工作是成功的，可以向其他项目进行推广和借鉴。 　　 　　2． SR 软件VV验证的过程 　　 SR 软件VV验证工作贯穿于整个SR软件的设计开发过程中，从需求提资、基础设计、详细设计、平台测试、一直到再设计阶段。具体参见图1（黄色部分为各阶段的VV活动）： 　　 　　 　　 输入文件验证 　　检查输入文件的完整性以及其考虑转化成DCS实现的功能表征。 　　 基础设计验证 　　这阶段的验证目的主要是为了使设计输入文件（这里指的是设计院出版的设计图纸）与基础设计结果（DCS功能图）保持一致。向验证部门提交电子或者纸质的DCS组态图纸或者整个DCS数据库的审查。 　　 软件验证测试 　　软件验证测试在测试现场结合实际的硬件机柜进行，主要是为了应用软件和系统软件的正确整合，保持需求规范与应用软件的一致性。应用软件生成代码下装到硬件机柜后进行。这个阶段的测试主要分两个步骤： 　　●系统性测试：整体的功能性测试，按照测试分析（test analysis）中定义的测试划分，逐个对每个系统功能子组的功能测试。 　　●抽样检查：功能测试完成后的一些专项测试，如 　　- 下层测试，例如信号的独立性，系统的初始化等等 　　- 与level0以及level2的接口 　　- 与其他控制机柜的接口 　　- 对于特殊标准要求IC系统的响应时间 　　SR软件VV验证在设计提资、基础/详细设计阶段都主要是文件审查的工作，其具体的测试活动主要在平台测试阶段执行。本文将重点讲述SR软件在平台测试阶段测试活动的实施办法和策略。 　　 　　3. SR软件测试活动的实施 　　3.1 测试方法的选择 　　 根据电站需求规范提交的不同特点，可以采用功能测试法和架构测试法这两种方法用于SR软件测试。 　　 功能测试法： 　　 功能测试方法需要首先将需求规范转化成标准的功能图，然后根据电站功能划分成相对独立的功能子组。功能子组定义好后就可以根据具体的功能逻辑编写测试用例和测试程序进行测试。 　　 比如RCV系统（化学和容积控制系统）按功能可以分为如下几个功能子组： 　　－容积控制功能 SSG RCV01 　　－下泄回路控制 SSG RCV02 　　－上充回路控制 SSG RCV03 　　－密封水注入 SSG RCV04 　　－稳压器辅助喷淋 SSG RCV05 　　－RRA系统连接做准备（控制硼含量、加热、增压）SSG RCV06 　　 功能测试方法的好处是，根据功能规范来编写的测试用例和测试程序可以相对保持不变，因为电站系统功能基本上是冻结不变的。并且，合理的功能子组划分可以节省很多平台测试期间机柜端子排上外部信号仿真以及工程师站中软件仿真的工作量。 　　 构架测试法 　　 选择需求规范中适当的部分（一整页或者是几页，或者是一页中的某部分）来编写测试用例和测试程序，同时必须保证测试用例的测试范围覆盖所有需求规范的逻辑。这种按照需求规范的组成架构来编写测试用例和测试程序进行测试的方法称为构架测试法。岭澳二期的做法是，一页逻辑图对应一个测试用例。 　　由于TXP功能组的特性使得功能法在岭澳二期DCS项目中不能使用。因为按照TXP的分区原则，一个系统最多可分为四个功能组（SR train A, SR train B, NC