Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2000.10a
  • /
  • Pages.418-420
  • /
  • 2000
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

A Study on the Equivalence in two Different Programs

두 프로그램의 동일성에 대한 연구

  • 박성옥 (전북대학교 컴퓨터과학과) ;
  • 이문근 (전북대학교 컴퓨터과학과)
  • Published : 2000.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

절차지향 프로그램으로부터 객체지향 프로그램으로 제공학 과정은 여러 단계를 거친다. 재공학은 객체 추충, 클래스 추출, 상속성 추출, 지속성 추출, 코드생성, 테스트등의 과정을 거친다. 변환 과정을 정당화하기 위해 테스트 단계에서 두 프로그램의 의미적 동일성이 검증되어야 한다. 이러한 검증과정이 없이는 변환이 무의미하다. 본 논문에서는 두 프로그램의 의미적 동일성의 의미와 검증에 대한 방법론을 제안한다.

Keywords