您的位置： 专家智库 > >

闫鑫

作品数：2 被引量：0H指数：0
供职机构：北京邮电大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 2篇软件测试
  • 2篇流图
  • 2篇控制流
  • 2篇控制流图

机构

  • 2篇北京邮电大学

作者

  • 2篇闫鑫
  • 1篇金大海
  • 1篇宫云战

传媒

  • 1篇软件

年份

  • 2篇2013
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
结构体对象的赋值运算方法研究
2013年
随着计算机技术的飞速发展,软件的覆盖面越来越广,软件质量的保证成为了一个越来越重要的环节。结构体在程序设计语音中被广泛使用,在静态代码检测的时,对结构体变量进行区间运算的时候不能给出其明确的区间信息,会对其相关运算的判断精度造成影响,本文介绍了一种对结构体赋值运算的区间计算方法。首先,从抽象语法树中识别结构体变量节点,其次为他们建立抽象内存模型,再次根据控制流图节点在其进行赋值运算的时候对它的子成员变量进行运算。
闫鑫金大海宫云战
关键词：软件测试控制流图
域敏感的复杂变量区间运算
随着计算机科学技术的蓬勃发展，计算机软件的应用覆盖面越来越广。越来越多的学者着手于软件测试的理论研究，并取得到了飞速的进展。在此基础上，软件缺陷模型的研究取得了重要突破。DTS缺陷静态检测系统就是一个基于缺陷模型的静态软...
闫鑫
关键词：控制流图软件测试
文献传递
全选 清除 导出
共1页<1>
聚类工具0