Detecting Errors and Checking Consistency in the Object-Oriented Design Models


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 6, No. 8, pp. 2072-2087, Aug. 1999
10.3745/KIPSTE.1999.6.8.2072,   PDF Download:

Abstract

As software size ever increases and user's requirements become more and more sophisticated, the importance of software quality is more and more emphasized. However, we are not satisfied for the present techniques on detecting errors and checking consistency in the object-oriented design model. This paper proposes a systematic approach which produces implementable rules to detect errors and check consistency. At first, the meta-models for UML diagrams are constructed, generalized meta-rules are reduced from the meta-models, and then the meta-rules are applied to produce the implementable rules. This approach enables to pursue the completeness of the rules and the automation of rule application. An example of rule application shows the feasibility of the rule application.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
C. K. Won, C. Y. Sun, K. S. Goo, "Detecting Errors and Checking Consistency in the Object-Oriented Design Models," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 6, no. 8, pp. 2072-2087, 1999. DOI: 10.3745/KIPSTE.1999.6.8.2072.

[ACM Style]
Chong Ki Won, Cho Yong Sun, and Kwon Sung Goo. 1999. Detecting Errors and Checking Consistency in the Object-Oriented Design Models. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 6, 8, (1999), 2072-2087. DOI: 10.3745/KIPSTE.1999.6.8.2072.