基于Eclipse RCP的模型测试管理工具设计与实现

发布时间：2018-05-09 03:28

本文选题：软件测试 + Eclipse　；参考：《西安电子科技大学》2015年硕士论文

【摘要】：随着软件规模的复杂化、软件生产过程的敏捷化和软件可靠性要求的严格化,软件测试在整个软件生产活动中占据越来越重要的地位。软件测试不仅要保证被测系统单个组件的正确性,还需要确保组件间组合和交互的正确性。因此,针对单个组件的单元测试工具已经不能满足需求。目前,已经有一些语言和工具可以对组件间的组合和交互进行建模并测试,但这些基于模型的测试工具往往只关注组件间的交互行为,缺乏对整个测试生命周期的管理功能。因此,本文的目标是选择一个工业上普遍适用的建模工具来描述被测系统,根据软件模型完成对被测系统组件间组合和交互行为正确性的验证,并为被测系统生成满足一定覆盖率标准的测试用例,对整个测试过程进行管理,从而实现一个基于模型的测试管理工具。首先,本文采用具有强大的动态建模功能的Matlab Simulink为建模工具,由于Matlab Simulink模型在组件间组合验证上缺乏理论指导,本文借助扩展接口自动机模型作为中间模型,从理论上验证了组件间组合和交互的正确性,并实现了从Simulink模型到扩展接口自动机模型(EIA)的转换。采用GEF图形编辑框架可视化展示EIA,方便测试人员查看验证中间模型。其次,本文实现了根据EIA模型生成测试用例并对模型进行仿真的功能,仿真输出结果是对被测系统行为的预言。整个模型测试管理工具采用Eclipse RCP架构,基于插件的开发模式大幅度提高了系统的可扩展性。整个系统由项目管理、模型展示、仿真结果管理等模块构成,覆盖了软件测试生命周期的各个方面,极大的提高了测试工作的效率,减轻了测试人员的负担。最后,本文通过一个具体的软件模型,使用本工具生成测试用例并进行仿真运行,从测试用例的覆盖率和仿真结果两个方面对整个工具的可用性进行验证评估,验证了本文所提工具的有效性。
[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.
【学位授予单位】：西安电子科技大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TP311.53

【参考文献】