基于Eclipse RCP的模型測試管理工具設(shè)計(jì)與實(shí)現(xiàn).pdf

1、隨著軟件規(guī)模的復(fù)雜化、軟件生產(chǎn)過程的敏捷化和軟件可靠性要求的嚴(yán)格化，軟件測試在整個(gè)軟件生產(chǎn)活動中占據(jù)越來越重要的地位。軟件測試不僅要保證被測系統(tǒng)單個(gè)組件的正確性，還需要確保組件間組合和交互的正確性。因此，針對單個(gè)組件的單元測試工具已經(jīng)不能滿足需求。
　　目前，已經(jīng)有一些語言和工具可以對組件間的組合和交互進(jìn)行建模并測試，但這些基于模型的測試工具往往只關(guān)注組件間的交互行為，缺乏對整個(gè)測試生命周期的管理功能。因此，本文的目標(biāo)是選擇一個(gè)工

2、業(yè)上普遍適用的建模工具來描述被測系統(tǒng)，根據(jù)軟件模型完成對被測系統(tǒng)組件間組合和交互行為正確性的驗(yàn)證，并為被測系統(tǒng)生成滿足一定覆蓋率標(biāo)準(zhǔn)的測試用例，對整個(gè)測試過程進(jìn)行管理，從而實(shí)現(xiàn)一個(gè)基于模型的測試管理工具。
　　首先，本文采用具有強(qiáng)大的動態(tài)建模功能的Matlab Simulink為建模工具，由于Matlab Simulink模型在組件間組合驗(yàn)證上缺乏理論指導(dǎo)，本文借助擴(kuò)展接口自動機(jī)模型作為中間模型，從理論上驗(yàn)證了組件間組合和交互的正

3、確性，并實(shí)現(xiàn)了從Simulink模型到擴(kuò)展接口自動機(jī)模型(EIA)的轉(zhuǎn)換。采用GEF圖形編輯框架可視化展示EIA，方便測試人員查看驗(yàn)證中間模型。
　　其次，本文實(shí)現(xiàn)了根據(jù)EIA模型生成測試用例并對模型進(jìn)行仿真的功能，仿真輸出結(jié)果是對被測系統(tǒng)行為的預(yù)言。整個(gè)模型測試管理工具采用Eclipse RCP架構(gòu)，基于插件的開發(fā)模式大幅度提高了系統(tǒng)的可擴(kuò)展性。整個(gè)系統(tǒng)由項(xiàng)目管理、模型展示、仿真結(jié)果管理等模塊構(gòu)成，覆蓋了軟件測試生命周期的各個(gè)方