Design And Implementation Of A Model Testing Management Tool Based On Eclipse RCP

With the increasing complexity, agileness, and reliability of the software, software testing is playing an important role in the software engineering. Software testing guarantees not only the correctness of each component in the software system, but also the correctness of the interaction among the components. Therefore, the testing tools designed for single component are far from satisfactory for application.Nowadays, there are several tools which can model and test the interactions among the components. But these model-based testing tools merely focus on the interactions and ignore the management of the whole software testing cycle. Hence, the purpose of this paper is to firstly select the commonly used industrial modeling tool to describe the software system. Then we will verify the correctness of the interactions among the components in the software system according to the software model. By generating the testing cases which can achieve specific coverage rates, the whole testing procedure can be supervised and finally a new model-based software testing tool can be achieved.Firstly, this paper takes Matlab Simulink as the modeling tool which possesses powerful dynamic modeling function. Considering that Matlab Simulink model lacks theoretical guidance of the component interaction, this paper uses the extended interface automatic machine model as the middle model, and proves the correctness of the component interaction theoretically and achieves the transfer from the Simulink model to the extended interface automatic(EIA) machine model. With the support of GEF graphical editing framework to demonstrate the EIA model, it is convenient to check and testify the middle model.Secondly, this paper achieves the functions including generating the testing cases by EIA model, simulating the model, and predicting the actions of the software system according to the results of simulation. The whole software testing tool is constructed based on Eclipse RCP framework, and the expandability of the tool is increased by the plug-in based development mode. The proposed system is composed of project management section, model demonstration section, and simulating result management section, which covers all the aspects during the software testing cycle. The efficiency of the testing procedure is highly improved and the burden of the testers are eased.In the end, the effectiveness of the proposed software testing tool is demonstrated by testing a specific software model. By generating testing cases through the proposed tool and simulating, the usability of the proposed tool is evaluated from both the coverage rate of the testing cases and the simulating results.