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

CORC > 北京大学 > 信息科学技术学院

	一种基于模型的软件系统监测方法; A Model-Based Software System Monitoring Approach
	邵津 ; 邓芳 ; 王千祥
刊名	计算机研究与发展
	2010
关键词	软件维护软件质量保障软件系统监测运行时验证约束模型
英文摘要	软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标.提出了一种使用基于模型的软件系统监测技术来保障软件质量的方法,其基本思路是及时发现系统在运行过程中出现的异常,为调整系统、保障软件服务质量提供依据.该方法以包含约束描述信息的监测模型为基础,基于一系列的转换规则,自动、半自动地将监测模型转换成相应的监测代码,并以合适的实现机制部署到被监测系统之上,从而提高软件系统监测的效果.; 国家"九七三"重点基础研究发展计划基金; 国家"八六三"高技术研究发展计划基金; 国家自然科学基金; 中文核心期刊要目总览(PKU); 中国科技核心期刊(ISTIC); 中国科学引文数据库(CSCD); 0; 7; 1175-1183; 47
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/266610]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	邵津,邓芳,王千祥. 一种基于模型的软件系统监测方法, A Model-Based Software System Monitoring Approach[J]. 计算机研究与发展,2010.
APA	邵津,邓芳,&王千祥.(2010).一种基于模型的软件系统监测方法.计算机研究与发展.
MLA	邵津,et al."一种基于模型的软件系统监测方法".计算机研究与发展 (2010).