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

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

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

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