[发明专利]多对象动态程序运行监测机

说明书

技术领域：

本发明涉及计算机软件领域，具体涉及多对象动态程序运行监测机。

背景技术：

这个时代，软件已经无处不在。从简单的文档处理、账目管理到复杂的数据库系统，从传统的自动管理、自动控制到先进的机器学习、人工智能，软件已经深入到我们的工作和生活的各个方面，掌控着我们很大一部分的生产和生活的关键。对于如此重要的一种产品，它的安全性和可靠性自然不容忽视。然而现在的软件产品复杂性越来越高，代码量也越来越大，尤其是对于扩展性极高的编程语言来说，自定义的类库纷繁复杂而又稂莠不齐，各种规则五花八门，写程序的时候忽略掉一些约束是经常发生的。但是这些约束的忽略很可能导致程序运行的不稳定，有时候甚至会造成程序的崩溃。所以对软件进行约束分析，包括自定义约束的分析就显得尤为重要。

比如，在一个下拉菜单里，每次只能选择一个菜单项，这个约束是很直观的，而且如果在图形界面下选择的话用户也不可能同时选中两个或者多个菜单项。然而在.net中，如果用户进行了一个等价操作，而相关选项由程序自动选择的话，就可能出现这种一个菜单选多个项的情况。这种情况显然使得程序运行方向出现不确定性，会导致比较严重的后果。我们要做的事情就是在程序运行时甚至运行前能够检测到这种错误，对其进行一些自定义的处理。

发明内容：

本发明的目的是提供多对象动态程序运行监测机，它实现了一个完整的动态监测环境，用尽量简洁、接近用户逻辑的语法，通过relation、event、formula表达了多对象之间复杂的约束关系。在event参数填充、绑定，relation的check/find功能的使用，正则表达式到DFA转化方面都有深入的思考，实现了相对最优的方案。

为了解决背景技术所存在的问题，本发明是采用以下技术方案：它是由上层的监视器Monitor和底层的关系relation和事件event检测器构成；上层的监视器Monitor与底层的关系relation连接，底层的关系relation与事件event检测器连接。

本发明具有以下有益效果：实现了一个完整的动态监测环境，用尽量简洁、接近用户逻辑的语法，通过relation、event、formula表达了多对象之间复杂的约束关系。在event参数填充、绑定，relation的check/find功能的使用，正则表达式到DFA转化方面都有深入的思考，实现了相对最优的方案。

具体实施方式：

本具体实施方式采用以下技术方案：它是由上层的监视器Monitor和底层的关系relation和事件event检测器构成；上层的监视器Monitor与底层的关系relation连接，底层的关系relation与事件event检测器连接。

所述的事件event检测器包括事件名及事件参数。所谓事件参数，就是该事件涉及的，并且用户希望关注的对象。与此对应，在有限状态机中，每条跳转边的条件也由事件名和参数表组成。因此，当且仅当事件名匹配，参数表对应时，才会沿此边进入下一个状态。通过将参数匹配加入跳转条件中，用户能够根据不同的参数对象定义不同的行为约束，其约束能力大大加强。

本具体实施方式可以捕获动态运行时对象间的关系，将关系保存在关系表中。当事件触发后，MMCC不仅能根据事件涉及的对象间的关系判断此事件是否为用户所关注，还能根据关系约束，从事件直接涉及的对象，查找到事件间接涉及的对象。因此，监控器可以实现同时涉及多对象的约束。当事件捕获到并确定了事件的所有参数后，监控器将一个事件包对象发送给监视器。监视器根据保存在内部的对象表，查找到事件所属对象的状态机，并根据当前状态和事件包中的信息进行状态跳转。如果跳转进入终结状态，则激发匹配(validation)代码，如果跳转失败，则激发错误(violation)代码。

本具体实施方式实现了一个完整的动态监测环境，用尽量简洁、接近用户逻辑的语法，通过relation、event、formula表达了多对象之间复杂的约束关系。在event参数填充、绑定，relation的check/find功能的使用，正则表达式到DFA转化方面都有深入的思考，实现了相对最优的方案。