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

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

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

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