【摘 要】
：
核电国产化正在持续进行,核电软件作为核电生产的执行和管理体系上的一个重要组成部分。而核电软件测试作为高可信计算的重要验证和保障手段,在整个软件生命周期中占据着相当
【机 构】
：
南华大学计算机学院,中国核动力研究设计院核反应堆系统设计技术重点实验室
【基金项目】
：
湖南省教育厅科学研究项目(17C1378);中国核动力重点实验室基金项目(LRSDT2017304)
论文部分内容阅读
核电国产化正在持续进行,核电软件作为核电生产的执行和管理体系上的一个重要组成部分。而核电软件测试作为高可信计算的重要验证和保障手段,在整个软件生命周期中占据着相当大的比重。在进行此类软件的系统测试时,不仅要求对照设计说明书进行常规非渐增式系统测试,还要求对输入卡值进行必要的参数替换和用例演化。整个用例演化与执行多依赖于人工,导致系统测试过程中存在工作量大、资源消耗大、效率低等问题。常见的系统测试工具难以满足此类多参数、多可选参数值、多状态的系统测试工作需求,基于这种现状,笔者提出了基于组合测试模型的系统测
其他文献
粗颗粒是制备重结晶碳化硅陶瓷窑具必不可少的重要原料之一，本文通过观察颗粒形貌、筛分、pH以及用其配制泥浆后的泥浆性能综合考虑其在重结晶窑具的作用。研究结果表明：粗颗粒
目的：观察慢性阻塞性肺病（COPD）患者以培土生金法治疗后,患者的营养状态、生存质量改善情况。方法：本次研究对象为我院2015年3月~2016年4月期间收治的60例COPD患者,采用双盲法将
折叠共源共栅结构改进了传统的两级运算放大器的输入范围和电源电压抑制特性，优化了二阶性能指标。利用mosis 0．6μm CMOS工艺模型参数，设计了折叠共源共栅结构的运算放大器，对各
湖北省的社会组织已经有了一定规模,在全省的社会主义市场经济建设中起着重要作用,但大部分社会组织财务混乱,缺乏规范有序的财务管理。本文针对湖北省社会组织财务管理中存
为了方便用户查询感兴趣的资源,许多Web应用程序会提供搜索功能。如果搜索功能存在故障,将会导致Web应用程序的功能异常,甚至会引发安全问题,因而需要对其进行充分的测试。可
采用自行设计的放电设备，对镍镉蓄电池进行深度放电，针对镍镉蓄电池的特点，研究出镍镉蓄电池的充电方式，对部分容量不足的蓄电池进行了容量补救，收到了良好的效果，为企业节约了镍镉
一、作为方法的现象学 从西方哲学发展的思想理路来看,西方古典哲学致力于本体论的研究,近代哲学偏重于认识论的探讨,而现代西方哲学则把重心放置于方法论的思考上.现象学
硫氧化细菌具有氧化单质硫及硫化物，生成硫酸的特性。根据硫氧化细菌的这种生物特性，使其在盐碱土中发生生化反应，将硫磺粉氧化生成硫酸，中和盐碱土中的OH^-，从而达到改良盐碱土的
公平与效率是合作社的基本理念,所有者-惠顾者同一是合作社的本质规定。合作社的基本理念和本质规定,在国际合作社运动170多年的实践历程中发生了嬗变,在中国合作社实践中出
<正>研究热氧老化对炭黑填充橡胶拉伸和撕裂性能影响。橡胶试样在70℃,100℃和120℃下热氧老化不同时长,然后对试样进行单轴拉伸和撕裂测试,得到材料的初始弹性模量、拉伸强