您的位置： 专家智库 > >

黄彩霞

作品数：2 被引量：2H指数：1
供职机构：南华大学计算机科学与技术学院更多>>
发文基金：湖南省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

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

主题

  • 2篇GEP
  • 2篇不变量
  • 2篇程序不变量
  • 1篇似然

机构

  • 2篇南华大学

作者

  • 2篇黄彩霞
  • 1篇阳小华

传媒

  • 1篇南华大学学报...

年份

  • 2篇2012
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于GEP的线性指数函数型程序不变量动态发现方法被引量：1
2012年
不变量是用来描述程序运行时保持不变性质的逻辑断言.根据关系数据理论,程序不变量可分函数依赖型和非函数依赖型程序不变量.着眼于函数依赖型程序不变量,借助GEP的函数发现特点和Daikon对线性程序不变量的发现能力,重点对线性指数函数型程序不变量动态发现方法进行研究,通过实验证明了GEP对线性指数形式的函数有较高的发现效率,可以扩展Daikon在线性指数函数型程序不变量方面的预置形式以达到从程序轨迹数据中发现该类程序不变量的目的.
阳小华黄彩霞
关键词：GEP程序不变量
基于GEP的指数函数型程序不变量发现方法研究
程序中蕴含的不变性质即程序不变量，它用来描述程序的运行规律。目前的不变量动态发现工作采用的是试探法，分为两个阶段——首先预置不变量形式，然后确定不变量表示形式。它考查的是一些简单的，有限数目的不变量形式，难免会遗漏重要的...
黄彩霞
关键词：程序不变量GEP
文献传递
全选 清除 导出
共1页<1>
聚类工具0