切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
动态不变量检测工具Daikon的分析及运用
动态不变量检测工具Daikon的分析及运用
来源 :电脑开发与应用 | 被引量 : 0次 | 上传用户:wjkylin
【摘 要】
:
讨论了动态不变量的检测,即通过一个动态分析发现可能的程序不变量。通过从程序中自动推断出似然程序不变量的方式,可以在程序运动时动态追踪运行轨迹,以发现程序不变量,并找出属
【作 者】
:
刘树锟
阳小华
【机 构】
:
南华大学
【出 处】
:
电脑开发与应用
【发表日期】
:
2006年1期
【关键词】
:
Daikon
程序不变量
关联关系
追踪
Daikon
program invariants
associate relationship
trace
【基金项目】
:
湖南省自然科学基金(编号:XJK03CG021)资助.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
讨论了动态不变量的检测,即通过一个动态分析发现可能的程序不变量。通过从程序中自动推断出似然程序不变量的方式,可以在程序运动时动态追踪运行轨迹,以发现程序不变量,并找出属性和它们之间的关系,这是一个高效的技术。
其他文献
产业调整能否缓解环境压力?
2014年全国服务业增加值占GDP比重达48.2%,显示出强劲的结构优化势头。我围服务业增加值已连续6个季度超过第二产业,产业结构从工业向服务业转型,消费者偏好从商品向服务转换
期刊
环境压力
产业调整
产业结构演变
服务业
消费者偏好
结构优化
第二产业
业态发展
无功功率的补偿
由于系统用电设备的不同,从而使系统分配的无功功率有所不同,例如在同样的系统容量(S)下,有的用户获得的有功电能多。有的用户获得的有功电能就少;同样的电压下,有的电压降大,有的电
期刊
无功功率
有功功率
电能
改变
服务
试论中国特色社会主义宗教法制建设
在中国社会主义和谐社会和全面小康社会的构建之中,加强宗教法制建设,中国特色社会主义宗教法制建设对于依法加强对宗教事务的管理。积极引导宗教与社会主义社会相适应,逐步实现
期刊
特色社会主义
宗教法制建设
问题及对策
决策树与人工神经网络的对比分析
决策树和人工神经网络是数据挖掘分类任务中两项重要技术,各具特点,对不同的数据类型应采用不同的算法进行相应的研究应用。为了深入地说明各自的特点,根据决策树C 4.5算法的
期刊
决策树
人工神经网络
C4.5算法
BP网络模型
分类
decision trees
artificial neural networks
C4.5 Algor
没有依法决策,何谈科学决策?
国家行政学院法学部副教授韩春晖认为,在环境保护领域.如果没有依法决策,科学决策和民主决策很难保障。比如没有依法决策,风险评估就会存在造假;没有依法保障,公众就无法真正有效、
期刊
依法决策
科学决策
国家行政学院
依法保障
环境保护
民主决策
风险评估
决策质量
美洛西林钠舒巴坦联合穿琥宁治疗小儿疱疹性咽峡炎疗效观察
目的:探讨美洛西林钠舒巴坦联合穿琥宁治疗小儿疱疹性咽峡炎的疗效。方法:选择我院2011年3月~2012年3月住院治疗的疱疹性咽峡炎患儿116例,随机分成对照组和观察组各58例,两组均给
期刊
美洛西林钠舒巴坦
穿琥宁
利巴韦林
疱疹性咽峡炎
从陆游的诗歌看古代诗人骑驴
陆游的《剑门道中遇微雨》中诗句"细雨骑驴入剑门"蕴涵着别有意味的信息,中国古代诗人与驴结下了不解之缘,在孟浩然、李白、杜甫、贾岛、李贺、郑綮、孟郊等"骑驴"的诗句或故事中
期刊
陆游
诗人
驴
文化
新课程背景下初中语文教学如何培养学生的素质和能力
在新课程教学背景下,我们初中语文教师不仅要传授学生语文知识,还要培养学生的学习能力、进取精神、语文素养与创新能力,等等。为了充分激发学生的主动意识和进取精神,新课标倡导
期刊
初中语文教学
引导学生
新课程背景
学习能力
培养
素质
学生的主体性
语文教师
农业固体废弃物是废物吗?
农业固体废弃物既是污染源,也是一种潜力巨大的资源。对农业固体废弃物的资源化利用不仅可以消除污染,改善农村环境,还可以创造经济效益,实现农业的可持续发展。
期刊
固体废弃物
农业
资源化利用
废物
可持续发展
农村环境
经济效益
污染源
企业中手机WAP上网业务平台的分析与设计
WAP业务由最初的无人问津到现在的蓬勃发展,而随着中国移动和联通这两大电信服务商相继开展WAP业务,越来越多的企业开始参与到WAP业务中去。从有关手机WAP上网业务为接入点,通过
期刊
无线应用协议
服务提供商
手机上网业务
WAP
SP
handset netting service
与本文相关的学术论文