基于OSEK-VDX標準的嵌入式操作系統(tǒng)一致性沒譜測試研究.pdf

1、汽車電子嵌入式操作系統(tǒng)是汽車電子控制系統(tǒng)中的關(guān)鍵核心技術(shù)之一，隨著OSEK/VDX標準的逐步推廣應用，國內(nèi)外很多廠商正從事OSEK/VDX嵌入式操作系統(tǒng)的研發(fā)工作。為檢驗各個不同廠商的實現(xiàn)是否與OSEK/VDX標準保持一致，需要進行一致性測試。
　　 傳統(tǒng)的一致性測試方法往往忽略代碼的靜態(tài)分析，從而錯失了早期發(fā)現(xiàn)潛在缺陷的時機；在測試生成方法上，常用形式描述語言和基于狀態(tài)模型兩種生成方法，不僅需要額外的語言和建模工作，并且在規(guī)范

2、比較復雜的情況下，很可能帶來狀態(tài)爆炸的問題。針對這些問題，本文在深入分析OSKE/VDX OS規(guī)范的基礎上，采用軟件測試技術(shù)，較為深入地研究了基于OSKE/VDX規(guī)范的嵌入式操作系統(tǒng)一致性測試的方法和策略。具體工作如下：
　　 (1)綜述了OSKE/VDX OS一致性測試的研究現(xiàn)狀和存在的問題，并概述了軟件測試的一般方法，為論文的一致性測試方法與實現(xiàn)奠定理論基礎。
　　 (2)分析了OSKE/VDX OS一致性測試的需求

3、和測試難點，提出了適合于OSKE/VDX嵌入式操作系統(tǒng)的一致性測試方法和策略：遵循靜態(tài)分析與動態(tài)測試結(jié)合的測試原則，采用單元測試和組合測試兩個階段進行OS接口的一致性測試；在等價類劃分、因果關(guān)系圖用例生成技術(shù)的基礎上，采用分類樹方法來構(gòu)造一致性測試用例集；采用比較通用且設計簡單的串口通信方式來采集測試數(shù)據(jù)。
　　 (3)針對OSEK/VDX OS的一致性測試必須“重現(xiàn)”種種可能運行情況而帶來用例數(shù)量多的特點，本文利用分類樹法來設

4、計OSEK/VDX OS一致性測試用例。該方法在深入研究OSEK/VDX OS各個模塊功能、執(zhí)行條件、執(zhí)行動作等需求的基礎上，分類劃分出一致性測試的輸入域，并分析輸入域的相互關(guān)系，最后通過CTE工具自動生成精簡的測試用例。
　　 (4)完成了樣本分析軟件的設計工作，該軟件能夠接收底層發(fā)送上來的測試數(shù)據(jù)，并對測試數(shù)據(jù)進行分解、對比、分析處理，最后顯示和保存測試結(jié)果，提高了一致性測試執(zhí)行、分析的效率。
　　 (5)最后以汽車