| Software testing running through the whole software development process plays an increasing important part in the whole software development process. Designing and generating test cases, whose foundation mainly comes from software requirement specification and software design, is emphasis and difficulty in software test procedure. With the extensive use of UML in object-oriented software engineering, UML-based testing is becoming the tendency and research highlight in recent years. In allusion to some essential problems existing in the software test of Spacecraft Fault Diagnosis System, the content of this article is exploring some efficient software test methods which is satisfied to the need of the project.The main missions of this article include the following:1. This article illustrates UML-based testing methods, testing stages and testing processes. Unit testing in allusion to program code is in the bottommost in the whole software testing process, meanwhile is the test which can expose defects most easily.2. Research on optimization technology base on faults detectivity, according which we can set up test priorities of test cases in test envelops, determine to do which tests at what time, and how to cut down the quantity of test cases, reduce the workload of testers, and raise the efficiency of tests, guaranteeing the effect of tests and coverage rate on the basis of ensuring testing effect and coverage rate. Designing test cases applying Orthogonal experimental method has advantages that saving testing-hour, having particular coverage rate and controlling quantity of test cases.3. This article presents traditional route-base testing method in unit testing and designing test cases based on coverage criterion according to an instance in Spacecraft Fault Diagnosis System, and does some research on designing testing cases base on round trips-paths test methods and state diagram-based unit testing method.The text makes expatiation in allusion to designing test cases by Orthogonal experimental method, and makes a program relating to the feature of system, which can generating test cases automatically by means of Orthogonal experimental method. The program can particularly increase efficiency of designing and running test cases. |
