基于形式化监控的可信软件构造模型

• 作者: 丁革建 刘松 李志蜀 陈建明
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 运行时监控 确定有限自动机 面向方面编程
• 年，卷（期）: 2011,（1）
• 页码范围: 65-68
• 分类号: TP311
• 字数: 5755字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.01.023

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李志蜀	四川大学计算机学院	215	2961	28.0	46.0
2	陈建明	浙江师范大学数理与信息工程学院	9	28	3.0	5.0
3	丁革建	浙江师范大学数理与信息工程学院	29	315	7.0	17.0
4	刘松	浙江师范大学数理与信息工程学院	1	5	1.0	1.0