QQ客服 官方微博 反馈留言

	安全软件验证与确认中的单元模块测试技术
	李铎 ; 张良驹 ; 冯俊婷 ; LI Duo ; ZHANG Liang-ju ; FENG Jun-ting
	2010-05-13 ; 2010-05-13
关键词	安全软件 单元测试 验证与确认 safety software unit testing verification and validation TP311.52
其他题名	Technique for Unit Testing of Safety Software Verification and Validation
中文摘要	核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认(V&V),以证明和确认执行安全功能的软件自身的安全性和可靠性。软件单元测试是V&V过程中的重要环节,主要目的是验证和确认软件代码开发过程中,软件的设计转变为软件代码是适当、正确和完整的。本工作初步研究了安全软件的单元模块测试技术,着重讨论如何保证测试的完整性、建立测试环境、建立测试用例及实施单元模块测试等方面,并以某数字化保护系统安全软件单元模块测试实例说明单元模块测试的具体过程。; The key issue arising from digitalization of the reactor protection system for nuclear power plant is how to carry out verification and validation(V&V),to demonstrate and confirm the software that performs reactor safety functions is safe and reliable.One of the most important processes for software V&V is unit testing,which verifies and validates the software coding based on concept design for consistency,correctness and completeness during software development.The paper shows a preliminary study on the technique for unit testing of safety software V&V,focusing on such aspects as how to confirm test completeness,how to establish test platform,how to develop test cases and how to carry out unit testing.The technique discussed here was successfully used in the work of unit testing on safety software of a digital reactor protection system.
语种	中文 ; 中文
内容类型	期刊论文
源URL	[http://hdl.handle.net/123456789/30132]
专题	清华大学
推荐引用方式 GB/T 7714	李铎,张良驹,冯俊婷,等. 安全软件验证与确认中的单元模块测试技术[J],2010, 2010.
APA	李铎,张良驹,冯俊婷,LI Duo,ZHANG Liang-ju,&FENG Jun-ting.(2010).安全软件验证与确认中的单元模块测试技术..
MLA	李铎,et al."安全软件验证与确认中的单元模块测试技术".(2010).

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。