嵌入式軟件的圖形化測試用例生成系統(tǒng)設計與實現(xiàn).pdf

1、當前，嵌入式軟件的復雜度越來越高，可靠性、安全性和實時性要求也越來越嚴格，但軟件產(chǎn)品上市的時間要求卻越來越短。為滿足這些嚴苛的要求，高效的嵌入式軟件測試是必要的，包括測試用例的自動選擇、生成、優(yōu)化、執(zhí)行與評估等。然而，目前采用的傳統(tǒng)嵌入式軟件測試難以達到高效的目的，因為其測試用例是隨著開發(fā)過程逐漸被編寫出的，即“分析一部分需求，設計一部分過程，編寫一部分代碼，然后能測多少測多少”。因此，傳統(tǒng)嵌入式軟件測試存在測試滯后、耗時長、成本高、測

2、試不完備、難以重用、不夠清晰直觀且難響應軟件變化等固有缺點。
　　針對嵌入式軟件快速發(fā)展的實際情況和傳統(tǒng)嵌入式軟件測試所面臨的問題，MDA（模型驅(qū)動架構(gòu)）的重要分支MBT（基于模型的測試）給出了較好的解決方案。MBT以測試模型為中心，能基于模型完成測試工作，具有早期介入測試、支持不同粒度的測試、易于重用、形象直觀、能及時響應軟件變化、能基于測試用例生成算法和測試覆蓋準則生成有針對性的測試用例集合等優(yōu)點。但目前國內(nèi)外關(guān)于MBT的研究

3、大都是局限于某個角度進行的，如提出一種新的基于FSM的測試用例生成方法、基于UML的某種圖形或某幾種圖形生成測試用例等。本文從全局出發(fā)，系統(tǒng)地提出了一套較完備的覆蓋嵌入式軟件開發(fā)全過程的嵌入式軟件測試圖形體系，在嵌入式軟件開發(fā)過程中綜合運用了MBT技術(shù)、圖形建模技術(shù)和測試用例生成技術(shù)。
　　論文最終開發(fā)了一個嵌入式軟件的圖形化測試用例生成系統(tǒng)，它集系統(tǒng)資源管理、可視化圖形建模、模型驗證、測試項規(guī)劃、測試用例生成、測試項與測試用例管