基于OSEK-VDX操作系統(tǒng)的測(cè)試研究和應(yīng)用.pdf

1、隨著汽車工業(yè)和信息技術(shù)的迅猛發(fā)展，現(xiàn)代汽車集成了越來越多的復(fù)雜電子元器件。為滿足管理日益增多的電子控制單元的需求，實(shí)現(xiàn)應(yīng)用軟件間的可移植性以及不同廠商所生產(chǎn)的控制模塊的兼容性，迫切需要一種統(tǒng)一的系統(tǒng)管理平臺(tái)。OSEK/VDX操作系統(tǒng)規(guī)范為車用嵌入式操作系統(tǒng)及其相關(guān)服務(wù)定義了一系列的抽象標(biāo)準(zhǔn)接口，該系統(tǒng)獨(dú)立于應(yīng)用軟件和硬件平臺(tái)，獲得了廣泛的應(yīng)用。
　　本實(shí)驗(yàn)室在國家核高基項(xiàng)目的支持下，開發(fā)了適用于8位單片機(jī)的符合OSEK/VDX規(guī)范

2、的FDOSEK操作系統(tǒng)，實(shí)現(xiàn)了OSEK/VDX規(guī)范定義的內(nèi)核要求。該系統(tǒng)具有資源消耗小，實(shí)時(shí)性優(yōu)良，運(yùn)行穩(wěn)定等特點(diǎn)。
　　軟件測(cè)試是軟件開發(fā)的重要一環(huán)，是系統(tǒng)質(zhì)量的保證和軟件使用的前提。針對(duì)本實(shí)驗(yàn)室開發(fā)的FDOSEK操作系統(tǒng)，本人對(duì)功能測(cè)試進(jìn)行了大量的研究和試驗(yàn)，主要在兩個(gè)方面進(jìn)行了深入的研究和探索:
　　1.針對(duì)現(xiàn)有測(cè)試?yán)碚摵头椒ǖ牟蛔?，提出了流框圖測(cè)試分析法，能夠充分覆蓋測(cè)試路徑，減少測(cè)試用例的冗余性。它可以為各個(gè)一致類

3、提供獨(dú)立的測(cè)試用例，充分利用系統(tǒng)一致類間的關(guān)系，提高測(cè)試效率。
　　2.開發(fā)了自動(dòng)化的測(cè)試工具。自動(dòng)化測(cè)試軟件的使用不僅能夠提高工作效率，為人工測(cè)試的幾十倍，也避免了人工操作的失誤，同時(shí)更加靈活的應(yīng)對(duì)各種測(cè)試用例的變化。
　　本文詳細(xì)的闡述了OSEK/VDX操作系統(tǒng)的測(cè)試?yán)碚摵蛯?shí)踐。首先全面介紹了OSEK／VDX操作系統(tǒng)的研究背景和本實(shí)驗(yàn)室開發(fā)的FDOSEK操作系統(tǒng)。然后著重闡述了流框圖測(cè)試分析理論和方法。最后在詳細(xì)介紹自動(dòng)