회원칼럼 III - 내일을 준비하는 마음가짐은

채흥석,Chae, Heung-Seok 한국건축구조기술사회 2014 건축구조 Vol.21 No.2

단부보강형 철골 합성보 Eco-Girder 공법 소개

채흥석,Chae, Heung-Seok 한국복합신소재구조학회 2015 복합신소재학회논문집 Vol.6 No.1

의존 인스턴스 변수를 고려한 클래스 응집도 척도의 개선

채흥석(Heung Seok Chae),권용래(Yong Rae Kwon),배두환(Doo Hwan Bae) 한국정보과학회 2004 정보과학회논문지 : 소프트웨어 및 응용 Vol.31 No.9

응집도는 모듈의 구성 요소들 사이의 관련성 정도를 나타내는 척도로서, 응집도가 높을수록 소프트웨어에 대한 이해 및 유지보수가 용이하다고 알려져 있다. 최근에 응집도의 개념을 객체지향 시스템의 클래스에 적용하기 위하여 많은 응집도 척도들이 제안되고 있다. 그러나, 기존의 응집도 척도들은 다른 인스턴스 변수의 값에 의존하는 의존 인스턴스 변수의 특성을 고려하지 않았기 때문에 클래스의 응집도를 정확하게 측정하지 못하였다. 본 논문에서는 응집도 평가 시 의존 인스턴스 변수에 대한 고려를 통하여 기존의 응집도 척도를 개선시킬 수 있음을 소개한다. 그리고, 의존 인스턴스의 특성을 기존의 응집도 척도에 반영한 실험을 통하여 의존 인스턴스 변수에 대한 고려의 중요성을 소개한다. Cohesion refers to the degree of the relatedness of the elements in a module, and it is widely accepted that the module of higher cohesion is easier to understand, maintain, and reuse. Recently, several cohesion metrics have been proposed to measure the cohesiveness of classes in an object-oriented program. However, the existing cohesion metrics do not consider the characteristics of dependent instance variables that are commonly used in a class and, thus, do not properly reflect the cohesiveness of the class. This paper presents an approach for improving the cohesion metrics by considering the characteristics of the dependent instance variables in an object-oriented program. To demonstrate the importance of the dependent instance variables, a case study has been conducted on a class library.

객체지향 시스템의 클래스에 대한 응집도

채흥석(Heung Seok Chae),권용래(Yong Rae Kwon),배두환(Doo Hwan Bae) 한국정보과학회 1999 정보과학회논문지(B) Vol.26 No.9

Object-oriented systems are developed by means of classes, that is, classes captures the essential entities or concepts in the problem domain, and the system is embodied by the interactions of objects instantiated from the classes. In addition to the basic units of object-oriented systems, classes serves as the units of encapsulation, which considerably promote the modifiability and the extensibility of them. However, Improper modeling in the design phase or uncontrolled changes during the maintenance phase can degrade the quality of classes, Which leads to systems cumbersome to maintain and extend. Cohesion refers to the degree of connectivity among the elements of a single module, and is being used as a factor which characterizes the quality of a module. In this paper, we propose a new cohesion metric for assessing the quality of classes If a class captures properly the essential features of objects, the members of the class surely have strong relationship among them. On the contrary, the poor relationship among class members can indicate that the class is not a proper model of objects. 객체지향 시스템의 개발은 클래스를 통해서 이루어진다. 즉, 문제 영역에 존재하는 중요한 대상 또는 개념을 크래스로 모델링하고, 이로부터 생성된 객체들 사이의 메시지 교환을 통해서 시스템은 구축된다. 또한, 클래스는 정보 은닉을 제공함으로써, 객체지향 시스템의 재사용성과 유지보수성에 상당한 기여를 한다. 그러나, 설계 단계에서 실세계의 대상을 부적절하게 모델링하거나, 또는 유지보수 단계에서 클래스에 무분별한 변경을 가하는 경우 클래스의 품질은 악화될 수 있고, 이는 결국 시스템을 유지보수 하거나 확장하는데 상당한 장애를 초래한다. 응집도는 모듈의 구성 요소들 사이의 연관성 정도를 나타내는 척도로서 전통적으로 모듈의 품질을 평가하기 위한 기준으로 사용되어 왔다. 이 논문에서는 클래스의 품질을 평가하는 방법으로서의 크래스 응집도를 제안한다. 즉, 클래스가 실세계의 대상을 적절하게 모델링한다면, 그 구성요소들 사이에 밀접한 관련이 있고 결국 높은 응집도를 가지게 될 것이다. 반대로 실세계의 대상에 대한 적절한 모델이 아니라면, 그 클래스의 구성 요소들 사이에는 밀접한 관련성이 없을 것이고 따라서 낮은 응집도를 보일 것이다.

UML 분석 모델의 구조적 제약사항에 대한 OCL 기반의 명세 및 검증

채흥석(Heung Seok Chae),염근혁(Keunhyuk Yeom) 한국정보과학회 2006 정보과학회논문지 : 소프트웨어 및 응용 Vol.33 No.2

분석 모델은 오직 시스템의 기능적 요구사항에 초점을 두며, 비 기능적인 요구사항과 구현과 관련된 이슈들은 이후의 설계 작업이 착수될 때까지 미루어진다. 설계 활동은 분석 모델을 상세화하고 명확하게 하는 방식으로 수행된다. 따라서, 분석 모델의 품질은 설계 모델에 지대한 영향을 미친다. 그러므로, 정확한 분석 모델을 구축하기 위하여 많은 노력을 기울여야 한다. 본 논문에서는 전형적인 객체지향 개발 방법론의 분석 모델이 항상 충족해야 하는 구조적 제약 사항을 제안한다. 제약 사항은 개별 클래스에 관한 제약사항, 클래스 간의 관계에 대한 제약 사항과 클래스의 사용에 대한 제약사항으로 분류된다. 각 제약사항 별로 정형적인 정의와 OCL을 이용한 기술이 제공된다. 또한, 2개의 산업체 프로젝트를 대상으로 수행된 사례 연구를 통하여 제안된 기법이 객체지향 분석 모델에 존재하는 심각한 오류를 발견하고 이를 수정하는 데 도움을 줄 수 있음을 보여 준다. Analysis model focuses only on functional requirements and postpones nonfunctional requirements and implementation specific issues until subsequent design activities are undertaken. Based on the analysis models, the design activities are performed by refining and clarifying the analysis models. Thus, the quality of analysis models has a vast impact on the design models. Therefore, much effort should be taken to build correct analysis model. In this paper, we propose a set of structural constraints that analysis models of typical object-oriented development methods should satisfy. Three kinds of constraints are proposed: class related constraints, relation related constraints, and usage related constraints. For each constraint, formal definition and description with OCL are provided. In addition, through a case study with two medium-sized industrial systems, we demonstrated that the proposed approach can help to identify and correct serious deficiencies in object-oriented analysis models.

모델 기반 테스트 - 개념과 이슈

채흥석(Heung-Seok Chae) 한국정보과학회 2014 정보과학회지 Vol.32 No.4

연속 메소드 규칙을 이용한 객체간의 행위적 호환성 검증 기법

채흥석(Heung Seok Chae),이준상(Joon Sang Lee),배정호(Jung Ho Bae) 한국정보과학회 2007 정보과학회논문지 : 소프트웨어 및 응용 Vol.34 No.9

객체지향 시스템의 객체들은 서브타입과 수퍼타입의 관계로 구성될 수 있다. 즉 서브타입은 수퍼타입의 구조와 행위를 상속하고 특화하는 방식의 계층적 구조를 가진다. 기존 시스템의 확장과 진화를 가능케 하기 위해서 수퍼타입과 서브타입간의 행위적 호환성은 둘 간의 대체가능성을 위하여 중요한 문제이다. 본 논문에서는 객체의 동적 행위를 기술하는 범용적인 표현 방법 중 하나인 유한상태기계로 표현된 객체의 동적 행위를 바탕으로 객체간의 행위적 호환성을 검사할 수 있는 기법인 메소드 규칙을 확장한 연속 메소드 규칙을 제시한다. 연속 메소드 규칙은 기존의 메소드 규칙(methods rule)을 바탕으로 두 객체의 자취를 조사함으로써 두 객체가 행위적 호환성이 있음을 보장한다. 또한 연속 메소드 규칙을 이용하여 행위적 호환성을 검증할 수 있는 알고리즘을 제시한다. In object-oriented systems, objects are organized in hierarchies such that subtypes inherit and specialize the structure and the behavior of supertypes. Behavioral compatibility is a very crucial issue to permit the substitution between object types, which supports the extension and evolution of object oriented system. This paper proposes successive methods rule that extending methods rule for checking behavioral compatibility between objects on the basis of their dynamic behaviors expressed in finite state machine which is one of the most frequently used notations for expressing dynamic behaviors of object. Based on the classical methods rule, successive methods rule is used for guarantee behavioral compatibility by checking the traces of two objects. And we describe an algorithm for verifying behavioral compatibility between objects using the successive methods rule.

단부성능 개선형 합성보, Eco-Girder의 성능 평가 및 시공사례

채흥석(Heung-Seok Chae),문영민(Yung-Min Moon),서재평(Jae-Pung Seo),이세정(Se-Jung Lee),오재열(Jae-Yuel Oh) 한국강구조학회 2018 韓國鋼構造學會誌 Vol.30 No.6

응집도에 기반한 클래스의 평가 및 재구성 방법

채흥석(Heung Seok Chae),권용래(Yong Rae Kwon) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.2B

클래스와 계승(inheritance)은 객체 지향 시스템의 가장 근본이 되는 개념이다. 클래스는 문제 범주내에 존재하는 실체에 대한 모델로서, 정보 은닉의 단위가 되기 때문에 시스템의 다른 부분에 미치는 영향을 최소화 시키면서 클래스에 대한 변경을 가능하게 한다. 클래스들 간의 계승은 클래스 사이에 존재하는 유사관계를 모델링함으로써 클래스의 재사용성과 확장성을 높이는데 기여한다. 그러나, 초기에 부적절하게 클래스와 계승관계를 설계하거나, 또는 유지보수 단계에서의 무계획적인 변경으로 인하여, 클래스와 계승관계가 바람직하지 않은 형태를 가지게 됨으로써 객체지향의 많은 장점을 살릴 수가 없게 된다. 따라서 클래스와 계승관계가 올바른 구조를 가질 수 있도록 재구성할 필요가 있다. 이 논문에서는 한 클래스에 대하여 클래스 응집도를 기반으로 한 평가를 하고 이 평가를 기반으로 한 재구성 방법을 제시하고자 한다.

객체지향 메트릭과 유지보수성과의 관계에 대한 실험적 연구

정우성,채흥석,Jung Woo-Seong,Chae Heung-Seok 한국정보처리학회 2006 정보처리학회논문지D Vol.13 No.2

유지보수는 소프트웨어 생명 주기에서 대부분의 비용이 소요되는 중요한 활동이다. 기존에 소프트웨어 유지보수 활동에 소요되는 비용의 예측을 위하여 다양한 소프트웨어 메트릭이 제안되었다. 본 논문에서는 객체지향 소프트웨어의 유지보수성과 기존에 제안된 메트릭과의 관계를 파악하기 위해서 수행된 실험의 결과를 소개한다. 실험에서는 메트릭으로서 LCOM, RFC, DAC, LOC를 사용하였으며 클라이언트/서버 및 웹 기반 시스템을 대상으로 유지보수 활동 시 실제로 소요되는 시간을 측정하였다. 본 실험을 통해서 메트릭과 유지보수 비용과의 관계에 대한 기존의 일반적인 주장을 실제 시스템의 유지보수 활동을 통해서 확인한 결과 기존의 주장과 달리 일부 시스템의 경우에는 기존의 주장을 뒷받침하지 못할 수 있음을 확인하였다. 구체적으로 말하면 소프트웨어 아키텍처, 설계 패턴 등이 적용되는 개발된 최근의 소프트웨어에서는 메트릭과 유지보수 활동과의 관계에 대한 추가적인 많은 연구가 필요함을 확인하였다. Software maintenance is an important and very expensive activity in software life cycle. To estimate the maintainability cost of software, many software metrics have been proposed. This paper presents the result of an experimental study to explore the relationship between maintainability and some software metrics. LCOM, RFC, DAC, and LOC are employed as metrics and time really spent for maintenance activity has been collected. In the experimental study, we have found that for some systems, the existing metrics may not be an indicator to maintenance effort, which is not consistent with our general knowledge on the relationship between them. Specifically speaking, we recognized that there should be more empirical study on the relationship between metrics and maintainability of softwares which have been developed using recent technologies such as software architecture and design pattern.