Problem Domain and Structural Abstractions in Reverse Engineering = 소프트웨어 역공학에서의 문제 영역 및 구조적 초상화 방법

국문 초록 (Abstract)

본 연구는 소프트웨어 역공학에서의 추상화를 위한 문제를 다루었다. 두 종류의 추상화 방법-문제 영역적과 구조적 방법-이 논의되어진다. 문제 영역 추상화는 프로그램이 쓰여지는 적용 분야에서의 개념과 일치하며 대개의 경우 프로그램 내에 직접 나타나지 않는다. 구조적 추상화는 불필오한 함수적 기술요소 제거하고 루프문의 역할에 대한 요약을 생성해냄으로써 원시코드의 기능에 대한 추상화 된 기술을 위해 사용된다. 문제 영역 추상화는 형식 코멘트언어를 사용하여 이 연구에 도입된다. 이 정보는 코드 내에 삽입되어 구조적 추상화를 사용함에 더욱 간략화 된 기능명세서의 생성을 가능하게 한다. 이 접근 방법은 여러 종류의 COBOL 프로그램에 적용되어 여러 차례의 실험 연구를 통해 원시코드로부터 유용한 추상화 명세서를 생성함이 확인되었다. 또한 이렇게 생성된 명세서가 복잡한 프로그램의 논리를 이해하는데 유지 보수의 관점에서도 도움이 됨을 확인하였다. 본 연구는 계속 추진 중에 있으며 계속 진화와 발전을 거듭할 것이다. 개발 중인 분석도구인 ASPECT(Abstract SPecifications ExtraCtion Tool)는 본 연구에서 제시한 접근 방법을 검증하고 그 복잡성과 전산학적 요구 사항을 식별하는데 도움을 줄 것이다.