采用AADL建模的日志分析技術(shù)研究與支撐工具設(shè)計(jì).pdf

1、嵌入式操作系統(tǒng)及其應(yīng)用規(guī)模和復(fù)雜度的提高給測(cè)試帶來(lái)巨大的挑戰(zhàn)，傳統(tǒng)嵌入式操作系統(tǒng)及其應(yīng)用測(cè)試采用離線(xiàn)測(cè)試方法，測(cè)試成本和代價(jià)很高。日志信息是一種結(jié)構(gòu)化的數(shù)據(jù)，提供了系統(tǒng)運(yùn)行過(guò)程的快照，通過(guò)分析日志可以發(fā)現(xiàn)系統(tǒng)運(yùn)行中存在的故障。因此，日志分析方法作為嵌入式操作系統(tǒng)測(cè)試的重要輔助手段，具有研究和實(shí)際應(yīng)用價(jià)值。
　　本文在研究LFAL(Log File Analysis Language)日志分析方法基礎(chǔ)上，依據(jù)嵌入式操作系統(tǒng)的特點(diǎn)和A

2、ADL(Architecture&Analysis Design Language)建模語(yǔ)言規(guī)范，設(shè)計(jì)面向嵌入式操作系統(tǒng)的AADL日志建模框架；以嵌入式操作系統(tǒng)中的典型故障為研究對(duì)象，提出基于AADL日志分析方法的流程；最后，構(gòu)建日志模型的分析支撐工具。本文主要工作包括：
　　針對(duì)LFAL狀態(tài)機(jī)建模分析方法上的不足，提出了采用AADL建模語(yǔ)言的日志分析建模框架。該框架首先對(duì)日志分析方法進(jìn)行形式化地描述；然后提出了日志驅(qū)動(dòng)模型的調(diào)度

3、流程和方法；最后，分析日志建模需求，確定模型中設(shè)備構(gòu)件，線(xiàn)程構(gòu)件的調(diào)度方式及模式變換觸發(fā)條件。
　　根據(jù)日志文件的特點(diǎn)和AADL的語(yǔ)言規(guī)范，首先對(duì)日志進(jìn)行預(yù)處理，將日志信息轉(zhuǎn)化為AADL模型文本表現(xiàn)形式。然后根據(jù)AADL日志建模框架，選擇消息郵箱故障和內(nèi)存訪(fǎng)問(wèn)故障為研究對(duì)象，建立AADL的形式化模型，提出故障檢測(cè)方法，并進(jìn)行了驗(yàn)證。
　　在開(kāi)源集成開(kāi)發(fā)環(huán)境OSATE(Open Source Analysis Tool Env