A UML-based environment for software testing and verification

It is important to find the errors and evaluate the quality of software in the design stage. This paper studies the methods and the corresponding environment of testing and verifying UML models from multi-viewpoint. It can automatically generate test cases for criterion model of UML state machine, and visually execute test cases for implemented model. The UML models can also be dynamically simulated to intuitively reflect the design. The CTL properties of UML state machine can be verified combined with the model checker SMV. The environment also can intelligently guide users to define operational profile and collect failure data in testing UML models, select the reliability models and combinatorial models, and estimate the reliability of design specification. This environment has been used in practice partly.