您的位置： 专家智库 > >

稽孟雨

作品数：1 被引量：2H指数：1
供职机构：解放军理工大学指挥自动化学院更多>>
发文基金：中国博士后科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇整数
  • 1篇整数溢出

机构

  • 1篇解放军理工大...

作者

  • 1篇黄松
  • 1篇姚奕
  • 1篇稽孟雨

传媒

  • 1篇计算机工程与...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
面向整数错误检测的蜕变测试方法研究被引量：2
2012年
整型错误在安全性和功能性方面都是影响软件质量的重要因素,但是由于测试人员往往面临Oracle问题,无法判断程序是否出现整型错误,除非程序输出一个明显的异常值。本文利用蜕变测试技术发现由于整型错误产生的隐错,实验结果显示基于蜕变关系的整型错误检测方法可检测出平时发现不了的隐式非预期输出,有效地提高了检测整型错误的效率。
姚奕黄松稽孟雨
关键词：整数溢出
全选 清除 导出
共1页<1>
聚类工具0