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

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

2、ADL(Architecture&Analysis Design Language)建模語言規(guī)范，設(shè)計面向嵌入式操作系統(tǒng)的AADL日志建?？蚣?；以嵌入式操作系統(tǒng)中的典型故障為研究對象，提出基于AADL日志分析方法的流程；最后，構(gòu)建日志模型的分析支撐工具。本文主要工作包括：
　　針對LFAL狀態(tài)機建模分析方法上的不足，提出了采用AADL建模語言的日志分析建?？蚣堋Ｔ摽蚣苁紫葘θ罩痉治龇椒ㄟM行形式化地描述；然后提出了日志驅(qū)動模型的調(diào)度

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