Research On Specification And Slicing In Generating Test Cases For Component-Based System

With component-based software technology widely used in software system development, the guarantee of system quality become more and more important, this put the new challenge to software test. Some characteristics of component-based system make it hardly to be test by traditional way. It is in urgent to find some new testing methods to fitting for the component-based software system.In the software testing, test case design and generation is the key and challenging problem, the core of it is to develop effective test cases based on exact software specifications. At present, most test cases are written by testers. Therefore, the quality of test cases completely depends on tester'capacity. On this point, it is difficult to ensure the quality of software testing. Furthermore, it will influence the quality of software product. Therefore, it is significant in application that how to generate test cases automatically.The generation test case based on specification, comparing with the other methods of generation test case, is propitious to improve the standardization and automation and is of advantage to generate test case of component-based system. The activity diagram of UML, as one of the specification, has two characters and which is visualization and formalization. So the generation test case based on specification is more suitable method than the others. This thesis analyzes the technology of slicing and activity diagram of UML, and research on the characters of component-based system. At last, the method for generation integration test case is brought up based on slicing and activity diagram of UML in this paper. Our main works list as follows:(1) First, by analyzing the character of component-based system, the hierarchical model is brought up to component-based system based on slicing and activity diagram of UML. Described method dependence,component dependence and system dependence, the model could describe relation dependence between component and other component.(2) Because the important step of generation test case automatically is that the structure model is built in component-based system. The thesis expands the description of activity diagram of UML, which is not completely formalize description, and defined the component-based system by formalization.(3) We propose a forward slicing algorithm for the system dependence model of a component-based system, this algorithm improve that the slicing is not as precise as possible in the traditional slicing algorithm.(4) We give a test tool model based on the methods we discussed in this paper and some suggestions on software testing process improvement. We also have laid the foundation for the further tool development.(5) Implement a generate test cases automatically tool, and we experiment with several typical component-based systems, and then these systems are tested by test cases which are generated by the tool. Comparing with the traditional methods, our method is proved that it is more feasible and effective with the result of experimentation.