一种基于模型的软件系统监测方法
软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标。本文提出了一种使用基于模型的软件系统监测技术来保障软件质量的方法,其基本思路是及时发现系统在运行过程中出现的异常,为调整系统、保障软件服务质量提供依据。该方法以包含约束描述信息的监测模型为基础。基于一系列的转换规则,自动、半自动地将监测模型转换成相应的监测代码,并以合适的实现机制部署到被监测系统之上,从而提高软件系统监测的效果。
软件维护 软件质量保障 软件系统监测
邵津 邓芳 王千祥
北京大学信息科学技术学院软件研究所,北京 100871 高可信软件技术教育部重点实验室
国内会议
广州
中文
146-157
2008-11-11（万方平台首次上网日期，不代表论文的发表时间）