摘要
核级软件的验证与确认是核电数字化仪控系统研发的关键,用以确保核级软件设计过程的透明性,验证软件需求规格的完整性,确认核级软件功能与设计需求规格的一致性、正确性。核级软件的验证与确认概要地分成软件设计过程的管理技术及软件的测试技术,本文遵循IEC60880以及IAEA的核级软件的验证与确认导则,侧重研究核级软件验证与确认中的需求验证与软件测试技术,通过开发一种自动化V&V工具,实现核级控制系统应用软件的一套自动化V&V流程。
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 well as IAEA's guidelines of software verification and validation,focusing on studies of requirement verification and testing techniques,which are of great importance in nuclear-level software verification and validation,through developing an automatic testing tool.
出处
《微型电脑应用》
2010年第4期4-5,11,共3页
Microcomputer Applications
基金
国家自然科学基金(60774006)
关键词
软件验证与确认
软件测试
需求验证
自动化测试工具
Software Verification and Validation
Software Testing
Requirement Verification
Automatic Testing Tool
