| In the software life cycle,testing is an indispensable part,and the generation of use cases is also one of the difficult and critical tasks.For complex projects,the design of a large number of test cases is a laborious work.With the development of computer technology,the importance of software is selfevident in the field of national defense and market economy,track,transportation,aerospace,industrial control and military industry.We have all seen some emergencies caused by software problems.In order to make the software more reliable,it is necessary to find as many problems as possible and conduct sufficient tests.This creates a huge workload.The software process should gradually transition to automated testing.In order to improve efficiency,testing tools and automation-related technologies have also become indispensable basic means.This thesis proposes a tool method of UML state diagram transform intermediate diagram to generate test cases through the study of model-based testing method.The middle diagram retains the hierarchical and concurrent structure of the state diagram,focuses on triggering events and transitions,and reduces the complexity of the state diagram.The tool method achieves all transition coverage and MC/DC coverage.Prefix paths are generated through the structural properties of the intermediate graph and path conditions are satisfied.In this thesis,the Boolean difference function is applied to the predicate solution of UML state diagram.Use the SMT solver enumeration algorithm to obtain the MC/DC independent pair constraints that meet the test objectives and achieve sufficient testing.Generate test data via SMT support for float variables.By developing and deploying extensions on the modelio modeling platform,it has a complete automation environment support.It realizes the user’s function of generating test cases that meet the avionics software standard after the front-end modeling of the platform,and also verifies the effectiveness of the test tool method through the test generation of the avionics power distribution system. |
PDF Full Text Request