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

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

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

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