核级软件的验证与确认技术研究

• 作者: 胡立生 高超
• 来源期刊: 微型电脑应用
• 学科: 工学
• 关键词: 软件验证与确认 软件测试 需求验证 自动化测试工具
• 年，卷（期）: 2010,（4）
• 所属期刊栏目: 研究与设计
• 页码范围: 4-5,11
• 分类号: TP311
• 字数: 3737字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-757X.2010.04.002

摘要

核级软件的验证与确认是核电数字化仪控系统研发的关键,用以确保核级软件设计过程的透明性,验证软件需求规格的完整性,确认核级软件功能与设计需求规格的一致性、正确性.核级软件的验证与确认概要地分成软件设计过程的管理技术及软件的测试技术,本文遵循IEC60880以及IAEA的核级软件的验证与确认导则,侧重研究核级软件验证与确认中的需求验证与软件测试技术,通过开发一种自动化V&V工具,实现核级控制系统应用软件的一套自动化V&V流程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡立生	上海交通大学自动化系	54	189	7.0	10.0
2	高超	上海交通大学自动化系	27	272	8.0	15.0