论文部分内容阅读
嵌入式操作系统及其应用规模和复杂度的提高给测试带来巨大的挑战,传统嵌入式操作系统及其应用测试采用离线测试方法,测试成本和代价很高。日志信息是一种结构化的数据,提供了系统运行过程的快照,通过分析日志可以发现系统运行中存在的故障。因此,日志分析方法作为嵌入式操作系统测试的重要辅助手段,具有研究和实际应用价值。本文在研究LFAL(Log File Analysis Language)日志分析方法基础上,依据嵌入式操作系统的特点和AADL(Architecture&Analysis Design Language)建模语言规范,设计面向嵌入式操作系统的AADL日志建模框架;以嵌入式操作系统中的典型故障为研究对象,提出基于AADL日志分析方法的流程;最后,构建日志模型的分析支撑工具。本文主要工作包括:针对LFAL状态机建模分析方法上的不足,提出了采用AADL建模语言的日志分析建模框架。该框架首先对日志分析方法进行形式化地描述;然后提出了日志驱动模型的调度流程和方法;最后,分析日志建模需求,确定模型中设备构件,线程构件的调度方式及模式变换触发条件。根据日志文件的特点和AADL的语言规范,首先对日志进行预处理,将日志信息转化为AADL模型文本表现形式。然后根据AADL日志建模框架,选择消息邮箱故障和内存访问故障为研究对象,建立AADL的形式化模型,提出故障检测方法,并进行了验证。在开源集成开发环境OSATE(Open Source Analysis Tool Environment)的基础上,设计日志模型分析支撑工具,用以统计日志模型中的建模元素。分析OSATE插件设计技术,提出日志模型支撑工具的设计流程。依据设计流程,给出插件设计依赖关系及模型的遍历和访问方法。以内存访问故障日志模型为例,验证了日志模型分析支撑工具的可用性。