【摘 要】
：
应用软件逻辑测试是属于核电站安全级DCS应用软件V&V活动的一个重要环节,通过涂抹确认的测试方法测试周期长、测试效率低、无法避免人因失误。本文研究了一种逻辑自动化测试
【基金项目】
：
红沿河5&6号机组安全级DCS工程V&V项目(NPD1504001-3)
论文部分内容阅读
应用软件逻辑测试是属于核电站安全级DCS应用软件V&V活动的一个重要环节,通过涂抹确认的测试方法测试周期长、测试效率低、无法避免人因失误。本文研究了一种逻辑自动化测试方法,通过优化测试用例,使自动化测试工具可以测试安全级DCS应用软件逻辑测试用例。结合多个核电项目应用软件逻辑测试的实践经验,证明了应用软件自动化逻辑测试方法不仅提高了测试效率,同时降低了人因失误率。为后续核电项目安全级DCS应用软件逻辑测试提供参考意义。
其他文献
采用控制-定酸度的硫酸铁溶液溶解样品,Fe3＋与金属铝发生反应,置换出等当量 Fe2＋. 以重铬酸钾标准溶液滴定 Fe2＋,根据消耗重铬酸钾标准溶液的量,计算金属铝的含量. 方法研究了溶
冯小刚是当代中国电影市场的领军人物，幽默的台词是冯氏作品取得巨大成功的重要原因，对冯小刚喜剧电影台词的研究有着重要的意义。但是前人从语言学角度对冯小刚电影的系统研究
目的：观察保留不同胃囊体积的胃旁路手术（Gastric Bypass,GBP）对2型糖尿病大鼠模型的降糖作用，并探讨其治疗2型糖尿病的可能机制。方法：对雄性的SD大鼠采用高糖高脂饮食联合腹腔注
<正>我国双曲线冷却塔筒壁施工,一般采用悬挂式脚手架、滑模和升模等方法施工.滑模施工由于质量问题尚难解决,目前较少采用;升模施工因存在结构体系复杂,人工调整量大等缺点,
油画是一门美丽的艺术语言,它能够让艺术家在观察、经历生活周遭的同时,通过油画的表现形式传达出艺术家对生活的情感。她有许多种技法和题材可以运用。当代的油画的颜色,大
本文综述了混合型稀土矿、氟碳铈矿以及离子型稀土矿的分离提取工艺。重点介绍了混合型稀土矿、氟碳铈矿的选冶分离技术以及离子型吸附型稀土矿浸出工艺,认为减量化、无害化
随着高科技和网络的发展普及以及人们审美情趣的不断提高，美国电视剧在中国越来越多地受到广大观众的青睐。美剧字幕翻译也因此成为翻译界的一个热点。为了使美剧在中国得到更
迭代学习控制利用迭代修正达到预定控制目的改善，特别适用于具有重复运动性质的被控对象，实现在有限时间区间内对期望轨迹的高精度跟踪。与其它算法相比迭代学习算法不依赖于系
研究背景脓毒症是指机体对病原微生物及其致炎性等产物刺激引起的过度炎症反,造成组织破坏和脏器功能受损。若继续发展，可引起脓毒症休克并序贯诱发多器官功能障碍综合征(mult
截止2012年12月31日，在中国香港、新加坡和美国的中国内地境外上市融资企业分别为296家、147家和177家，中国企业境外上市融资过程暴露过许多问题与风险，比较典型的是2010年以来