一种程序状态监测系统

来源 :同济大学学报(自然科学版) | 被引量 : 1次 | 上传用户：jjass

【摘要】

：

为了有效地监测程序的运行状态(如变量值、方法调用、程序控制流等),提出了一个通用的程序状态监测系统(PSMS).PSMS可以指定收集何种程序状态信息,保存到信息库中,扩展了通常的断言系统和调试系统,可以在任意文件的任意位置声明断言,提供更多的运行时刻信息.PSMS采用了软件传感器技术来收集程序信息,并设计了一个专用的查询语言来进行状态收集后的分析工作.通过一个简单的计算器程序,演示了PSMS如何有

【作者】

：

张卫山 PENG Chuan-ning

【机构】

：

同济大学嘉定校区,新加坡国立大学

【出处】

：

同济大学学报(自然科学版)

【发表日期】

：

2005年10期

【关键词】

：

程序状态监测软件传感器断言调试 program state monitoring software sensor assertion debug

【基金项目】

：

同济大学校科研和教改项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

定期存款所含嵌入期权的定价

在Black-Scholes框架下,采用均值回复的Vasicek利率模型和偏微分方程的方法,用百慕大期权来近似,给出了定期存款的定价公式.

期刊

定期存款随机利率定价fixed deposit stochastic interest rate price

社会主义核心价值体系引领党建工作的探索——以非公有制企业为例

非公有制企业党建工作如何开展？本论文对此进行了积极有效的探索。一、提出坚持社会主义核心价值体系引领非公有制企业党建工作的必要性；二、论述社会主义核心价值体系引领非公

期刊

社会主义核心价值体系党建工作非公有制企业

高职院校财务风险预警系统的构建

风险虽然不仅仅局限于财务方面,但所有风险最终都会体现在财务方面。近年来,高职院校大规模的扩张和基建带来了巨大的资金压力,在信贷资金成为其主要融资渠道的情形下,必然产

期刊

高职院校财务风险预警系统

地学图文数据导入ArcInfo方法的实现

在地学领域中,为了利用ArcInfo软件的空间分析、查询和可视化功能,以便对地学信息进行分析和信息提取,地学信息的导入是很关键的一步.据此对地学资料导入ArcInfo的几种途径进行了讨论,指出存在的问题和局限性,并给出一种通过编程将数据文件转换成ArcInfo支持的数据模型——Shapefile文件的方法.该方法具有灵活、简单的特点.

期刊

ArcInfo软件地学数据Shapefile文件ArcInfo software geoscientific data Shapefile

速度扫描法共聚焦点道集偏移速度分析

共聚焦点(CFP)偏移是基于等时原理,通过激发聚焦和检波聚焦的双聚焦实现叠前深度偏移的地震成像方法.在速度模型正确的情况下,聚焦点响应和它的逆时聚焦算子的聚焦度差异时差

期刊

共聚焦点偏移共聚焦点道集等时原理差异时差分析速度扫描速度分析common focus point migration common focus p

方庄社区家庭医生式服务的实施及效果评价研究

全科医生又称家庭医生,是执行全科医疗的卫生服务提供者,处于卫生服务的金字塔底层,是20世纪60年代末至北美兴起的一门综合性的临床医学学科[1,2]。在我国,已初步建立了全科

期刊

家庭医生居民健康档案全科医疗效果评价卫生服务服务提供者临床医学学科知晓率知识知晓情况慢性病管理

节点递归算法优化雨水管网

提出节点递归算法优化雨水管网系统.根据雨水管网的图论和矩阵算法,用管网联系矩阵描述整个管网,采用节点递归优化算法,以节点为研究对象,克服了管网在交叉节点处上下衔接计

期刊

雨水管网优化设计雨水优化节点递归storm water system optimal design optimal recurrence metho

初中语文课堂提问的“三度”

教育家陶行知说：“发明千千万，起点是一问。禽兽不如人，过在不会问。智者问得巧，愚者问得笨。人力胜天工，只在每事问。”可见课堂提问之与教学的关系是如此的重要。设计良好的提问，能开拓学生的思路，开发学生的潜能，培养学生分析、解决问题的能力和创新精神，优化教学效果，从本质上提高学生的综合素质。

期刊

课堂提问初中语文解决问题的能力学生分析教学效果创新精神综合素质陶行知

少数民族聚居的小山城规划——广西资源县县城总体规划特点

资源县的发展有助于大桂林风景区乃至整个广西旅游业的发展。文章突出分析如何依靠当地有利地形条件，并通过对少数民族特色文化、山城旅游等方面的阐述达到研究小山城规划的目

期刊

少数民族旅游业小山城

刀片式服务器标准将陆续推出

刀片式服务器是目前服务器领域的高端产品。由高性能计算机标准工作委员会提交的两个刀片式服务器标准，已经由信息产业部立项。预计到2008年，我国刀片式服务器领域的相关标准将

期刊

刀片式服务器标准工作高性能计算机信息产业部高端产品委员会

一种程序状态监测系统

与本文相关的学术论文