Detailed Information

Cited 0 time in webofscience Cited 0 time in scopus
Metadata Downloads

예외 흐름 분석을 정상 흐름 분석과 분리하여 Java프로그램에 대한 제어 흐름 그래프를 생성하는 방법A Method to Construct Control Flow Graphs for Java Programs by Decoupling Exception Flow Analysis from Normal Flow Analysis

Other Titles
A Method to Construct Control Flow Graphs for Java Programs by Decoupling Exception Flow Analysis from Normal Flow Analysis
Authors
조장우창병모
Issue Date
May-2004
Publisher
한국정보과학회
Keywords
제어 흐름 그래프; 제어 흐름 분석; 예외 흐름; 정상 흐름; control flow graph; control flow analysis; exception flow; normal flow; control flow graph; control flow analysis; exception flow; normal flow
Citation
정보과학회논문지 : 소프트웨어 및 응용, v.31, no.5, pp.643 - 650
Journal Title
정보과학회논문지 : 소프트웨어 및 응용
Volume
31
Number
5
Start Page
643
End Page
650
URI
https://scholarworks.sookmyung.ac.kr/handle/2020.sw.sookmyung/9624
ISSN
1229-6848
Abstract
제어 흐름 그래프는 자료 흐름 분석과 제어 종속 분석과 같은 프로그램 분석 분야와 프로그램 슬라이싱과 테스팅과 같은 소프트웨어공학 분야에서 필요로 하는 정보이다. 이러한 분석들이 안전하고 유용하기 위해서는 제어 흐름 그래프는 예외 흐름을 포함해야 한다. 기존의 방법은 예외 흐름과 정상 흐름의 상호 의존적인 관계로 인해 두 흐름을 동시에 계산하면서 제어 흐름 그래프를 생성한다. 그러나 실제 Java 프로그램을 조사해 본 결과 두 흐름이 상호 의존적으로 필요한 경우는 거의 발생하지 않음을 알 수 있었다. 그러므로 정상 흐름과 예외 흐름을 분리해서 계산할 수 있음을 알았고, 예외 흐름을 계산하는 예외 흐름 분석을 제안한다. 그리고 예외 흐름을 표현하는 예외 흐름 그래프를 제안한다. 그리고 제어 흐름 그래프는 예외 흐름 그래프와 정상 흐름 그래프를 합병함으로써 생성될 수 있음을 보인다.
Files in This Item
Go to Link
Appears in
Collections
공과대학 > 소프트웨어학부 > 1. Journal Articles

qrcode

Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.

Related Researcher

Researcher Chang, Byeong Mo photo

Chang, Byeong Mo
공과대학 (소프트웨어학부)
Read more

Altmetrics

Total Views & Downloads

BROWSE