• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 추계학술발표대회
• /
• pp.857-858
• /
• 2009

최근의 소프트웨어 개발에서는 리팩토링이 일반적인 요소로서 활발하게 이용되고 있다. 리팩토링에 대한 관심이 높아지면서 리팩토링의 자동화와 리팩토링 재사용을 위한 조립에 대한 연구가 많이 진행되고 있다. 기존의 연구들에서는 리팩토링과 리팩토링 조립에 대해 선/후행조건을 각각 명세하고 있다. 하지만 리팩토링 조립의 경우에 대한 선/후행조건은 개별적인 리팩토링들의 선/후행조건들과 중복된 기능들이 대부분이며, 사용 가능한 리팩토링의 조립이 정적으로 고정되어 있음을 의미한다. 이에 본 연구에서는 리팩토링 조립의 경우가 고정되어 있지 않고 조립의 경우에 따른 선/후행조건의 추가적인 정의 없이 동적으로 다양하게 조립여부를 확인할 수 있도록 하고자 한다. 이를 위해 리팩토링의 동적 조립을 위한 전체 프레임워크를 제안하며 OCL 기반으로 리팩토링을 명세한다.

• 정보처리학회논문지D
• /
• 제18D권1호
• /
• pp.23-34
• /
• 2011

최근의 소프트웨어 개발에서는 리팩토링이 활발하게 이용되고 있다. 리팩토링에 대한 관심이 높아지면서 요소 리팩토링을 정의해서 이들의 조립을 통해 더 큰 종류의 복합 리팩토링을 처리하려는 연구들이 많이 진행되고 있다. 복합 리팩토링은 조합된 요소 리팩토링의 순서대로 처리되기 때문에 프로그램에 실제 적용하기에 앞서 적용 가능성을 판단하는 것이 중요하다. 기존 연구들에서는 요소 리팩토링들의 선 후행조건들로부터 복합 리팩토링에 대한 선행조건을 계산하여 적용 가능성을 판단하고 있다. 이것은 선행조건이 정의되어 있는 복합 리팩토링만 판별할 수 있으며 선행조건이 정의되어 있지 않은 복합 리팩토링에 대해서는 적용 가능성을 판단할 수 없는 문제점이 있다. 본 연구에서는 복합 리팩토링의 명세를 추가로 정의 하지 않고 요소 리팩토링만으로 조립 가능 여부를 판단하고자 한다. 이를 위해 요소 리 팩토링을 명세하는 방법과 조립성 검사 방법을 제안한다. 이를 기반으로 프로토타입 도구를 개발해 보고, 적용사례를 통해 선행조건이 명세되어 있지 않은 복합 리팩토링들의 조립성 검사를 확인해봄으로써 본 연구의 효용성을 검토해본다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권8호
• /
• pp.529-542
• /
• 2002

기존의 프로그램 슬라이스에 관한 정의들은 주로 프로그램 변수들간의 문법적인 관계만을 고려한다. 이에 반해, 이 논문에서는 프로그램 변수들간의 의미론적인 관계를 고려함으로써 기존의 슬라이스보다 더 정확한 프로그램 슬라이스를 구할 수 있는 명세 기반 슬라이싱 기법을 제시한다. 명세 기반 슬라이스는 선행 조건, 후행 조건의 쌍으로 주어진 프로그램의 명세에 대해 원래 프로그램의 행위와 올바름을 보존하는 프로그램 문장들의 부분집합으로 구성된다. 명세 기반 슬라이싱 기법은 주어진 명세에 나타나 있는 프로그램의 기능과 관련한 프로그램 문장만을 다루기 때문에, 소프트웨어 공학의 여러 가지 문제들을 더욱 효과적으로 해결할 수 있도록 지원한다. 여러 적용 가능한 문제들 중에서도, 이 논문에서는 소프트웨어 재사용과 소프트웨어 재구성 과정이 명세 기반 슬라이싱 기법을 이용함으로써 어떻게 향상될 수 있는지를 보인다.