稽孟雨

作品数：1被引量：2H指数：1
导出分析报告
供职机构：解放军理工大学指挥自动化学院更多>>
发文主题：整数溢出整数更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与科学》更多>>
所获基金：中国博士后科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向整数错误检测的蜕变测试方法研究被引量：2
《计算机工程与科学》2012年第4期52-56,共5页姚奕 黄松 稽孟雨 
国家863计划资助项目(2009AA01Z402);中国博士后科学基金面上资助项目(20110491843)
整型错误在安全性和功能性方面都是影响软件质量的重要因素,但是由于测试人员往往面临Oracle问题,无法判断程序是否出现整型错误,除非程序输出一个明显的异常值。本文利用蜕变测试技术发现由于整型错误产生的隐错,实验结果显示基于蜕变...
关键词：蜕变关系 整型错误 整数溢出 测试判定 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部