肖洁

[摘 要]信息化时代，计算机技术的普及和应用对于软件运行的可靠性提出了更高的要求，在这种情况下，就需要用到运行时监控，而如果想要进一步利用运行时监控来对系统的动态属性进行检验，可以引入参数化的概念。本文主要针对相关变电设备参数化运行时监控的方法进行了分析和研究。

[关键词]参数化；运行时监控；分散监控

中图分类号：R922 文獻标识码：A 文章编号：1009-914X（2017）26-0385-01

前言：最近几年，我国的电力体制改革逐步完成，确保电力系统运行的安全性、稳定性和可靠性也因此受到了社会各界的广泛关注。在电力系统运营中，要求做好相关设备的监控工作，强化状态检修，为设备的稳定可靠运行提供良好的保障。基于此，运行时监控技术得以涌现，可以通过对系统具体执行情况的动态监控和分析，判断其能否满足相应的性质。在不断的发展中，人们希望能够利用运行时监控技术对系统的复杂属性进行分析，在性质规约中引入了参数，形成了全新的参数化运行时监控。

1 参数化运行时监控概述

参数化性质，指包含了自由变量，能够准确描述对象行为的性质，其在实际运行时会绑定具体的数据或者对象。而参数化运行时监控技术则是应用在面向对象的程序中，通过针对对象程序执行的动态监控和分析，判断其是否满足指定的参数化性质。相比较传统的运行时监控技术和怒，参数化运行时监控可以对程序执行环节需要遵循的对象行为的性质进行描述，需要考虑变量赋值稽核的获取和实例化过程，经多次迭代后形成若干完全实例化的被监控性质，而通过变量赋值和绑定，参数化运行时监控能够同时对多个完全实例化的性质进行监控。……