Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2000.10a
- /
- Pages.418-420
- /
- 2000
- /
- 1598-5164(pISSN)
A Study on the Equivalence in two Different Programs
두 프로그램의 동일성에 대한 연구
Abstract
절차지향 프로그램으로부터 객체지향 프로그램으로 제공학 과정은 여러 단계를 거친다. 재공학은 객체 추충, 클래스 추출, 상속성 추출, 지속성 추출, 코드생성, 테스트등의 과정을 거친다. 변환 과정을 정당화하기 위해 테스트 단계에서 두 프로그램의 의미적 동일성이 검증되어야 한다. 이러한 검증과정이 없이는 변환이 무의미하다. 본 논문에서는 두 프로그램의 의미적 동일성의 의미와 검증에 대한 방법론을 제안한다.
Keywords