【摘 要】
:
面向监控编程技术将软件实现与监控需求规约相结合,实现对软件的运行时监控,可以有效提高软件的安全性和可靠性,但是,其监控需求的表达和监控能力的实现都比较复杂。本文提出
【机 构】
:
国防科技大学计算机学院,湖南长沙 410073
【出 处】
:
全国第20届计算机技术与应用(CACIS)学术会议
论文部分内容阅读
面向监控编程技术将软件实现与监控需求规约相结合,实现对软件的运行时监控,可以有效提高软件的安全性和可靠性,但是,其监控需求的表达和监控能力的实现都比较复杂。本文提出一种基于Java注释的监控编程语言,充分利用Java5.0的注释机制,设计了面向软件监控的监控注释,将监控需求以监控注释的形式添加到程序源代码中,有效降低了监控需求表达的复杂度。同时,本文设计了监控编程预处理模型对监控注释进行处理,实现了监控能力的自动化注入。最后通过一个实例验证了该监控编程语言的有效性。
其他文献
在XML数据查询中,XML结构查询占有基础地位,许多已知的XML查询语言都以XML结构查询作为其核心部分。高效的XML结梅查询处理在XML数据管理中非常重要。本文提出了一种位图过滤
Ajax技术使客户端与服务器通讯时间缩短,服务器响应后可以在不刷新整个页面的情况下获取数据,用户响应快,从而适应交互性强的应用需求。本文在详细介绍Ajax技术的特点及应用
建模是工作流技术中的核心工作,也是工作流技术中的一个重要研究内容。本文介绍了着色Petri网和着色工作流网(CWF-netS)的相关概念,并给出了一种分析CWF-nets的正确性的极大
软件测试过程中,测试用例集的规模可能会随着软件的维护和修改而飞速地增长,由于测试过程中时间和资源的限制,测试用例集约简技术试图移除那些冗余的测试用例,即它们满足的测
宋鸣,满族,1957年5月生于宁夏银川市。1982年毕业于西安美术学院。现为中国美术家协会理事、中国书法家协会会员,宁夏政协委员、
Song Ming, Manchu, May 1957 Born in Yinc
对武汉市四家大医院 1994~ 1998年间呼吸道和心脑血管疾病完整的病案资料进行了三种时间尺度 (季、月、旬 )变化特征的分析 ,结果表明 :1上感、下感、心梗的周年韵律较明显 ,
目的为了解广西的儿童家长对计划免疫知识掌握的程度以及影响乙肝疫苗接种的因素。方法采用分层多阶段随机抽样法 ,每层按世界卫生组织推荐的标准组群抽样方法 ,抽取城市和高
内存泄露问题一直是C、C++等程序员们非常关心的一个问题,借助一些工具,程序员可以认识程序中存在的内存泄露问题。对于内存泄露检测分为静态和动态方法:静态方法一般采取分析
工作流技术尚处于发展的初级阶段,工作流模式是软件设计和软件开发领域研究的热点之一。本文结合实例阐述了工作流模式的基本控制流模式,对比研究了目前三大主流开源工作流系