CN102467443A - 一种核电站安全级软件测试方法及其系统 - Google Patents
一种核电站安全级软件测试方法及其系统 Download PDFInfo
- Publication number
- CN102467443A CN102467443A CN2010105375871A CN201010537587A CN102467443A CN 102467443 A CN102467443 A CN 102467443A CN 2010105375871 A CN2010105375871 A CN 2010105375871A CN 201010537587 A CN201010537587 A CN 201010537587A CN 102467443 A CN102467443 A CN 102467443A
- Authority
- CN
- China
- Prior art keywords
- software
- testing
- test
- safety level
- nuclear power
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Landscapes
- Monitoring And Testing Of Nuclear Reactors (AREA)
Abstract
本发明公开了一种核电站安全级软件测试方法及其系统，其中核电站安全级软件测试方法主要包括以下步骤：测试核电站反应堆系统规范书是否满足相关标准；评估计算机系统配置和软件设计，确认其满足参考文件的要求；测试开发的软件程序和实施中是否满足软件方针书中所提出的各项功能要求；对软硬件系统的运行进行集成测试。本发明还提供了一种核电站安全级软件测试系统。本发明通过对安全级软件测试过程进行程序化设置，规定统一的步骤和验证标准，从而使得对安全级软件测试过程系统化，程序规范化。
Description
技术领域
本发明涉及仪表控制技术领域，尤其涉及一种核电站安全级软件测试方法及其系统。
背景技术
在现代，计算机开始出演安全角色，基于计算机的系统在核安全中也开始扮演主要角色。在核电站安全检查中，安全级软件的测试成为了必要的检查环节，以证明某个基于软件的系统是否适合核电站的原始需求。在国际上各种软件的测试的适应性法规标准也对该工作提出了完整与详细的要求。
计算机系统的设计人员及执行人员都有可能犯错误，而这些错误就会造成系统中不被察觉的缺陷，系统有可能在安装时就带有缺陷，这就有可能会导致非常严重的后果，因此及时察觉错误至关重要。目前的计算机系统主要依赖于软件的验证与确认来发现错误。软件的验证与确认过程能够保证系统达到专门的功能性和可靠性要求。
但是现有安全级软件的测试过程中，测试过程不够系统化，程序不规范，且标准不统一，不能及时找到软件内在的缺陷，从而为今后的使用埋下了不安全隐患。
发明内容
本发明要解决的技术问题在于针对现有技术中安全级软件的测试过程不够系统化，程序不规范的缺陷，提供一种核电站安全级软件测试方法及其系统。
本发明解决其技术问题所采用的技术方案是：
提供一种核电站安全级软件测试方法，包括以下步骤：
A、测试核电站反应堆保护系统规范书是否满足相关标准；
B、评估计算机系统配置和软件设计，确认其满足参考文件的要求；
C、测试开发的软件程序和实施中是否满足软件方针书中所提出的各项功能要求；
D、对软硬件系统的运行进行集成测试。
本发明所述的核电站安全级软件测试方法中，步骤A还包括在所述核电站反应堆系统规范书不满足相关标准时，对其进行修改。
本发明所述的核电站安全级软件测试方法中，步骤B中，所述参考文件包括修改后的核电站反应堆系统规范书、设计院设计的逻辑图模拟图和输入输出清单。
本发明所述的核电站安全级软件测试方法中，还包括步骤：
E、将测试的最终结果以报告单的形式生成。
本发明所述的核电站安全级软件测试方法中，步骤E中所述的报告单包括验证结果、验证日期和修改记录，以及检查单和问题处理单；其中，
所述检查单包括问题发现人、对发现问题的描述和解决问题的期限；
所述问题处理单包括拟解决方案以及该方案是否最终被接受的结果。
本发明还构造了一种核电站安全级软件测试系统，包括：
测试规范书模块，用于测试核电站反应堆系统规范书是否满足相关标准；
评估系统配置和软件模块，用于评估计算机系统配置和软件设计，确认其满足参考文件的要求；
测试软件程序模块，用于测试开发的软件程序和实施中是否满足软件方针书中所提出的各项功能要求；
集成测试模块，用于对软硬件系统的运行进行集成测试。
本发明所述的核电站安全级软件测试系统中，还包括：
修改模块，用于在所述核电站反应堆系统规范书不满足相关标准时，对其进行修改；
存储模块，用于存储所述参考文件。
本发明所述的核电站安全级软件测试系统中，还包括，测试报告输出模块，用于将测试的最终结果以报告单的形式输出。
本发明所述的核电站安全级软件测试系统中，所述参考文件包括修改后的核电站反应堆系统规范书、设计院设计的逻辑图模拟图和输入输出清单。
本发明所述的核电站安全级软件测试系统中，所述的报告单包括验证结果、验证日期和修改记录，以及检查单和问题处理单；其中，
所述检查单包括问题发现人、对发现问题的描述和解决问题的期限；
所述问题处理单包括拟解决方案以及该方案是否最终被接受的结果。
本发明产生的有益效果是：通过对安全级软件测试过程进行程序化设置，规定统一的步骤和验证标准，从而使得对安全级软件测试过程系统化，程序规范化。
附图说明
下面将结合附图及实施例对本发明作进一步说明，附图中：
图1是本发明实施例核电站安全级软件测试方法的流程图；
图2是本发明实施例核电站安全级软件测试系统的原理框图；
图3是本发明实施例中检查单的具体内容；
图4是本发明实施例中问题处理单的具体内容。
具体实施方式
本发明较佳实施例核电站安全级软件测试方法，如图1所示，主要包括以下步骤：
S101、测试核电站反应堆保护系统规范书是否满足相关标准，主要是测试核电站仪控系统需求是否满足基于计算机的机组系统需求；确认仪控系统是否符合计算机系统机组系统需求的相关标准；
S102、判断核电站反应堆保护系统规范书是否满足计算机系统机组系统需求的相关标准；
S103、在核电站反应堆保护系统规范书不满足计算机系统机组系统需求的相关标准时，对核电站反应堆保护系统规范书进行修改；
S104、评估计算机系统配置和安全级软件设计，确认其满足参考文件的要求；参考文件主要包括修改后的核电站反应堆系统规范书、设计院设计的逻辑图模拟图和输入输出清单；
S105、测试开发的安全级软件程序和实施中是否满足软件方针书中所提出的各项功能要求，并将这些测试结果写入测试报告中；
S106、对软硬件系统的运行进行集成测试，即在软硬件系统集成安装后，所进行的用以验证系统功能、性能与设计规范要求符合程度的各项验证性测试；
S107、将测试的最终结果以报告单的形式生成，报告单包括验证结果、验证日期和修改记录，以及检查单和问题处理单；其中，如图3所示，为了解决发现的每个问题，必须准备一个检查单，上面表明对问题的大概描述，问题发现人，以及解决问题的最后期限。检查单上必须有编码，而且编码必须有规则，如1-1、1-2等，第一个数字代表当前的阶段，后面一位是顺序流水号。
如图4所示，问题处理单包括拟解决方案以及该方案是否最终被接受的结果。该问题处理单输出后，有相关人将问题的解决方案应该记录在问题处理单中“设计小组解决方案”对应的一栏，问题处理单再返回给测试项目小组，测试项目小组进行详细检查，再决定是否接受解决方案和是否需要召开一个澄清会(当需要和原设计人员讨论的时候)，关于这个问题的最初设计人和验证人都必须参加这个会议。验证人的责任仅只是确认问题，解决问题最终还是原设计者的责任。通过澄清会的讨论，必须得到一个各方都接受的解决方案。
如果最后同意解决方案，则在问题处理单中“接受”对应的空格处打勾；如果V&V小组不满意结果，可以按照如下情况来处理，在“不接受”对应的地方打勾，在“Remark”的地方标注上检查单新的编号，并且返还检查与问题处理单。问题处理单新的编号在原来编码的基础上加上一位字母的后缀，如第一次返还编码为3-1A，第二次编码为3-1B，依次类推。
本发明较佳实施例核电站安全级软件测试系统，如图2所示，主要包括：
测试规范书模块100，用于测试核电站反应堆系统规范书是否满足相关标准；
评估系统配置和软件模块200，用于评估计算机系统配置和软件设计，确认其满足参考文件的要求，参考文件主要包括修改后的核电站反应堆系统规范书、设计院设计的逻辑图模拟图和输入输出清单；
测试软件程序模块300，用于测试开发的软件程序和实施中是否满足软件方针书中所提出的各项功能要求；
集成测试模块400，用于对软硬件系统的运行进行集成测试。
进一步地核电站安全级软件测试系统还包括：
修改模块101，用于在核电站反应堆系统规范书不满足相关标准时，根据参考文件对其进行相应修改；
存储模块201，用于存储参考文件；
测试报告输出模块500，用于将测试的最终结果以报告单的形式输出，报告单包括验证结果、验证日期和修改记录，以及检查单和问题处理单；其中，检查单包括问题发现人、对发现问题的描述和解决问题的期限；问题处理单包括拟解决方案以及该方案是否最终被接受的结果。
本发明通过对安全级软件测试过程进行程序化设置，规定统一的步骤和验证标准，从而使得对安全级软件测试过程系统化，程序规范化。
应当理解的是，对本领域普通技术人员来说，可以根据上述说明加以改进或变换，而所有这些改进和变换都应属于本发明所附权利要求的保护范围。
Claims (10)
1.一种核电站安全级软件测试方法，其特征在于，包括以下步骤：
A、测试核电站反应堆保护系统规范书是否满足相关标准；
B、评估计算机系统配置和软件设计，确认其满足参考文件的要求；
C、测试开发的软件程序和实施中是否满足软件方针书中所提出的各项功能要求；
D、对软硬件系统的运行进行集成测试。
2.根据权利要求1所述的核电站安全级软件测试方法，其特征在于，步骤A还包括在所述核电站反应堆系统规范书不满足相关标准时，对其进行修改。
3.根据权利要求2所述的核电站安全级软件测试方法，其特征在于，步骤B中，所述参考文件包括修改后的核电站反应堆系统规范书、设计院设计的逻辑图模拟图和输入输出清单。
4.根据权利要求3所述的核电站安全级软件测试方法，其特征在于，还包括步骤：
E、将测试的最终结果以报告单的形式生成。
5.根据权利要求4所述的核电站安全级软件测试方法，其特征在于，步骤E中所述的报告单包括验证结果、验证日期和修改记录，以及检查单和问题处理单；其中，
所述检查单包括问题发现人、对发现问题的描述和解决问题的期限；
所述问题处理单包括拟解决方案以及该方案是否最终被接受的结果。
6.一种核电站安全级软件测试系统，其特征在于，包括：
测试规范书模块，用于测试核电站反应堆系统规范书是否满足相关标准；
评估系统配置和软件模块，用于评估计算机系统配置和软件设计，确认其满足参考文件的要求；
测试软件程序模块，用于测试开发的软件程序和实施中是否满足软件方针书中所提出的各项功能要求；
集成测试模块，用于对软硬件系统的运行进行集成测试。
7.根据权利要求6所述的核电站安全级软件测试系统，其特征在于，该系统还包括：
修改模块，用于在所述核电站反应堆系统规范书不满足相关标准时，对其进行修改；
存储模块，用于存储所述参考文件。
8.根据权利要求7所述的核电站安全级软件测试系统，其特征在于，该系统还包括，测试报告输出模块，用于将测试的最终结果以报告单的形式输出。
9.根据权利要求8所述的核电站安全级软件测试系统，其特征在于，所述参考文件包括修改后的核电站反应堆系统规范书、设计院设计的逻辑图模拟图和输入输出清单。
10.根据权利要求9所述的核电站安全级软件测试系统，其特征在于，
所述的报告单包括验证结果、验证日期和修改记录，以及检查单和问题处理单；其中，
所述检查单包括问题发现人、对发现问题的描述和解决问题的期限；
所述问题处理单包括拟解决方案以及该方案是否最终被接受的结果。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN2010105375871A CN102467443A (zh) | 2010-11-09 | 2010-11-09 | 一种核电站安全级软件测试方法及其系统 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN2010105375871A CN102467443A (zh) | 2010-11-09 | 2010-11-09 | 一种核电站安全级软件测试方法及其系统 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN102467443A true CN102467443A (zh) | 2012-05-23 |
Family
ID=46071105
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN2010105375871A Pending CN102467443A (zh) | 2010-11-09 | 2010-11-09 | 一种核电站安全级软件测试方法及其系统 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN102467443A (zh) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN104462933A (zh) * | 2014-12-01 | 2015-03-25 | 中广核工程有限公司 | 核电站安全级软件验证与确认方法和系统 |
| CN106600122A (zh) * | 2016-12-01 | 2017-04-26 | 中广核工程有限公司 | 核电站设备智能监控方法、装置及系统 |
| CN109857664A (zh) * | 2019-01-28 | 2019-06-07 | 中广核工程有限公司 | 预开发软件核安全级适用性评估的测试方法以及系统 |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6505342B1 (en) * | 2000-05-31 | 2003-01-07 | Siemens Corporate Research, Inc. | System and method for functional testing of distributed, component-based software |
| CN101661580A (zh) * | 2009-07-22 | 2010-03-03 | 中国农业银行股份有限公司 | 一种软件测试的方法及系统 |
| CN101847123A (zh) * | 2010-05-26 | 2010-09-29 | 北京航空航天大学 | 一种机载计算机软件测试通用体系的构建方法 |
-
2010
- 2010-11-09 CN CN2010105375871A patent/CN102467443A/zh active Pending
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6505342B1 (en) * | 2000-05-31 | 2003-01-07 | Siemens Corporate Research, Inc. | System and method for functional testing of distributed, component-based software |
| CN101661580A (zh) * | 2009-07-22 | 2010-03-03 | 中国农业银行股份有限公司 | 一种软件测试的方法及系统 |
| CN101847123A (zh) * | 2010-05-26 | 2010-09-29 | 北京航空航天大学 | 一种机载计算机软件测试通用体系的构建方法 |
Non-Patent Citations (1)
| Title |
|---|
| 张明: "GIS工程中的软件测试方法与技术研究", 《CNKI优秀硕士学位论文全文库》, 31 December 2005 (2005-12-31) * |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN104462933A (zh) * | 2014-12-01 | 2015-03-25 | 中广核工程有限公司 | 核电站安全级软件验证与确认方法和系统 |
| CN106600122A (zh) * | 2016-12-01 | 2017-04-26 | 中广核工程有限公司 | 核电站设备智能监控方法、装置及系统 |
| CN109857664A (zh) * | 2019-01-28 | 2019-06-07 | 中广核工程有限公司 | 预开发软件核安全级适用性评估的测试方法以及系统 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN105488185B (zh) | 一种知识库的优化方法和装置 | |
| CN102005818A (zh) | 一种在线检测scd文件和ied模型一致性的方法 | |
| CN104915262B (zh) | 一种基于excel数据结构的校验系统及其方法 | |
| CN112183782B (zh) | 故障工单处理方法及设备 | |
| CN110990396B (zh) | 数据存储方法、装置及存储介质 | |
| CN109214118A (zh) | 一种基于bim的水泥企业工业设计方法 | |
| CN102467443A (zh) | 一种核电站安全级软件测试方法及其系统 | |
| Bao et al. | An Integrated Framework for Risk Assessment of High Safety Significant Safety-related Digital Instrumentation and Control Systems in Nuclear Power Plants: Methodology and Demonstration | |
| CN113872163A (zh) | 继电保护定值校验方法及终端设备 | |
| CN110389871B (zh) | 一种具备系统完整性确认功能的安全计算机平台 | |
| CN112559373A (zh) | 一种软件兼容性管理方法和系统 | |
| KR100850550B1 (ko) | 국제 항공안전 규정관리 시스템 | |
| JP2011232874A (ja) | 情報セキュリティ管理支援方法及び装置 | |
| CN114942745A (zh) | 电机控制器uds协议栈自动化配置方法 | |
| CN109165747A (zh) | 核电站蒸汽发生器老化与寿命管理系统、方法及终端设备 | |
| CN102629227B (zh) | 一种辅助嵌入式系统接口功能验证方法 | |
| Bäckström et al. | Use of IEC 61508 in nuclear applications regarding software reliability | |
| CN110957705B (zh) | 一种自适应间隔保护策略配置方法及装置 | |
| CN114491973B (zh) | 一种虚端子回路校核方法、装置和终端设备 | |
| EP4030366A1 (en) | Method and system for automatic service level agreement conflict and accountability resolution | |
| Korsah et al. | An investigation of digital instrumentation and control system failure modes | |
| JP5180809B2 (ja) | 情報制御システムおよび制御ソフトウェアの作成方法 | |
| Stiller et al. | Common cause failures exceeding ccf groups | |
| CN100483428C (zh) | 一种逻辑电路设计中的ram例化方法及装置 | |
| Hong et al. | Application of Fault Tree in Software Safety Analysis |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| C12 | Rejection of a patent application after its publication | ||
| RJ01 | Rejection of invention patent application after publication |
Application publication date: 20120523 |