您的位置： 专家智库 > >

李劲松

作品数：3 被引量：0H指数：0
供职机构：新汶矿业集团更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇会议论文
  • 1篇期刊文章

领域

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

主题

  • 1篇动态内存
  • 1篇动态内存管理
  • 1篇运行剖面
  • 1篇软件可靠性评...
  • 1篇数据流
  • 1篇数据流分析
  • 1篇内存
  • 1篇内存管理
  • 1篇内存泄漏
  • 1篇贝叶斯推断
  • 1篇别名分析
  • 1篇插装
  • 1篇程序插装

机构

  • 3篇山东农业大学
  • 3篇新汶矿业集团

作者

  • 3篇李劲松
  • 3篇张广梅

传媒

  • 1篇北京化工大学...
  • 1篇第十三届全国...

年份

  • 1篇2009
  • 1篇2008
  • 1篇2007
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
无用代码的检测
2007年
程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销,对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上,对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。
张广梅李劲松
关键词：数据流分析程序插装
动态内存管理错误检测中流敏感的别名分析
两个指向同一内存空间的指针变量之间具有别名关系。应用程序中内存泄漏、指针变量解引用等错误的检测需要别名分析的支持。指针变量的指向关系分析可以准确地确定变量间的别名关系。流敏感的指针指向分析充分考虑了程序的控制结构、程序的...
张广梅李劲松
关键词：动态内存管理别名分析内存泄漏
文献传递
基于随机测试的软件可靠性评估
本文提出了基于随机测试的软件可靠性评估方法。文中首先引入程序正确性的概念,继而讨论了程序正确性估计方法,该方法以贝叶斯统计理论为依据,在对随机测试过程分析的基础上建立了基于输入域的测试过程的形式化描述;接下来讨论了程序正...
张广梅李劲松
关键词：贝叶斯推断运行剖面
文献传递
全选 清除 导出
共1页<1>
聚类工具0