随着软件复杂度的提高,软件失效和故障问题日渐突出,软件可信性越来越受到人们的关注。针对软件实施运行时监控是提高软件可信性的一种有效途径。然而,传统的软件监控技术存在着一维实现技术与多维监控需求之间的失配,导致了代码的缠结和分散。AOP技术的发展,为监控关注点的模块化实现提供了支持,AOP技术在监控领域的应用越来越广泛。论文介绍了监控领域AOP技术的应用现状,分析了现有监控技术的不足;设计并实现了一个基于AOP的软件性质监控框架。该框架从利用OCL描述性质约束出发,通过一系列过程自动生成监控方面代码,该方面代码与源程序编织实现监控能力的植入。框架一方面利用AOP技术实现了“监控”的模块化封装;另一方面提供了监控代码自动生成机制,免除了编程实现监控逻辑的负担。针对基于AOP的软件性质监控框架中监控效率问题,论文随后还提出了一个基于OCL-Java转换的软件性质监控技术。该技术结合了OCL-Java的转换机制,降低了监控对OCL验证工具的依赖,提高了监控效率。论文最后还就多核体系中监控效率提高问题进行了研究,提出了一个可行的技术思路。