A Study on Determination of Instantiations and Life Cycles of C++ objects from C code

C 언어로부터 C++ 객체 생성과 주기의 결정에 관한 연구

절차지향 소프트웨어를 객체지향 소프트웨어로의 재공학은 소프트웨어 유지.보수 비용의 절감과 기존의 시스템에 새로운 요구사항을 수용하는 등 많은 장점이 있다. 본 논문은 절차지향 소프트웨어를 재공학하는 과정에서 안전한 지속성(Safe Persistency) 결정문제, 즉 객체의 생성과 생성 주기의 결정 방법을 제안하였다. 본 논문에서는 지속성 결정을 위해 다섯 단계의 모델링 과정을 제시하였으며 모델링 과정을 통해 객체의 정확한 생성과 소멸 시점을 추출하였고 정제 과정을 거침으로써 메시지 전달과 생성/소멸 과정에서 안정성과 일관성을 유지할 수 있도록 하였다.