Research On Software Testing And Reliability Evaluation Method

Software testing is an important work that has been used to ensuring and improving the quality of software, and software reliability is an important item that has been used to evaluating the quality of software. All kinds of software testing methods have been used to improve software quality, and different kinds of software reliability evaluation model have been used to evaluate software reliability. In this paper, software-testing method, software testing tools and software reliability evaluating models are introduced firstly. In order to improve the effection of software testing, the software testing method based on software fault models is discussed. The core of the method is software fault model. By analysis the cause of some software fault, the software fault models about variable and dynamic memory are built in this paper and the testing method and software fault checking rules are discussed in this dissertation. The estimation method of software reliability based on Bayes theory is also discussed in this dissertion..The original ideas are explained as follow:1. Some software fault models are built. By analysis the cause of software fault, some software fault models are built, such as variable's defining and using fault model, dynamic memory fault model, and so on. These models can be used to detect software fault existed in software. By using these models in software testing, software-testing effect will be improved.2. Static data flow analysis method that used to check software errors are provided in this paper. Definition operation and reference operation are two kinds of operations on software variables. Some operations on software variable that disobey the variable using rules will result in software faults. In order to detect these kinds of software faults, the definition-reach data-flow analysis and living-variable analysis of a program must be made. There may be more than one path to a site of a program, and the data-flow states on every path may be different from each other, so the must-data-flow and the may-data-flow of a program are calculated to depict the accurate the data-flow information. By the analysis of program we can see that the control structure of a program has great effect on data-flow, so that the data-flow analysis can be done on the control structure of a program.3. Software reliability estimation method based on Bayes theory is provided in this paper. By the analysis of the random testing procedure, we can see that a Bernoulli distribution can be used to describe the random testing procedure. The general information...