基于模型驅(qū)動的測試用例自動生成技術(shù)研究.pdf

1、軟件測試是軟件開發(fā)的關(guān)鍵過程之一，對于確保軟件產(chǎn)品的質(zhì)量有著十分重要的作用。而測試用例作為軟件測試活動中最重要的關(guān)鍵輸出件之一，其質(zhì)量與數(shù)量將直接決定被測系統(tǒng)的質(zhì)量與測試成本。因此，在如何保證軟件質(zhì)量的前提下減少測試用例規(guī)模便成了當前最熱門的測試設(shè)計技術(shù)研究內(nèi)容之一；此外，隨著軟件復雜度的快速增長，測試用例的數(shù)量也快速增長，傳統(tǒng)手工設(shè)計與維護用例的方法已逐漸不能滿足當前發(fā)展的需要。 為此，本文研究了最優(yōu)測試用例集設(shè)計技術(shù)和測試用

2、例自動生成技術(shù)，提出了支持最優(yōu)測試用例集自動生成全流程的架構(gòu)。通過模型轉(zhuǎn)換算法將系統(tǒng)模型自動轉(zhuǎn)換成測試模型，然后通過測試邏輯自動生成技術(shù)、測試數(shù)據(jù)自動生成技術(shù)和應(yīng)用了最優(yōu)測試用例集覆蓋理論的測試用例自動生成技術(shù)實現(xiàn)從系統(tǒng)開發(fā)模型到測試用例的全過程自動生成，從而將原來繁重的手工設(shè)計與維護測試用例工作轉(zhuǎn)移到單一的測試模型的設(shè)計與維護工作上，在保證軟件質(zhì)量的前提下降低了測試成本。 本文研究的主要成果有兩個： （1）本文研究的測

3、試用例自動生成架構(gòu)，實現(xiàn)了從測試建模到測試用例自動生成的全過程，有效解決了測試用例設(shè)計與維護困難的問題，提高了測試用例設(shè)計與維護的工作效率； （2）本文研究的FRBT（Factor Relationship—Based Testing）——基于因子相關(guān)度的最優(yōu)用例集生成算法，是目前用例覆蓋技術(shù)中最優(yōu)算法之一，而且它是采用數(shù)學模型來挑選相交因子的覆蓋技術(shù)，有效解決了其它工程方法中完全依賴TSE經(jīng)驗挑選因子所帶來的風險與不穩(wěn)定性，使