• Journal of KIISE:Software and Applications
• /
• v.28 no.6
• /
• pp.460-465
• /
• 2001

JDK 자바 컴파일러의 예외 분석은 프로그래머의 throws 선언에 의존하는 프로시저-내 분석이다. 이 분석에서는, 실제 발생하지 않는 예외들이나 실제 발생하는 예외보다 광범위한 예외들이 throws 구문에 선언되어 있는 경우, 적절한 예외 처리를 하지 못하는 문제가 발생한다. 이러한 문제의 해결을 위해 [1,2,3]에서 프로그래머의 선언과 무관한 프로시저-간 예외 분석기가 제시되었다. 본 논문에서는 이 두 분석 방법을 설계 구현하고 실험을 통해서 비교하였다. 실제 사용되는 자바 프로그램에 실험 결과, 프로시져-간 예외분석이 처리되지 않는 예외정보에 대해 프로시저-내 분석보다 정확한 결과를 제공함을 알 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.323-325
• /
• 2000

자바 컴파일러의 예외 처리 메커니즘을 기술한다. 자바 컴파일러 방식의 예외 상황 분석은 프로그래머의 선언에 의존하는 프로시져-내 분석이다. 본 논문에서는 자바 컴파일러 반식의 프로시져-내(intraprocedural) 분석과 선언에 의존하지 않는 프로시져-간(interprocedural) 예외 상황 분석기를 개발하고 실제 자바 프로그램에 적용시켜 봄으로서의 자바 컴파일러의 예외 상황 분석의 문제점을 보인다.

• Journal of KIISE:Software and Applications
• /
• v.30 no.7_8
• /
• pp.696-702
• /
• 2003

This paper presents a static analysis based on set-based framework which estimates exception propagation paths of Java programs, and a visualization tool which visualizes propagation paths of exceptions using the static analysis information. We have implemented the exception propagation analysis and a visualization tool, which can guide programmers to handle exceptions more effectively.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.73-75
• /
• 2001

본 논문에서는 다중 스레드 Java 프로그램의 실행 중 처리되지 않는 예외상황을 실행 전에 미리 예측하는 분석 방법을 제안한다. Java에서는 안전성 문제 때문에 다중 스레드 사이에서 예외 상황을 발생시키지 않도록 제한하고 있는데 반해, 본 연구에서는 프로그래머가 자유롭게 다중 스레드 사이에 예외상황을 발생시킬 수 있도록 언어를 확장한 후에 그 프로그램에서 처리되지 않는 예외상황을 예측해낸다. 이 분석 방법은 다중 스레드 Java 프로그램의 각 스레드에서 동시에 수행될 수 있는 부분들을 미리 예측해내고, 이 분석 정보를 이용하여 다중 스레드 사이에서 예외상황을 발생시킬 때 처리되지 않는 예외상황을 예측한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.649-651
• /
• 2002

제어 흐름 그래프는 프로그램의 문장들간의 제어 흐름 정보를 표현하는 방법이다. 제어 흐름 정보는 프로그램 분석과 테스팅 분야에서 필요로 하는 정보이다. 제어 흐름 정보가 정확할수록 정확한 분석 결과와 테스팅 결과를 구할 수 있다. 실제 자바 프로그램에서 예외 구문의 사용빈도가 많으므로 예외 제어 흐름을 제어 흐름 정보에 포함해야 한다. 본 논문에서는 특정 분석에 무관하게 예외 제어 흐름을 포함하는 제어 흐름 그래프를 생성하는 일반적인 방법을 제안한다. 그리고 예외 제어 흐름을 포함하는 제어 흐름 그래프를 생성할때, 정상 흐름과 예외 흐름을 분리해서 하는 방법을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.847-849
• /
• 2004

프로그램 내에서 심각하지 않은 에러를 예외라고 한다. 자바에서는 프로그래머가 이러한 예외를 명시적으로 처리할 수 있으며 신뢰성 있는 프로그램 개발을 위해서는 발생 가능한 예외에 대한 적절한 처리가 중요하다. 이러한 예외의 처리 여부에 대한 연구는 주로 정적 분석을 중심으로 이루어져 왔으나 프로그램 실행 중에 예외 발생, 전파 경로에 대한 정확한 정보는 제공해주지 못한다. 본 연구에서는 프로그램 변란을 이용해 실행 중에 발생. 처리, 전파되는 예외 정보를 실시간으로 제공할 수 있는 시스템을 설계 개발한다.

• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.643-650
• /
• 2004

Control flow graph is used for Performing many Program-analysis techniques, such as data-flow and control-dependence analysis, and software-engineering techniques, such as program slicing and testings. For these analyses to be safe and useful, the CFG should incorporate the exception flows that are induced by exceptions. In previous research to construct control flow graph, normal flows and exception flows are computed at the same time, since these two flows are known to be mutually dependent. By investigating realistic Java programs, we found that the cases when these two flows are mutually dependent rarely happen. So, we can decouple exception flow analysis from normal flow analysis. In this paper we propose an analysis that estimates exception flows. We also propose exception flow graph to represent exception flows. And we show that the control flow graph that accounts for exception flows can be constructed by merging exception flow graph onto normal control flow graph.

• Proceedings of the KSLP Conference
• /
• 2003.11a
• /
• pp.142-142
• /
• 2003

본 연구는 텍스트 분석 기반 자동 발음열 생성 시스템의 성능을 향상시킬 수 있는 방법으로 예외 단어 선별 작업을 제안한다. 제안하는 자동 발음열 생성 시스템은 형태음운 규칙 적용, 예외 규칙 적용, 일반음운 규칙 적용의 순서로 이루어진다. 이 때 예외 규칙은 예외사전을 검색하여 해당 어휘가 있을 때에만 적용하게 되는데, 예외 단어는 일정한 예외 환경에서만 나타난다. 본 시스템의 예외 사전에 있는 예외 단어는 5만여 어휘 연세사전에서 예외 환경에 해당하는 28,486개의 어휘 중, 총 2,931개의 예외 단어를 선별하였다. 본 시스템의 성능 평가는 ETRI 2,385, PBS 1,637 어절을 사용하였는데 실험 결과 각각 99.8%, 99.9%의 정확도를 보였고, 0.1% 의 오류는 예외 규칙 중에 하나인 어휘적 경음화 현상에서 나타났다. 따라서 예외 사전을 보다 정확하게 만드는 방법인, 예외 단어 선별 작업을 통해 본 시스템의 성능을 향상시킬 수 있다. (중략)

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.208-210
• /
• 2001

예외자는 공간색인의 성능을 떨어뜨리는 요소가 될 수 있다. 예를 들어, R-tree 계열의 색인 방법은 예외자 때문에 MBR의 넓이나, MBR사이의 겹치는 공간이 넓어져 성능이 떨어진다. 따라서, 공간색인을 구축할 때, 적절하게 예외자를 처리하면 성능을 향상시킬 수 있다. 본 논문에서는 예외자와 공간색인의 성능과 관계를 관찰하고 적절한 방법으로 예외자를 처리하여 공간색인의 성능을 향상시키는 방법을 확인한다. 실험의 결과에 따르면, 예외자를 적절하게 처리할 경우 성능을 평균적으로 15% 향상시킬 수 있다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.5
• /
• pp.355-359
• /
• 2009

When an unexpected software exception arises, we programmers are to analyze what causes it. Precisely speaking, we need to analyze the cause and property of the unexpected exception. But if exceptions arise irregularly from unknown causes, it is even more difficult for us to handle them, especially in embedded system like mobile phone software development. In this paper, we propose a debugger-friendly analyzing method for exceptions using aspect oriented programming technique. What we need to know upon arising exceptions is the function call history in order to identify the reason for the exceptions. Since programmers used to spend their debugging time on unidentified exceptions, which arise irregularly our method would greatly improve the embedded software development productivity.