切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
C程序不变量动态发现编配工具的设计
C程序不变量动态发现编配工具的设计
来源 :微计算机信息 | 被引量 : 0次 | 上传用户:owen1986
【摘 要】
:
程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言。程序编配的任务是通过对程序改造,暴露程序的运行轨迹,然后在通过对轨迹分析完成程序不变量的发现。程序
【作 者】
:
刘杰
阳小华
余童兰
【机 构】
:
南华大学计算机科学与技术学院
【出 处】
:
微计算机信息
【发表日期】
:
2008年12期
【关键词】
:
程序不变量
不变量动态发现
编配工具
program invariant
program instrument
dynamically discoverin
【基金项目】
:
湖南省自然科学基金资助课题(项目名称:程序断言动态生成技术(05JJ30117)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言。程序编配的任务是通过对程序改造,暴露程序的运行轨迹,然后在通过对轨迹分析完成程序不变量的发现。程序编配是程序不变量过程中的关键步骤。本文介绍了C程序编配的工作原理和主要方法,并详细说明了采用内嵌法的编配工具的设计过程。
其他文献
车用电线束插接器动态阻抗测试系统
针对车用电线束插接器测试中全程记录动态阻抗数据的要求,构建了一个基于PXIExpress(PXIe)的车用电线束插接器动态阻抗测试系统。系统硬件由PXIe机箱(含双核嵌入式控制器)、PXIe高
期刊
PXIe
车用电线束插接器
动态阻抗
测试系统
PXI express
vehicle electronic line connector
measurem
具有语音功能的车载智能仪表仿真研究
为了增强车载仪表系统的辅助驾驶功能,设计了一种具有语音功能的智能车载仪表系统,该系统采用SPCE061A单片机为控制核心,配以传感器单元、显示/键盘、扬声器等几个部分。工作
期刊
汽车仪表
SPCE061A
语音播放
传感器
vehicle instrument
SPCE061A
Voice broadcast
Sensor
基于QR Code条码的飞机加油统计系统
本文介绍了QR Code条码技术,结合我军飞机油料保障特点,制定了飞机加油统计系统的可行方案。并基于QR Code条码技术设计了飞机加油统计系统的硬件和软件系统,经实际运行,系统稳定
期刊
二维条码
飞机加油
单片机
打印机
two-dimensional bar code
Aircraft refueling
microcomputer
p
嵌入式轻量Agent平台的构建研究
根据轻量Agent平台特性以及运行方式,提出了软件Agent运行的改进方案。采用开发嵌入式系统和移动设备的JAVA版本-J2ME,在基于S3C2410与Linux的平台上,对KVM移植,将改进的轻量Agen
期刊
轻量
AGENT
嵌入式系统
J2ME
KVM
lightweight agent
embedded system
J2ME
KVM
数据信号处理并行加载系统的设计与实现
引导加载是DSP系统设计中必不可少的重要环节。本文在设计了由TMS320VC5502 DSP和FLASH存储器构成的最小系统的基础上,设计了一套并行引导加载方案,介绍了FLASH的在系统编程技
期刊
DSP
TMS320VC5502
引导加载
FLASH编程
DSP
TMS320VC5502
Bootloader
FLASH Programming
Linux平台下面向连接的C/S网络通信实现
Linux操作系统具有良好的稳定性和出色的网络性能,因此被广泛应用于网络服务领域。在Linux下开发高性能的网络通信程序,是充分发挥Linux网络特性的一个关键因素。本文详细介
期刊
LINUX
客户机-服务器通信
套接字
Linux
client-server
communication
socket
一种电流型积分器自动调节系统设计
本文给出一种用于电流型连续时间Σ/Δ调制器(Σ/Δmodulator)中的跨导积分器(OTA-C integrator)的自动调节系统。该系统由原Σ/Δ调制器中跨导器,积分器及反馈数模转换器(fe
期刊
片上自动调节
电流型跨导积分器
连续时间Σ/Δ调制器
峰值检测
on-chip automatic tuning
current-mode OTA-C int
交换式工业以太网实时性实验研究
利用已构建的实验平台,进行了一系列的实际实验以研究IEEE802.1P对交换式工业以太网实时性的影响,并对比之前所取得的理论研究成果,发现理论分析不足之处以进行完善。通过实
期刊
工业以太网
实时性
IEEE802.1P
Industrial Ethernet
Real-time behavior
IEEE 802.1P
微机智能锚杆注浆数据采集和控制仪
本文介绍了一种基于微机的智能锚杆数据采集、注浆控制仪表,可以在锚杆施工中保证施工质量、提高施工效率,同时降低操作人员的劳动强度,还能在施工后为监理人员提供有关注浆
期刊
智能锚杆
数据采集
注浆控制
质量监控
Intelligent anchor rod
data acquisition
injection control
模糊PI控制方式在STATCOM中应用研究
静止同步补偿器(STATCOM)在提高电力系统的电压稳定水平、输电系统暂态稳定极限和静态稳定极限方面发挥着重要的作用,因此STATCOM的控制方式的研究有及其重要意义。从应用角度,尝
期刊
模糊PI
静止同步补偿器
接点电压
Fuzzy PI
STATCOM
Voltage of joint point
与本文相关的学术论文