基于OSEK-VDX標(biāo)準(zhǔn)的嵌入式操作系統(tǒng)一致性沒(méi)譜測(cè)試研究.pdf

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

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

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

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