专利名称：多对象动态程序运行监测机的制作方法
技术领域：
本发明涉及计算机软件领域，具体涉及多对象动态程序运行监测机。
背景技术：
这个时代，软件已经无处不在。从简单的文档处理、账目管理到复杂的数据库系统，从传统的自动管理、自动控制到先进的机器学习、人工智能，软件已经深入到我们的エ作和生活的各个方面，掌控着我们很大一部分的生产和生活的关键。对于如此重要的ー种产品，它的安全性和可靠性自然不容忽视。然而现在的软件产品复杂性越来越高，代码量也
越来越大，尤其是对于扩展性极高的编程语言来说，自定义的类库纷繁复杂而又稂莠不齐，各种规则五花八门，写程序的时候忽略掉ー些约束是经常发生的。但是这些约束的忽略很可能导致程序运行的不稳定，有时候甚至会造成程序的崩溃。所以对软件进行约束分析，包括自定义约束的分析就显得尤为重要。比如，在ー个下拉菜单里，毎次只能选择ー个菜单项，这个约束是很直观的，而且如果在图形界面下选择的话用户也不可能同时选中两个或者多个菜单项。然而在.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转化方面都有深入的思考，实现了相对最优的方案。
权利要求
1.多对象动态程序运行监测机，其特征在于它是由上层的监视器Monitor和底层的关系relation和事件event检测器构成；上层的监视器Monitor与底层的关系relation连接，底层的关系relation与事件event检测器连接。
全文摘要
多对象动态程序运行监测机，它涉及计算机软件领域。它是由上层的监视器Monitor和底层的关系relation和事件event检测器构成；上层的监视器Monitor与底层的关系relation连接，底层的关系relation与事件event检测器连接；本发明实现了一个完整的动态监测环境，用尽量简洁、接近用户逻辑的语法，通过relation、event、formula表达了多对象之间复杂的约束关系。在event参数填充、绑定，relation的check/find功能的使用，正则表达式到DFA转化方面都有深入的思考，实现了相对最优的方案。
文档编号G06F9/52GK102681926SQ20111005455
公开日2012年9月19日 申请日期2011年3月8日 优先权日2011年3月8日
发明者张姣 申请人:张姣