상세 보기
Java 프로그램의 효율적인 분석을 위한 집합-기반 분석의 변환
Transformation of Constraint-based Analyses for Efficient Analysis of Java Programs
- 조장우;
- 창병모
Citations
WEB OF SCIENCE
0Citations
SCOPUS
0초록
본 논문에서는 Java 프로그램에 대한 집합기반 분석 설계 시, 효율적인 분석을 위해 분석의 단위를 조절하는 생성규칙 변환 방법을 제안한다. 기존의 생성규칙을 변환함으로서 기존의 분석보다는 정확성이 감소하지만 보다 효율적인 분석을 설계할 수 있다. 본 방법을 응용한 예로서 기존의 식 수준의 클래스 분석과 예외 상황 분석에 대해 생성규칙 변환을 사용하여 효율적인 클래스 분석과 예외상황 분석을 설계하였다. 클래스 분석에서는 메소드와 필드 변수 단위의 분석을 설계하였으며, 예외상황 분석에서는 메소드와 try 구문 단위의 분석을 설계하였다. 그리고 예외상황 분석에서는 식 수준의 분석과 변환된 메소드 수준의 분석이 각 메소드에 대해서 동등한 정보를 제공함을 보였다.
키워드
분석단위; 생성규칙변환; 분할함수; 제약기반분석; granularity of analysis; transformation of construction rules; partition function; constraint-based analysis; granularity of analysis; transformation of construction rules; partition function; constraint-based analysis
- 제목
- Java 프로그램의 효율적인 분석을 위한 집합-기반 분석의 변환
- 제목 (타언어)
- Transformation of Constraint-based Analyses for Efficient Analysis of Java Programs
- 저자
- 조장우; 창병모
- 발행일
- 2002-08
- 저널명
- 정보과학회논문지 : 소프트웨어 및 응용
- 권
- 29
- 호
- 8
- 페이지
- 510 ~ 520