浅析核安全级数字化仪控系统软件V&V的方法
核安全级数字化仪控系统的软件验证与确认(V&V)的主要任务是查找任何可能存在的缺陷,评估软件潜在的风险与危害,并提供解决方案以确保和提高产品质量,其中软件V&V工具和方法的选择直接影响到V&V活动的成效.本文从核电站安全级数字化仪控系统的功能出发,针对已有堆型和新研制堆型两种不同对象的特点,提出其软件V&V的模型,其技术方法包含追溯分析，文档分析与评价，设计图对比分析，静态分析，代码走查，黑盒测试，白盒测试和危害和风险分析，从成熟工具的使用、专用工具的使用和鉴定测试三方面介绍了V&V工具的注意事项，V&V人员在测试过程中应重点关注人员的经验与能力，软件质量管理和经验反馈。
核电站 数字化仪控系统 软件评估
叶王平 唐建中 陈卫华 谷鹏飞 王升超
中广核工程有限公司设计院,广东深圳 518124
国内会议
合肥
中文
377-381
2014-11-01（万方平台首次上网日期，不代表论文的发表时间）