论文部分内容阅读
传统的形式化方法和软件运行时监控都是提高软件可信性的有效途径，但存在监控需求表达能力不强及代码分散等问题。针对该问题，提出基于形式化监控的可信软件构造技术FM-TSPM，将形式化方法和运行时监控相结合，实现跨领域的方法融合。用形式化方法描述监控约束，根据监控约束生成方面监控代码，解决代码分散问题。采用AOP编织器将方面代码编织到目标系统中，构造出带监控能力的可信软件。