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

  • 2007.06b
  • /
  • Pages.47-52
  • /
  • 2007
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

A Study on Equivalence between Source Software and Target Software in Reengineering

재공학을 위한 원시 Software와 대상 Software의 동일성에 관한 연구

  • Kim, Se-Jong (Chonbuk National University Real-Time System Lab.) ;
  • Lee, Moon-Kun (Chonbuk National University Real-Time System Lab.)
  • 김세종 (전북대학교 실시간 시스템 연구실) ;
  • 이문근 (전북대학교 실시간 시스템 연구실)
  • Published : 2007.06.25
Download PDF
⟨ Previous Next ⟩

Abstract

소프트웨어의 유지 보수에 대한 필요성이 커짐에 따라 서로 다른 소프트웨어 사이의 동일성에 대한 검증이 중요한 문제가 되었다. 본 논문에서는 새로운 패러다임을 적용해 변환된 프로그램과 기존의 프로그램 사이의 행위, 기능, 제어 측면의 비교를 통해 두 프로그램 사이의 동일성을 검증하는 방법을 제시한다.

Keywords