• 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 产品样本
  • 电子图书
  • 原文传递

限定检索结果

检索条件"机构=中核集团高可信计算学科重点实验室"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
视图：
排序：
基于蜕变测试的热传导程序的验证测试研究
收藏
分享
引用
《核科学与工程》2017年 第3期37卷 380-385页
作者：闫仕宇 阳小华 李萌 谢金森南华大学计算机科学技术学院湖南衡阳4221001 中核集团高可信计算学科重点实验室湖南衡阳421001 
核电设计与分析软件的数值计算程序的验证测试过程,受制于代码中数值算法执行的正确性,但存在Oracle问题,即测试人员很难构造或者得到程序的预期输出来验证程序计算结果是否正确。蜕变测试无需程序预期值来验证结果,已应用于软件测试领...
来源：详细信息评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页<< <1> >>
聚类工具 回到顶部