학술저널
술어 추상화는 프로그램의 모델 테킹, 단순화등의 오류를 찾아내는 방법으로 하드웨어나 소프트웨어 프로토콜 검증 등에 많이 사용되고 있지만 객체지향 언어에서는 이를 이용하는 것이 한계를 가지고 있었다. 하지만 최근 연구에 따르면 객체지향 언어에서도 이를 적용할 수 있는 연구가 진행되었다. 또한 술어 추상화는 프로그램의 복체, 부분 복사등 프로그램의 유사도에도 적용가능 하지만, 기존에는 이에 대한 연구가 부족하였다. 이에 관련 본 논문에서는 기존의 의미적 유사도 탐지 기법에 술어 추상화를 하고 이를 비교하여 의미적 유사도를 탐지하는 방법을 제안하고, 이 방법이 기존의 의미적 유사도 계산 방법에 비하여 연산 횟수를 줄일 수 있다는 것을 보인다.
(0)
(0)