Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2007.06b
- /
- Pages.47-52
- /
- 2007
- /
- 1598-5164(pISSN)
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
Abstract
소프트웨어의 유지 보수에 대한 필요성이 커짐에 따라 서로 다른 소프트웨어 사이의 동일성에 대한 검증이 중요한 문제가 되었다. 본 논문에서는 새로운 패러다임을 적용해 변환된 프로그램과 기존의 프로그램 사이의 행위, 기능, 제어 측면의 비교를 통해 두 프로그램 사이의 동일성을 검증하는 방법을 제시한다.
Keywords