:
核电厂是一种高风险的工业设施,其安全性至关重要。安全重要仪表和控制系统是核电厂安全保障的重要组成部分,而计算机软件则是这些系统的核心。因此,核电厂安全重要仪表和控制系统执行B类和C类功能的计算机软件的质量和可靠性至关重要。为了保证核电厂的安全性,必须对这些软件进行严格的技术要求、测试方法、评定方法和验收规定。本标准就是为此而制定的。
本标准适用于核电厂安全重要仪表和控制系统执行B类和C类功能的计算机软件的开发、测试、评定和验收。其中,B类功能是指对核电厂安全有较大影响的功能,C类功能是指对核电厂安全有较小影响的功能。
本标准规定了核电厂安全重要仪表和控制系统执行B类和C类功能的计算机软件的技术要求,包括软件设计、编码、测试、文档编制等方面的要求。其中,软件设计要求软件结构清晰、模块化、可维护、可扩展;编码要求符合编码规范、可读性好、可维护性好;测试要求覆盖率高、测试用例充分、测试结果可靠;文档编制要求完整、准确、易于理解。
本标准还规定了核电厂安全重要仪表和控制系统执行B类和C类功能的计算机软件的测试方法,包括静态测试和动态测试。其中,静态测试包括代码审查、代码检查、代码分析等;动态测试包括单元测试、集成测试、系统测试等。
本标准还规定了核电厂安全重要仪表和控制系统执行B类和C类功能的计算机软件的评定方法,包括软件可靠性评定、软件安全性评定、软件可维护性评定等。其中,软件可靠性评定要求软件的故障率低、可用性高、可靠性高;软件安全性评定要求软件能够保证核电厂的安全性;软件可维护性评定要求软件易于维护、易于修改、易于扩展。
最后,本标准还规定了核电厂安全重要仪表和控制系统执行B类和C类功能的计算机软件的验收规定,包括软件验收文件的编制、软件验收测试的进行、软件验收结果的评定等。
相关标准:
GB/T 19580-2017 核电厂安全重要仪表和控制系统的软件开发
GB/T 19581-2017 核电厂安全重要仪表和控制系统的软件验证
GB/T 19582-2017 核电厂安全重要仪表和控制系统的软件配置管理
GB/T 19583-2017 核电厂安全重要仪表和控制系统的软件维护
GB/T 19584-2017 核电厂安全重要仪表和控制系统的软件安全性评价