论文部分内容阅读
针对软件运行时可信保障存在的相关问题，提出了基于AOP技术的软件性质监控框架。本框架使用OCL（Object Constraint Language）和UML Profile的SPT（Schedulability, Performance and Time）规范实现了软件性质在模型上的描述，基于描述并独立于被监控软件自动生成监控方面，将监控方面编织入被监控软件，从而使被监控软件具有运行时软件性质监控能力。