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.

소프트웨어의 대형화와 사용자 요구사항의 복잡화에 따라, 소프트웨어 개발 초기 단계에서의 산출물의 정확성과 일관성은 중요해지고 있다. 하지만, 객체지향 방법을 기반으로 한 설계 문서에 대한 오류 검출 및 일관성 점검을 위한 기법은 만족할 만한 수준에 이르지 못하고 있다. 본 논문은 UML(Unified Modeling Language)의 다이어그램들에 대한 메타모델을 작성하고, 메타모델의 각 요소들에 대하여 적용할 일반화된 메타규칙을 도출하고, 메타규칙들을 각 다이어그램에 적용한 세부규칙 도출에 활용하였다. 이 방법은 오류 검출과 일관성 점검에 활용할 세부규칙들을 체계적으로 도출하므로, 규칙의 완전성을 도모하고 규칙적용의 자동화를 가능하게 하였다. 또한, 도출된 세부규칙을 적용한 사례를 통하여 그 효용성을 확인하였다.

Keywords