Research For Software Reliability Testing Model Based On UML

With the increasing demand for software in the society,the scale and complexity of the system are also rising and various software failures appear frequently.So,software testing and software quality are attracting more and more attention.As one of the most important indicators of software quality,software reliability plays a decisive role in evaluating the quality of high software.The software reliability testing is of great significance for optimizing software architecture,promoting software development and improving software quality.The UML model is widely used in object-oriented software development with its mature model,rich graphic element and powerful modeling ability.Being directed against the problems of traditional UML model because the size of scenario messages is too coarse to fully describe software,a novel method is proposed to build a Markov chain usage model from a complex UML model to provide a reliable foundation for software reliability testing.The standard UML model is extended for software reliability testing.For handling the probability of transition,a calculation method based on LW-AHP is presented;In addition,the extended UML model is formalized,especially for the combined fragment and nested fragments.Furthermore,for providing reliable and complete consistency condition to modeling Markov chain,the thesis proposes the method to define and validate the consistency of the extended UML model.Then,based on the extended UML model with combination fragments and nested combination fragments,the construction method of software Markov chain usage model is put forwared to solve the problem that size of UML messages is too crude to fully describe software.Finally,according to the research,an automatic construction tool-UM2 MC is designed and implemented,and the Markov chain usage model of the sub-system of UAV flight control system,which is a posture control system,is constructed through UM2 MC to verify the feasibility of the proposed method and the practicality of the modeling tool,and provide the basis and guarantee for the reliability test of UAV flight control system.