한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)

한국정보처리학회 (Korea Information Processing Society)
권호 표지

C# 프로그램의 정적 분할

Static Slicing of C# Programs

  • 강성관 (인하대학교 정보통신공학과) ;
  • 고훈준 (경인여자대학 컴퓨터정보기술학부) ;
  • 김기태 (인하대학교 컴퓨터정보공학과) ;
  • 조선문 (인하대학교 컴퓨터정보공학과) ;
  • 유원희 (인하대학교 컴퓨터정보공학과)
  • Kang, Sung-Kwan (Dept. of Information Technology & Telecommunication Engineering, Inha-University) ;
  • Kouh, Hoon-Joon (Dept. of Computer Information Technology, Kyungin Women's College School) ;
  • Kim, Ki-Tae (Dept. of Computer Science & Engineering, Inha University) ;
  • Jo, Sun-Moon (Dept. of Computer Science & Engineering, Inha University) ;
  • Yoo, Weon-Hee (Dept. of Computer Science & Engineering, Inha University)
  • 발행 : 2004.05.14
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

C# 언어로 작성된 프로그램에서 기존의 객체 지향 프로그램에서 이용하던 정적 분할 방법을 적용한다. 기존의 두 경로 그래프 도달 가능성 분할 알고리즘을 적용하였을 때 프로시져들 간의 전이적인 종속 관계를 표현하는 요약 간선만을 이용하면 두 번째 경로에서 역 추적 할 때 모호성이 발생한다. 이러한 모호성은 C#의 이벤트, 델리게이트(delegate)들과 메소드의 다형적 호출 관계에서 발생될 수 있다. 본 논문은 호출된 프로시져의 호출하는 문맥을 설명하기 위하여 호출 지점에서 요약 간선 및 경로 간선을 이용하여 C#에서 다형적 호출에 대한 시스템 종속성 그래프(system dependence graph)에 대한 새로운 표현을 제안한다. 이 방법은 다형적 호출에서 발생하는 모호성을 해결할 수 있다.

키워드