论文部分内容阅读
嵌入式分布式软件具有实时性、计算单元分布等特点,传统的串行调试方法和技术难以直接应用于该类软件的调试,如何针对该类软件特点设计和实现有效调试是软件调试中的重要问题。嵌入式分布式软件在运行时存在“不确定性”和“探针效应”等问题,为确保完整记录程序运行时信息,使得记录信息量大且不易理解。通过事件模型表示软件运行时行为可提高其抽象程度,易于用户理解。采用该类模型实现程序运行时信息收集可获取实时数据,可实现有效信息的抽取分析及展示,这些为解决嵌入式分布式软件行为不易监测和理解的问题提供一种可行途径。本文在深入研究嵌入式分布式软件特征基础上,提出一种基于事件模型的动态信息收集与分析展示方法以辅助用户深入理解和掌握程序的执行行为。本文首先给出一种基于事件模型的嵌入式分布式软件调试框架以及相应调试流程。其次,重点说明嵌入式分布式软件调试中基于事件配置的动态信息收集策略和分析方法,特别指出针对特定领域特征信息收集过程中的插桩策略以及信息分析过程中通信、故障等关系的分析方法。之后,采用本文提出的相应策略和方法设计实现一个基于事件模型的嵌入式分布式软件动态信息处理工具。最后,将该工具应用于综合化航电系统机载分布式软件领域,并通过实验分析和研究验证所提出策略和方法的准确性及有效性。