基于程序运行形式化分析的软件故障监控技术

摘要：

查等形式化验证技术也存在着诸多局限.文章提出了基于监控程序运行途径来捕获软件故障和验证程序性质正确性,构建了基于程序运行形式化分析的软件故障监控(SFMRFA)模型,在监控逻辑表达、程序插桩、multi-agent设计等关键技术的基础上开发计算机辅助工具来监控、分析和引导程序执行,使软件运行当中可测、可控,避免软件失效.

关键词：软件故障、软件监控、形式化方法、插桩

所属期刊栏目：32

分类号：TP311(计算技术、计算机技术)

资助基金：国家预研基金

在线出版日期：2006-06-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：58-59,142