核级软件的验证与确认技术研究

来源 :微型电脑应用 | 被引量 : 0次 | 上传用户:benjaminzsj
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
核级软件的验证与确认是核电数字化仪控系统研发的关键,用以确保核级软件设计过程的透明性,验证软件需求规格的完整性,确认核级软件功能与设计需求规格的一致性、正确性。核级软件的验证与确认概要地分成软件设计过程的管理技术及软件的测试技术,本文遵循IEC60880以及IAEA的核级软件的验证与确认导则,侧重研究核级软件验证与确认中的需求验证与软件测试技术,通过开发一种自动化V&V工具,实现核级控制系统应用软件的一套自动化V&V流程。
其他文献
随着城镇化进程的加快,生活污水排放量不断增加,生活污水成为影响城镇水环境的主要因素,制约着城镇经济社会的发展。面对水资源的日益紧缺、水环境的不断恶化及人们越来越高的水
我国基础课程改革日益凸显多元文化特色的今天,通过对黑龙江省哈尔滨、牡丹江和佳木斯地区11所义务教育阶段朝鲜族中小学的实地调查发现,基层学校立足于当地文化资源和自身优
短链脂肪酸(short chain fatty acids, SCFAs)是最易微生物利用的有机物之一,通过超声水解联用优化释放污泥中的SCFAs,一方面可以减少污水处理厂的废弃污泥的产生量,另一方面
目的探索微波固定与常规化学试剂固定兔眼的HE染色效果的差异。方法新鲜兔眼球(16眼)放置于生理盐水内,单纯微波处理组按解冻时间分为40s组、80s组、160s组;另设1对照组予化
目的探讨肾上腺良恶性肿瘤之间及腺瘤与非腺瘤间的影像学特征。方法回顾性分析我院99例肾上腺肿瘤的多排螺旋CT双期增强扫描图像,比较不同类型肿瘤的形态学特征,采用强化幅度
数学概念是当前教学理念下,合理运用客观现实中的数量关系和数学模型的有效结合的一种理念,是数学文字和空间形式的本质属性的刻画和反映.教师要看清当前教学的现状,充分激发
<正> 铭文云:「黄帝初祖,德市于虞;虞帝始祖,德帀于新。」按帀说文训周,(六篇下帀部)广雅(释诂卷一)训徧,施之此文,皆未密合。窃谓帀当读为集,诗大雅大明篇云:「天监在下,有
期刊
构建产业链是增强企业和区域竞争力的重要手段,辨析产业链及与其相关概念,进而按照产业"链"簇的"链"际关系,分析产业链的"三维属性"表现模式,剖析产业链的基础链和"四维"支撑
造纸工业是投资大,能耗高,对环境污染严重的行业之一。其污染特点之一是废水排放量大、色度高、化学需氧量高、废水中的纤维悬浮物多。所以,关于造纸废水处理的研究就成为了