| Based on practice in my software development and testing, several aspects of thetheory of software testing and reliability are studied and improved.First, the software testing is considered. After analyzing the effect of object-oriented and process-oriented software property in software testing, the testing ofsoftware developed on these two development criterions are compared. Then the designof software testing cases is presented from the point of views of programmingimplement and its event-sequencing constraints. Furthermore, the method ofautomatically creating the software testing cases based on the specification of Zlanguage is analyzed and improved. In addition, the creation methods and its processesof the rules to select automatic testing tools are provided, and then the AnalyticHierarchy Process model is established to select the tools according to these rules andits computational algorithms are followed. Finally, the compressibility factor algorithmsof software fault time and the combined processing of concurrent testing time arestudied.Second, the software reliability is studied. On the basis of research on TAGGINGmodel, its graph evaluation method and its improved model are presented. Then thecombined problems of software reliability model are studied on the basis of the researchon evaluation rules of software reliability growth model. Moreover, the auto-adaptivemethod to obtain the sub-model weight is presented and its computer implement stepsby Pattern Research method are followed. Finally, the design model and its practicalmethods of decision support system of software reliability are provided. |