论文部分内容阅读
随着网络技术的发展,分布式系统得到了广泛的应用,然而由于分布式系统运行的“不确定”性、交互调试方法对分布式程序造成的“探针效应”等诸多问题,致使传统的串行调试方法无法适用于分布式软件调试。而基于事件模型的分布式调试技术所特有的“监测-重演”调试方法使分布式程序的错误再现,减少了调试工具对分布式程序造成的“探针效应”,在分布式调试技术的研究中显现出了诸多优势。本文针对基于事件模型的调试技术进行了研究,首先,在对分布式软件特征分析及调试需求分析的基础上,给出了一种基于事件模型的调试框架及相应的调试过程。其次深入研究了基于事件模型分布式调试技术中的监测策略以及动态分析方法,重点研究了监测过程检查点的设置、多米诺消息的判定与解决、依赖集合的判定等问题,同时针对分布式调试需求提出了多种动态分析逻辑视图以辅助用户进行调试。最后对基于事件模型的分布式调试监测策略与动态分析方法进行了实现。实验研究时,将已实现的分布式调试工具应用在综合化航电机载分布式领域,通过对实验过程和实验结果的研究和分析,验证了本文给出的监测方法与动态分析方法的技术可行性。