Java 프로그램의 효율적인 분석을 위한 집합-기반 분석의 변환Transformation of Constraint-based Analyses for Efficient Analysis of Java Programs
- Other Titles
- Transformation of Constraint-based Analyses for Efficient Analysis of Java Programs
- Authors
- 조장우; 창병모
- Issue Date
- Aug-2002
- Publisher
- 한국정보과학회
- Keywords
- 분석단위; 생성규칙변환; 분할함수; 제약기반분석; granularity of analysis; transformation of construction rules; partition function; constraint-based analysis; granularity of analysis; transformation of construction rules; partition function; constraint-based analysis
- Citation
- 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.8, pp 510 - 520
- Pages
- 11
- Journal Title
- 정보과학회논문지 : 소프트웨어 및 응용
- Volume
- 29
- Number
- 8
- Start Page
- 510
- End Page
- 520
- URI
- https://scholarworks.sookmyung.ac.kr/handle/2020.sw.sookmyung/16530
- ISSN
- 1229-6848
- Abstract
- 본 논문에서는 Java 프로그램에 대한 집합기반 분석 설계 시, 효율적인 분석을 위해 분석의 단위를 조절하는 생성규칙 변환 방법을 제안한다. 기존의 생성규칙을 변환함으로서 기존의 분석보다는 정확성이 감소하지만 보다 효율적인 분석을 설계할 수 있다. 본 방법을 응용한 예로서 기존의 식 수준의 클래스 분석과 예외 상황 분석에 대해 생성규칙 변환을 사용하여 효율적인 클래스 분석과 예외상황 분석을 설계하였다. 클래스 분석에서는 메소드와 필드 변수 단위의 분석을 설계하였으며, 예외상황 분석에서는 메소드와 try 구문 단위의 분석을 설계하였다. 그리고 예외상황 분석에서는 식 수준의 분석과 변환된 메소드 수준의 분석이 각 메소드에 대해서 동등한 정보를 제공함을 보였다.
- Files in This Item
-
Go to Link
- Appears in
Collections - 공과대학 > 소프트웨어학부 > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.