Based On Uml Models Of Software Reliability Testing Technology

Computer technology has been widely used in the aviation,spaceflight,nuclear energy,communication,traffic,finance and etc. In these critical fields, the system generally has large scale and complicated logic function, and requires very high reliability and safety of the software. Therefore, it has been an important research direction of the computer science how to guarantee the quality and the reliability of the software product.UML is a graphical modeling language with powerful expression capability and intuitionistic meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers.UML-based software development process and modeling environments have been widely accepted by the industrial community, thereby UML-based software testing, especially UML-based software reliability testing, has been aroused much recognition.Based on above analysis, several researches in the following fields were studied.Firstly, this thesis analysed the present situation of software reliability testing and the simulation of software reliability testing environment. Two mainstream software reliability testing methods were compared on characteristic and flaw. The dissertation pointed out.that reliability software testing which is based on usage model is more suitable for software engineering practice.Next, some UML models were analysed on testability and test strategy. The relation between each testing model and its corresponding level was pointed out. A decision was reached that UML state diagram, use case diagram, activity diagram and sequence diagram are more important and fundament basis for software test based on model, especially for system test.Based on above analysis, this dissertation was focused on the approach that test case can be designed and formed based on UML state model. Then an improved approach on forming and optimizing of real time test sequence based on the UML state chart was put forward.Thirdly, for the difficulties of constructing the usage model in the test, this thesis brought forward a formalized arithmetic which can derive Markov usage model from UML use case diagram, activity diagram and sequence diagram.At last, the key technology of the software automatic testing was researched. A frame of software automatic testing and reliability evaluation system was brought forward. A tool integrated with Rational Rose was designed which can derive the software Markov chain usage model from the UML models.