【作者】 骆伟；

【导师】 李蕊；

【作者基本信息】 湖南大学 ， 计算机科学与技术， 2012， 硕士

【摘要】 嵌入式操作系统及其应用规模和复杂度的提高给测试带来巨大的挑战，传统嵌入式操作系统及其应用测试采用离线测试方法，测试成本和代价很高。日志信息是一种结构化的数据，提供了系统运行过程的快照，通过分析日志可以发现系统运行中存在的故障。因此，日志分析方法作为嵌入式操作系统测试的重要辅助手段，具有研究和实际应用价值。本文在研究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插件设计技术，提出日志模型支撑工具的设计流程。依据设计流程，给出插件设计依赖关系及模型的遍历和访问方法。以内存访问故障日志模型为例，验证了日志模型分析支撑工具的可用性。更多还原

【Abstract】 The improvement of the embedded operating system and its application size andcomplexity pose an enormous challenge to the test. The traditional embeddedoperating system and its application test use off-line test method, and this method costtoo much. The log information is a kind of structured data, which provides a snapshotof the system when running. The system failure can be found by analyzing the logs.Therefore, the log analysis which acts as an important method of testing embeddedoperating system has great value of research and practical application.On the basis of the LFAL log analysis method, according to the characteristics ofembedded operating systems and AADL modeling language, we design the AADL logmodeling framework for embedded operating system. With typical faults of theembedded operating system as the object of the study, we put forward the theory oflog analysis process, and build support log model analysis tool. The main task is asfollow:Owing to the lack of state machine modeling and analysis capabilities in LFAL,we raise analytical framework, using AADL modeling language. Firstly, theframework contains log analysis method formally. Then, log-driven model schedulingmethod and the log analysis process are posted. Finally, we analyze the log model，inorder to determine the device component and thread scheduling in the model.Pretreatment of the log information is based on the characteristics of the log filesand AADL language specification. The log information is transformed into text formof the AADL model. Then according to the AADL log modeling framework, we selectthe message mailbox fault and memory access fault as the research object. Based onthe establishment of the AADL formal model, we propose fault detection method withverification.Based on the OSATE(open source analysis tool environment),we design the logmodel analysis support tools to count the modeling elements in the log model. Byanalyzing OSATE plug-in design techniques, we propose the design process of the logmodel support tool. According to the design process, we present the dependencies ofthe plug-in design and model traversal and access methods. Taking memory accessfault log model for example, we verify the log model to analyze the availability ofsupport tool.更多还原