文献检索-宁波市创意产业特色资源库

限定检索结果

基于蜕变测试的点燃耗程序验证研究: 收藏
分享
引用; 《核科学与工程》2021年第5期41卷 891-898页; 作者：王丽君李萌南华大学创新创业训练中心湖南衡阳421001 南华大学计算机学院湖南衡阳421001 中核集团高可信计算重点学科实验室湖南衡阳421001 湖南省智能装备软件评测工程技术研究中心湖南衡阳421001; 由于核素数量庞大,并且存在短半衰期核素和闭环燃耗链,难以构造预期输出,点燃耗程序验证面对测试预言问题。这使得高度依赖于测试预言的传统测试方法不可用,甚至无效。蜕变测试虽然是解决测试预言问题一种有效方法,因蜕变关系难以识别,...; 由于核素数量庞大,并且存在短半衰期核素和闭环燃耗链,难以构造预期输出,点燃耗程序验证面对测试预言问题。这使得高度依赖于测试预言的传统测试方法不可用,甚至无效。蜕变测试虽然是解决测试预言问题一种有效方法,因蜕变关系难以识别,因此尚未能在核设计软件验证中广泛应用。在分析燃耗计算物理性质的基础上,识别蜕变关系,并将蜕变测试应用于点燃耗程序的验证。实验表明在没有测试预言的情况下,通过比较程序的多次输出,蜕变测试能有效地检测出程序缺陷。此外,即使原始程序以及TTA检测失效,蜕变测试仍然揭示了代码缺陷。本研究为蜕变测试在核设计领域的应用提供有益参考。; 来源：详细信息评论

高级检索 表达式检索

时间限定

文献类型

馆藏选择

核心期刊

语言

高级检索 表达式检索

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

限定检索结果

保存检索档案

请选择保存的检索档案：

收藏书架

请选择收藏分类：

检索条件订阅

申请转借

引用

高级检索 表达式检索

时间限定

文献类型

馆藏选择

核心期刊

语言

高级检索 表达式检索

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

限定检索结果

保存检索档案

请选择保存的检索档案： 新增检索档案 确定 取消

收藏书架

请选择收藏分类： 新增自定义分类 确定 取消

检索条件订阅

申请转借

引用

高级检索表达式检索

高级检索表达式检索

请选择保存的检索档案：

请选择收藏分类：