本文作者：廖丽华；谢亚莲；成功正常投稿发表论文到《自动化仪表》2014年02期,引用请注明来源400期刊网！

【摘要】：首先介绍了功能安全相关产品软件实现中软件验证与确认的狭义概念。然后基于标准IEC61508-3:2010(GB/T20438.3-2013),对软件安全生命周期中代码复审、模块测试与集成测试的一系列验证要求进行了分析,并针对每个阶段的活动流程、内容要求、测试用例设计方法、测试规程、测试结果的评审等做出详细的说明。最后提出安全软件的自身特性。
【论文正文预览】：Q…胃 功能安全软件的一切验证和确认活动主要是为检验与评估软件是否已正确执行其产品的安全功能。软件验证主要针对安全完整性等级要求的程度,测试和评 估软件安全生命周期在给定阶段的输出,保证该阶段输 出对于相应输人的正确性和一致性;软件确认主要是为 了证明安全相关产
【文章分类号】：TP311.52
【稿件关键词】：功能安全安全软件验证与确认代码复审模块测试集成测试
【参考文献】:

• 李雪;;1年的价格,3年的保护 卡巴斯基与用户携手共度危机[J];信息安全与通信保密;2009年04期
• ;系统安全软件实例分析[J];互联网周刊;2000年08期
• 周国卿;个人电脑安全软件精选[J];互联网周刊;2000年18期
• 徐中伟,吴芳美;基于测试的安全软件的安全性评估[J];计算机工程与科学;2001年05期
• ;一店通[J];每周电脑报;2003年31期
• 王欣;;新年未到 安全先行 四款安全软件[J];个人电脑;2007年01期
• 唐威;;瑞星2010巧做媒 系统安全大增强[J];电脑爱好者;2009年18期
• 吴勇毅;;金山毒霸分拆:安全软件业资本并购提速[J];上海信息化;2010年04期
• ;免费网安再升级——金山卫士1.1[J];微电脑世界;2010年07期
• ;紧迫盯人——新版安全软件推出[J];每周电脑报;1997年34期
• 李铎;张良驹;;核动力厂安全软件的验证与确认技术的初步研究[A];全国第五届核仪器及其应用学术会议论文集[C];2005年
• 宋顺子;权奇春;;韩国核仪表与控制系统中安全软件的验证与确认过程[A];全国第四届核反应堆用核仪器学术会议论文集[C];2005年
• 李铎;张良驹;;安全软件V&V若干问题探讨[A];第七届全国核仪器及其应用学术会议暨全国第五届核反应堆用核仪器学术会议论文集[C];2009年
• 李铎;张良驹;;数字化核功率测量装置安全软件的设计与V&V[A];第十四届全国核电子学与核探测技术学术年会论文集（下册）[C];2008年
• 李铎;张良驹;;数字化核功率测量装置安全软件的设计与V&V[A];第十四届全国核电子学与核探测技术学术年会论文集（2）[C];2008年
• 孙怀义;石祥聪;;可靠性、安全性与功能安全的关系研究[A];2010年西南三省一市自动化与仪器仪表学术年会论文集[C];2010年
• 王瑞利;袁国兴;林忠;;科学计算程序的验证与确认[A];中国工程物理研究院科技年报(2008年版)[C];2009年
• 谢毅平;;如何选择数据安全软件[A];第三次全国计算机安全技术交流会论文集[C];1988年
• 廖瑛;冯向军;张健;王仕成;陆斌;阎斌;;战略导弹系统建模与仿真的校核、验证与确认(VVA)技术研究[A];2003年全国系统仿真学术年会论文集[C];2003年
• 邓意;;功能安全和安全完整性等级[A];第七届工业仪表与自动化学术会议论文集[C];2006年
• ;安全软件市场增长迅猛[N];网络世界;2001年
• 北京网秦天下科技有限公司;网秦领跑中国手机安全市场[N];通信产业报;2007年
• 吉林 解国忠;微软安全软件加速跑[N];电脑报;2005年
• 记者 罗添;周鸿祎拟全面进入网络安全领域[N];北京商报;2008年
• ;手机安全软件作用凸显[N];人民邮电;2008年
• 张九陆;国产安全软件出口日本[N];中国财经报;2002年
• 小黑?编译;三类实用的免费安全软件[N];计算机世界;2007年
• 本报记者 张磊;“杀软克星”劫持安全软件[N];中国消费者报;2007年
• 本报记者 刘仁;Microsoft 微软涉水安全软件市场反应强烈[N];中国知识产权报;2006年
• ;手机安全需要人性化“管家”[N];人民邮电;2007年
• 岳东峰;数控系统功能安全关键技术的研究[D];中国科学技术大学;2012年
• 张岩;列车运行控制系统软件故障相关形式化测试方法[D];北京交通大学;2012年
• 李婵娟;安全关键实时通信协议研究[D];兰州大学;2011年
• 华保健;一种用于指针程序安全性证明的指针逻辑[D];中国科学技术大学;2008年
• 杨捷;安全软件体系结构的形式化方法研究[D];武汉大学;2004年
• 靳江红;安全仪表系统安全功能失效评估方法研究[D];中国矿业大学（北京）;2010年
• 张伟;叶片泵非设计工况叶轮内部流动分析和预测[D];上海大学;2011年
• 吕富勇;基于精简串行总线的小型模块化测试系统研究[D];南京理工大学;2010年
• 黎忠文;分布式控制系统中新安全保障技术的研究——安全核技术[D];电子科技大学;2001年
• 皮英霞;地铁联锁系统开发项目验证与确认[D];北京邮电大学;2011年
• 肖海;PAC控制系统功能安全的研究与实现[D];大连理工大学;2010年
• 范炳赟;基于LAMP与JavaEE的威胁管理服务平台的设计与实现[D];南京大学;2011年
• 高超;安全级软件验证与确认中测试技术研究[D];上海交通大学;2010年
• 王勇;HX_D1型机车LOCOTROL模块测试平台的研制[D];北京交通大学;2011年
• 刘明晔;通信网络开发早期的验证确认与评估技术研究[D];哈尔滨工程大学;2013年
• 杨栩楠;功能安全与微控制器自诊断技术的研究[D];北京交通大学;2010年
• 赵鹏;混合系统验证与确认集成技术研究[D];国防科学技术大学;2004年
• 王豪;基金会现场总线安全仪表系统的研究与开发[D];浙江大学;2006年
• 马宁;基于功能安全的多协议智能流量变送平台的软件系统研究[D];电子科技大学;2011年

【稿件标题】：学校安全讲座范文|“功能安全产品实现技术”系列讲座第9讲安全相关产品的软件实现(三)
【作者单位】：上海工业自动化仪表研究院;上海仪器仪表自控检验测试所功能安全中心;
【发表期刊期数】：《自动化仪表》2014年02期
【期刊简介】：《自动化仪表》杂志是由中华人民共和国新闻出版总署、正式批准公开发行的优秀期刊，自动化仪表杂志具有正规的双刊号，其中国内统一刊号：CN31-1501/TH，国际刊号：ISSN1000-0380。自动化仪表杂志社由中国科学技术协会主管、主办，本刊为月刊。自创刊以来，被......更多自动化仪表杂志社(http://www.400qikan.com/qk/6288/)投稿信息
【版权所有人】：廖丽华；谢亚莲；

更多机电类论文详细信息: 学校安全讲座范文|“功能安全产品实现技术”系列讲座第9讲安全相
http://www.400qikan.com/lunwen/jidian/16325.html

相关专题： 《自动化仪表》相关期刊

推荐期刊：

学会

精细石油化工

护理管理杂志

中国神经免疫学和神经病学杂志

机电技术

肇庆学院学报

农药学学报

南京晓庄学院学报

内蒙古预防医学

深圳大学学报

上一篇：【模块化方法范文】产品族的模块化设计方法研究与应用
下一篇：【出入境检验检疫局论文】中国出入境检验检疫协会检测技术产学研