从ieee1012的版本演变探析核电仪控软件验证与确认

从ieee1012的版本演变探析核电仪控软件验证与确认

ID:5293485

大小:388.30 KB

页数:5页

时间:2017-12-07

从ieee1012的版本演变探析核电仪控软件验证与确认_第1页
从ieee1012的版本演变探析核电仪控软件验证与确认_第2页
从ieee1012的版本演变探析核电仪控软件验证与确认_第3页
从ieee1012的版本演变探析核电仪控软件验证与确认_第4页
从ieee1012的版本演变探析核电仪控软件验证与确认_第5页
资源描述:

《从ieee1012的版本演变探析核电仪控软件验证与确认》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库

1、第33卷第1O期核电子学与探测技术V01.33No.102013年10月NuclearElectronics&DetectionTechnology0ct.2013从IEEE1012的版本演变探析核电仪控软件验证与确认尹宝娟,黄伟杰,毛从吉,张宓(环境保护部核与辐射安全中心,北京100082)摘要:标准IEEE1012在各行业的软件验证与确认工作得到广泛应用。该标准自1986年开始至今经历了4个版本的演变,最新版于2012年发布。论文对比和分析了各版本内容的演变,并结合核电仪控系统软件的特点,梳理了核电仪控软件验证与确认工作的关键思想与新的发展重点

2、。关键词:验证与确认;仪控;完整性等级;系统性观点;安全保密中图分类号:TP311.5文献标志码:A文章编号:0258-0934(2013)10—1179-05软件验证与确认(V&V)是一项系统性工括美国、韩国、日本、台湾等多个国家和地区的程,其目的是帮助开发组织在软件生命周期中核电业广泛应用。建立质量要求。V&V过程在整个软件生命周在该标准经历了多个版本的演变后、新一期中与软件开发并行开展,通过对软件产品及版内容大范围推广应用前,再次讨论软件V&V过程的评估、分析、评价、评审、检验和测试来提工作的重点及其在核电仪控软件上的应用非常供软件产品和过程

3、的客观评估⋯。必要。2012年,被各行业广泛应用的软件V&V1IEEE1012各版本比较标准IEEE1012发布了一个新的版本,该版本是此标准的第四个版本,与此前的版本相比,该IEEE1012自1986年首次发布以来,分别版做了较大的变动,引入了系统、硬件的V&V,在1998年、2004年、2012年做了3次调整,以同时该标准的名字也由原来的“软件V&V标下为各版本的主要内容及重大调整分析。准”改变为“系统和软件V&V标准”。1.11986年版在我国的军工业,该标准的1998年的版本该版本作为第一版,奠定了软件V&V的基等效生成GJB5234—20

4、04,其方法成为我国军本雏形,内容相对较简单,主要定义了软件工业软件V&V工作的重要指导。V&V计划的格式和内容要求,其中,明确了在核电行业,由于该标准1998年的版本被V&V过程、软件V&V报告的格式与内容、对关美国核管会(NRC)的导则RG1.168背书,而美键软件要求执行的任务、输人、输出、可选任务国核管会的系列工作文件均对世界各国的核电等,对另一类软件,即非关键软件不做强制性要发展有重要的参考价值,因此,IEEE1012被包求。此外,标准IEEE1059—1003通过详细的解释说明对该版本的使用进行指导,目前该配收稿日期:2013—06—2

5、5套标准随着IEEE1012的升版而废止心)。作者简介:尹宝娟(1979一),女,河北人,工程师,硕1.21998年版士,主要从事核电仪控系统软件验证与确认领域的该版本在前一版本基础上作了较大改动,技术研究与核电站仪控电设备的技术审评工作。基本形成了完整的软件V&V通用性构架。该1179版本的重大变更是定位由产品标准变为过程标比较可以看出,软件V&V工作随着新技术新问准,定义了包括特定活动及其任务的V&V过题的出现以及认识的深入而不断细化、扩展,在程,增加了与标准IEC12207—1995、IEEE1074引入新任务、新思路的同时强化核心思想,深化

6、—1997的软件生命周期、过程与活动的一致性本质内容。对照,增加了软件完整性等级的概念,并以表格2软件验证与确认的关键思想方式对每个过程/活动中的不同完整性级别要求执行的V&V任务的内容、输入、输出进行了软件V&V是一套贯穿于整个软件开发生清晰、详尽的说明,引入了危险分析、风险分析、命周期过程的方法体系,包括验证和确认两个移植性评价等系统性要求作为最小V&V任务过程,分别为证明软件开发过程中当前活动的的一部分,并在附录中增加了重用软件V&V、产品输出及过程与前一活动输出及对应标准的V&V度量、独立V&V方面的内容,详细地说明符合性、满足系统需求和用

7、户要求提供客观证了4种独立V&V形式。V&V计划的格式和内据。为确保该方法体系有效实施,以下内容是容作为一个章节予以保留,解释说明略有简需要重点关注的核心内容。化。2.1独立-陛1.32004年版软件V&V强调V&V工作与开发工作的独该版本对前一版本的改动不大,除少部分立性,该独立性体现为3个方面的要求:技术独章节顺序调整与内容澄清外,增加了对于完整立性、管理独立性和财务独立性。性级别为3、4级的软件的安全保密分析任务要技术独立性涵盖了从事V&V工作的人员求,附录中增加了IEEE1012规定的V&V任务与开发人员的独立性,以及V&V工作过程中使与C

8、MMI过程域的对照表,增加了一种独立用的工具、方法与开发活动所采用的工具、方法V&V形式“联合式的独立V&V”,细化了重用

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。