Scenario-Based Static Analysis of UML Class Models

  title={Scenario-Based Static Analysis of UML Class Models},
  author={Lijun Yu and Robert B. France and Indrakshi Ray},
Static analysis tools, such as OCLE and USE, can be used to analyze structural properties of class models. The USE tool also provides support for analyzing specified operations through interactive simulations in which users provide operation parameters, and manually assign values to state elements to reflect the effect of an operation. In this paper we describe an approach to statically analyzing behavior that does not require a user to manually simulate behavior. The approach involves… CONTINUE READING
Highly Cited
This paper has 40 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 28 extracted citations


Publications referenced by this paper.
Showing 1-10 of 14 references

A Systematic Approach to Testing UML Design Models

  • T. T. Dinh-Trong
  • Doctoral Symposium, 7th International Conference…
  • 2004
Highly Influential
4 Excerpts

and Richters

  • M. Gogolla, F. Büttner
  • M.
  • 2007
2 Excerpts

Similar Papers

Loading similar papers…