切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于演进思想的程序断言动态发现模型研究
基于演进思想的程序断言动态发现模型研究
来源 :信息技术 | 被引量 : 0次 | 上传用户:qzccj
【摘 要】
:
程序断言动态侦测技术具有很广的应用范围,如程序测试与排错、程序演进与重构、构件替换与程序容错等领域。相比于传统的程序断言侦测技术,文中介绍了一务简洁的异常排除与接纳
【作 者】
:
吴取劲
阳小华
罗扬
刘杰
【机 构】
:
南华大学计算机科学与技术学院
【出 处】
:
信息技术
【发表日期】
:
2008年5期
【关键词】
:
程序断言
动态侦测
违例
免疫
assertion dynamic detection violation immunity
【基金项目】
:
湖南省自然科学基金资助课题(05JJ30117)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
程序断言动态侦测技术具有很广的应用范围,如程序测试与排错、程序演进与重构、构件替换与程序容错等领域。相比于传统的程序断言侦测技术,文中介绍了一务简洁的异常排除与接纳并降低时间空间代价的实践思想,它来源于生物演进和计算机免疫技术的启发,为基于这一演进思想的程序断言侦测建立起一个演进模型。
其他文献
一种最优去噪线性相位滤波器组的FPGA实现
格型结构是一种可以快速高效设计过采样线性相位完全重建滤波器组的方法。一旦分析滤波器组设定后,对应的综合滤波器结构也就确定,但综合滤波器组参数却有很大的灵活性,从中
期刊
线性相位
格型结构
过采样
去噪
FPGA
linear-phase lattice structure oversampled noise reduction
3GPP LTE上行链路的仿真研究
在LTE系统中上行链路采用SC-FDMA方案,下行链路采用OFDMA方案。文中对LTE上行链路的物理层进行仿真研究,并深入探讨了频域均衡(FDE)技术在高速率无线通信系统中的作用。从仿真
期刊
LTE
SC-FDMA
FDE
LTE SC-FDMA FDE
高校图书馆内务信息管理系统的构建
建立图书馆内务信息管理系统,是提高和加强图书馆管理工作的重要举措。系统的构建是一项复杂而细致的工作。通过系统的设计原则、系统的主要功能、系统的应用(案例)等方面的阐
期刊
高校图书馆
内务信息
网络环境
构建
libraries in colleges library information newwork-based build
基于互相关的时间差(DTOA)获取技术探究
首先介绍了基于到达时间差DTOA的无源定位技术的基本原理,接着探究一种基于相关技术的获取DTOA的算法,并进行仿真测试,最后对该算法精度进行分析。
期刊
定位技术
DTOA
互相关
location technique differential time of arrival cross-correlation
浅析高校安全保卫工作防护体系
随着高校每年招生数量的增加,高校开放程度日益增大,人们进出高校的机会明显增多,给校园安保带来了较大的难度。该文分析目前高校安保工作存在的一些问题,如保卫人员积极性不
期刊
校园安保
安保体系
保卫工作
做百姓的贴心人——记唐山市丰南区大新庄镇劳动就业社保所李玉环
河北省唐山市丰南区大新庄镇劳动就业社会保障服务所所长李玉环,十几年扎根基层劳动就业社会保障工作,带领服务所的六位女办事员守初心、担使命,解民忧、惠民生,得到了社会和
期刊
社会保障服务
劳动就业
社保所
人社工作
人社服务
社会保障工作
唐山市丰南区
七仙女
DP801控制的电动玩具 挖掘机
【正】 程控电动玩具挖掘机是在周南老师的帮助和指导下制作的,使用了商店卖的玩具电动挖掘机,把它的控制电线与DP801型单片机连接,用程序控制动作。由于单片机不能直接连接
期刊
电动玩具
挖掘机
DP801
其他学术论文