| 核级软件的验证与确认技术研究 |
| |
| 引用本文： | 高超,胡立生.核级软件的验证与确认技术研究[J].微型电脑应用,2010,26(4):4-5,11. |
| |
| 作者姓名： | 高超 胡立生 |
| |
| 作者单位： | 上海交通大学自动化系,上海,200240 |
| |
| 摘 要： | 核级软件的验证与确认是核电数字化仪控系统研发的关键,用以确保核级软件设计过程的透明性,验证软件需求规格的完整性,确认核级软件功能与设计需求规格的一致性、正确性。核级软件的验证与确认概要地分成软件设计过程的管理技术及软件的测试技术,本文遵循IEC60880以及IAEA的核级软件的验证与确认导则,侧重研究核级软件验证与确认中的需求验证与软件测试技术,通过开发一种自动化V＆V工具,实现核级控制系统应用软件的一套自动化V＆V流程。
|
| 关 键 词： | 软件验证与确认 软件测试 需求验证 自动化测试工具 |
Research on Techniques for Nuclear-level Software Verification and Validation |
| |
| Gao Chao,Hu Lisheng.Research on Techniques for Nuclear-level Software Verification and Validation[J].Microcomputer Applications,2010,26(4):4-5,11. |
| |
| Authors: | Gao Chao Hu Lisheng |
| |
| Affiliation: | Gao Chao,Hu Lisheng(Department of Automation,Shanghai Jiaotong University,Shanghai 200240,China) |
| |
| Abstract: | The key issue arising from nuclear digital instrument and control(I&C) system is how to carry out V&V,in order to ensure the transparency of the design process,to verify the integrity of the software requirement specification,and to confirm the consistency of specification,correctness of nuclear software function and design requirement.The verification and validation of nuclear software summarily include the management of software design process and software testing techniques.This paper follows IEC60880 as... |
| |
| Keywords: | Software Verification and Validation Software Testing Requirement Verification Automatic Testing Tool |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
