The Method Of UML Model Transformation And Research On Test Case Prioritization

With the popularity of computers in people's lives and work,the reliability of software has received more and more attention.Model-driven software testing can detect defects early in software development and help developers correct errors during software design,which can effectively reduce the cost of testing.Because the existing model-driven software testing often only meets the coverage of the requirements,the problem of high test suite redundancy is likely to occur,resulting in high test execution costs and low error detection efficiency.Therefore,this article will be based on model-driven software testing as a research object,from the design model to the test model conversion,and then automatically generate test cases and prioritize according to the test model to achieve a complete set of testing system.UML sequence diagram is a semi-formal model,semi-formal model is difficult to use as a test model.The existing sequence diagram conversion method only provides the basic conversion ideas,and can complete the conversion from the basic sequence diagram to the test model,but does not take into account the conversion problems caused by nested references between multiple sequence diagrams,and cannot be applied to complex models.Conversion.This paper proposes a model transformation method,which converts the non-fully formal sequence diagram model into a time automaton model,and merges the subgraphs included in the sequence diagram according to the nested reference relations among multiple sequence diagrams.And proposed conversion rules to solve the conversion problems brought about by the reference nesting.In response to the large scale of test cases in complex systems,the test case generation method was optimized to generate a small number of high-quality test cases.The existing test case sorting methods often only consider the coverage of the method,do not take into account the difference in the error probability and the error severity of different methods,resulting in low error detection efficiency.This paper evaluates the test case's test capability value by evaluating the error probability and error severity of the test case,and prioritizes the test case set to improve the test efficiency.This paper first gives a formal description of the sequence diagram and the time automata,and then proposes the conversion rules of the single sequence diagram and the multi-reference sequence diagram to the time automata.Through the consistency verification,it guarantees the successive collaboration between different functional requirements.Empirical research shows that the model conversion method can deal with complex models in real projects and provide a reliable basis for testing.After analyzing the structural characteristics of the UML sequence diagram,a method for optimizing the generation of test cases is proposed.In order to execute test cases with limited resources and test out more errors as soon as possible,this paper proposes a test case prioritization method based on test capability values.The experimental results show that this method can effectively improve error detection efficiency.