安全软件验证与确认中的单元模块测试技术

• 作者: 冯俊婷 张良驹 李铎
• 来源期刊: 原子能科学技术
• 关键词: 安全软件 单元测试 验证与确认
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 技术及应用
• 页码范围: 551-556
• 页数: 6页
• 分类号: TL36
• 语种: 中文

摘要

核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认(V&V),以证明和确认执行安全功能的软件自身的安全性和可靠性.软件单元测试是V&V过程中的重要环节,主要目的是验证和确认软件代码开发过程中,软件的设计转变为软件代码是适当、正确和完整的.本工作初步研究了安全软件的单元模块测试技术,着重讨论如何保证测试的完整性、建立测试环境、建立测试用例及实施单元模块测试等方面,并以某数字化保护系统安全软件单元模块测试实例说明单元模块测试的具体过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李铎	清华大学核能与新能源技术研究院	16	74	6.0	8.0
2	张良驹	清华大学核能与新能源技术研究院	25	134	7.0	10.0
3	冯俊婷	清华大学核能与新能源技术研究院	6	62	5.0	6.0