【摘 要】
：
随着可信性称为软件的焦点,运行时监控得到了广泛关注.许多典型方法通过在源代码中插入探针实现软件监控,但会导致代码混乱和维护的困难。提出了一种基于ARM和AOP的软件监控方法,其基本思想是利用ARM实现监控功能,利用AOP实现监控模块与系统的松耦合.现以ATM为例说明了方法的有效性。
【机 构】
：
国防科学技术大学计算机学院 长沙 410073
【出 处】
：
2008全国软件与应用学术会议(NASAC08)
论文部分内容阅读
随着可信性称为软件的焦点,运行时监控得到了广泛关注.许多典型方法通过在源代码中插入探针实现软件监控,但会导致代码混乱和维护的困难。提出了一种基于ARM和AOP的软件监控方法,其基本思想是利用ARM实现监控功能,利用AOP实现监控模块与系统的松耦合.现以ATM为例说明了方法的有效性。
其他文献
本文采用环块运动方式进行了商用车常用的三种渗碳齿轮材料20CrMnTiH、20CrNiMoH和22CrMoH的正交匹配润滑摩擦磨损性能研究。研究结果表明：六组摩擦副摩擦系数均值在0.107～0.120范围内，含22CrMoH渗碳材料的摩擦副摩擦系数最低为0.107～0.108；20CrMnTiH同材料摩擦副的摩擦系数均值最高为0.120.不同材料匹配耐磨性能由高到低顺序为：20CrNiMoH-20
由于表面形貌的摩擦学效应，可以使用人造表面织构对摩擦表面进行表面改性，以提高表面的相关性能。本文使用照相制版电铸方法制作模板，压铸成型了两种不同直径和分布规律的UHMWPE试样表面，通过和常规车加工试样表面的对比试验，研究了人造表面织构对UHMWPE摩擦学性能的影响。试验结果显示人造表面织构可以减小UHMWPE摩擦副的摩擦系数，相关仿真研究显示人造表面织构改善了UHMWPE摩擦副接触界面上的热传导
使用UML模型图研发大型软件系统时,自动验证UML模型图的正确性十分重要。但现有的验证方法都局限于一个或两个UML模型图。提出一个可自动验证多种UML模型图正确性的方法。基于答案集程序设计,提出了将UML模型图和模型图的属性转换成逻辑程序的方法。通过验证UML模型图的属性在该逻辑程序的答案集语义中是否为真,来判断UML模型图的正确性，与现有的方法比较,本文的方法更具有普适性,适用于所有的UML模型
静态程序分析具有良好的覆盖率,但是它不可避免地会导致一些误报。对一个流行的程序分析工具CQual进行了改进,添加了对结构成员之间关系的建模,扩充了类型推断规则和约束求解规则,并使用改进后的CQual对一些实用程序中存在的格式串缺陷进行了分析，与原始CQual的分析结果相比,它消除了一类误报,从而减小了分析人员排错的负担。
基于安全性和可靠性等方面的考虑,网格中的数据传输主要采用GridFTP和GSI技术,但是这些技术并没有提供一种网格文件系统元数据结构和全网格的文件管理工具。从网格计算的实际需要出发,提出了一种简单网格文件系统抽象描述。基于这种描述,探讨了网格文件系统的URL中立性、网格用户相关性、挂栽点的动态性。参考现有FTP客户端命令,给出相关扩展命令说明,以及VgArch控制台设计。VgArch的实现为网格计
提出了一种基于网络文件系统的Windows操作系统远程启动技术,解决了Windows的远程启动问题和基于网络硬盘的Windows远程启动机制在数据共享方面的问题。
In order to support XML-based exception definition with development for Web Services, we adopted XML to describe an exception and the handler. Since Service-oriented Architecture involves many layered
多核处理器是当前微处理器技术发展的主流趋势,如何充分发挥多核处理器的性能潜力是数据库管理系统中的一个重要问题。Falcon是MySQL 6.0.3 alpha版中的一个多线程存储引擎,支持事务处理,可以有效支持多核处理器。本文则使用MySQL6.0.3 alpha所附带的Benchmark suits,分别测试了MyISAM,InnoDB和Falcon三个存储引擎。通过测试,分析了Falcon的架
由于构件的固有特性,构件测试涉及开发者、复用者和第三方三类角色。目前的构件测试平台对此三类角色的支持力度不够,且存在测试过程人工干预较多、可扩展性不强、复用粒度较细的问题。采用基于服务编制的建模方法设计构件测试平台,将具有服务组合能力的服务编制和具有过程控制能力的BPEL4WS定义为建模过程中的核心要素,并通过扩展BPEL4WS描述构件测试中涉及的三类角色人员,最后设计了BPEL4WS引擎管理和控
TTCN-3作为标准化的测试语言,已经广泛应用于多种协议的一致性测试,存在很多可用的功能测试集和适配器。如果对其加以复用以进行性能测试,将提高测试开发的效率。构造了性能测试系统框架,提供了TTCN-3性能测试用例的执行环境,通过分析和转换功能测试用例,自动生成框架所支持的性能测试用例,测试人员通过负载配置实施测试,最后得到性能测试结果,实现了测试用例复用。