一种基于模型的软件系统监测方法

摘要：

软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标.提出了一种使用基于模型的软件系统监测技术来保障软件质量的方法,其基本思路是及时发现系统在运行过程中出现的异常,为调整系统、保障软件服务质量提供依据.该方法以包含约束描述信息的监测模型为基础,基于一系列的转换规则,自动、半自动地将监测模型转换成相应的监测代码,并以合适的实现机制部署到被监测系统之上,从而提高软件系统监测的效果.

关键词：软件维护、软件质量保障、软件系统监测、运行时验证、约束、模型

所属期刊栏目：47

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

资助基金：国家"九七三"重点基础研究发展计划基金项目2005CB321805;国家"八六三"高技术研究发展计划基金项目2007AA010301,2006AA01Z175;国家自然科学基金项目60773160

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

页数：共9页

页码：1175-1183