本文選題：軟件測試 + Eclipse　； 參考：《西安電子科技大學(xué)》2015年碩士論文

【摘要】：隨著軟件規(guī)模的復(fù)雜化、軟件生產(chǎn)過程的敏捷化和軟件可靠性要求的嚴格化,軟件測試在整個軟件生產(chǎn)活動中占據(jù)越來越重要的地位。軟件測試不僅要保證被測系統(tǒng)單個組件的正確性,還需要確保組件間組合和交互的正確性。因此,針對單個組件的單元測試工具已經(jīng)不能滿足需求。目前,已經(jīng)有一些語言和工具可以對組件間的組合和交互進行建模并測試,但這些基于模型的測試工具往往只關(guān)注組件間的交互行為,缺乏對整個測試生命周期的管理功能。因此,本文的目標是選擇一個工業(yè)上普遍適用的建模工具來描述被測系統(tǒng),根據(jù)軟件模型完成對被測系統(tǒng)組件間組合和交互行為正確性的驗證,并為被測系統(tǒng)生成滿足一定覆蓋率標準的測試用例,對整個測試過程進行管理,從而實現(xiàn)一個基于模型的測試管理工具。首先,本文采用具有強大的動態(tài)建模功能的Matlab Simulink為建模工具,由于Matlab Simulink模型在組件間組合驗證上缺乏理論指導(dǎo),本文借助擴展接口自動機模型作為中間模型,從理論上驗證了組件間組合和交互的正確性,并實現(xiàn)了從Simulink模型到擴展接口自動機模型(EIA)的轉(zhuǎn)換。采用GEF圖形編輯框架可視化展示EIA,方便測試人員查看驗證中間模型。其次,本文實現(xiàn)了根據(jù)EIA模型生成測試用例并對模型進行仿真的功能,仿真輸出結(jié)果是對被測系統(tǒng)行為的預(yù)言。整個模型測試管理工具采用Eclipse RCP架構(gòu),基于插件的開發(fā)模式大幅度提高了系統(tǒng)的可擴展性。整個系統(tǒng)由項目管理、模型展示、仿真結(jié)果管理等模塊構(gòu)成,覆蓋了軟件測試生命周期的各個方面,極大的提高了測試工作的效率,減輕了測試人員的負擔。最后,本文通過一個具體的軟件模型,使用本工具生成測試用例并進行仿真運行,從測試用例的覆蓋率和仿真結(jié)果兩個方面對整個工具的可用性進行驗證評估,驗證了本文所提工具的有效性。
[Abstract]:With the complexity of software scale, the agility of software production process and the strict requirements of software reliability, software testing plays an increasingly important role in the whole software production activities. Software testing not only ensures the correctness of a single component of the system under test, but also ensures the correctness of the composition and interaction between components. Therefore, unit testing tools for a single component can no longer meet the requirements. At present, there are some languages and tools to model and test the composition and interaction between components. However, these model-based testing tools usually focus on the interaction between components, and lack the management function of the whole test life cycle. Therefore, the goal of this paper is to select a universally applicable modeling tool to describe the system under test, and to verify the correctness of the composition and interaction behavior between components of the system under test according to the software model. Test cases that meet certain coverage standards are generated for the system under test, and the whole test process is managed, thus a model-based test management tool is implemented. Firstly, this paper uses Matlab Simulink, which has powerful dynamic modeling function, as a modeling tool. Because the Matlab Simulink model lacks theoretical guidance in the verification of the composition between components, this paper uses the extended interface automata model as the intermediate model. The correctness of the composition and interaction between components is verified theoretically, and the transformation from Simulink model to extended interface automata model is realized. The GEF graphical editing framework is used to visualize the EIAs, which is convenient for the testers to view and verify the intermediate model. Secondly, this paper realizes the function of generating test cases according to EIA model and simulating the model. The simulation output is a prediction of the behavior of the system under test. The model testing management tool adopts Eclipse RCP architecture, and the development model based on plug-in greatly improves the system's extensibility. The whole system is composed of project management, model display, simulation result management and so on. It covers all aspects of the software test life cycle, greatly improves the efficiency of the testing work and lightens the burden of the testers. Finally, through a specific software model, this paper uses this tool to generate test cases and run simulation, and verifies and evaluates the usability of the whole tool from two aspects of test case coverage and simulation results. The effectiveness of the proposed tool is verified.
【學(xué)位授予單位】：西安電子科技大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2015
【分類號】：TP311.53

【參考文獻】

相關(guān)期刊論文 前1條

1 占春麗;;Eclipse RCP菜單實現(xiàn)的研究[J];福建電腦;2008年06期

，

本文編號：1864378