软件调试中基于事件模型的动态信息处理方法及工具

摘要

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

目录

封面

声明

中文摘要

英文摘要

目录

第一章 绪论

1.1 研究背景和意义

1.2 研究目标与内容

1.3 国内外研究现状

1.4 本文组织结构

第二章 相关理论与技术

2.1 事件模型及记录重演机制

2.2 基于事件模型的信息收集技术

2.3 基于事件模型的信息分析技术

2.4 小结

第三章 基于事件模型的软件调试框架

3.1 软件特征分析

3.2 基于事件模型的软件调试框架

3.3 软件调试流程

3.4 小结

第四章 动态信息处理方法

4.1 事件信息配置

4.2 信息收集策略

4.3 信息分析方法

4.4 小结

第五章 动态信息处理工具设计与实现

5.1 动态信息处理工具整体设计

5.2 事件配置模块

5.3 动态信息收集模块

5.4 动态信息分析模块

5.5 小结

第六章 实验研究

6.1 实验描述

6.2 实验过程及分析

6.3 小结

结束语

致谢

参考文献

在研期间研究成果