자바 컴파일러의 예외 메커니즘

조장우(Jang-Wu Jo),창병모(Byeong-Mo Chang) 한국정보과학회 2000 한국정보과학회 학술발표논문집 Vol.27 No.2Ⅰ

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

객체 지향 CASE 도구에 대한 재구조화 실험

조장우(Jo Jang Wu),김태균(Kim Tae Guun) 한국정보처리학회 1999 정보처리학회논문지 Vol.6 No.4

Object-oriented programming is often touted as promoting software reuse. However, it is recognized that objected-oriented software often need to be restructured before it can be reused. Refactroing is the process that changes the software structure to make it more reusable, easier to maintain and easier to be enhanced with new functionalities. This paper describes experience gained and lessons learned from restructuring OODesigner, a Computer Aided Software Engineering(CASE) tool that supports Object Modeling Technique(OMT). This tool supports a wide range of features such as constructing object modeler of OMT, managing information repository, documenting class resources, automatically generating C and Java code, reverse engineering of C and Java code, searching and reusing classes in the corresponding repository and collecting metrics data. Although the version 1.x was developed using OMT(i.e. the tool has been designed using OMT) and C , we recognized that the potential maintenance problem originated from the ill-designed class architecture. Thus this version was totally restructured, resulting in a new version that is easier to maintain than the ole version. In this paper, we briefly describe its restructuring process, emphasizing the fact that the Refactoring of the tool is conducted using the tool itself. Then we discuss lessons from these processes and we exhibit some comparative measurements of the developed version.

자바 언어에 대한 예외 분석 방법 비교

조장우(Jang-Wu Jo),창병모(Byeong-Mo Chang) 한국정보과학회 2001 정보과학회논문지 : 소프트웨어 및 응용 Vol.28 No.6

JDK 자바 컴파일러의 예외 분석은 프로그래머의 throws 선언에 의존하는 프로시저-내 분석이다. 이 분석에서는, 실제 발생하지 않는 예외들이나 실제 발생하는 예외보다 광범위한 예외들이 throws 구문에 선언되어 있는 경우, 적절한 예외 처리를 하지 못하는 문제가 발생한다. 이러한 문제의 해결을 위해 [1,2,3]에서 프로그래머의 선언과 무관한 프로시저-간 예외 분석기가 제시되었다. 본 논문에서는 이 두분석 방법을 설계 구현하고 실험을 통해서 비교하였다. 실제 사용되는 자바 프로그램에 실험 결과, 프로시져-간 예외분석이 처리되지 않는 예외정보에 대해 프로시져-내 분석보다 정확한 결과를 제공함을 알 수 있었다. Exception analysis of JDK Java compiler is an intra-procedural analysis, which depends on programmers' specification on exceptions. This analysis fails to provide correct information on exception handling, in case programmers specify incorrect or broader information on exceptions. To overcome this situation, interprocedural exception analysis is suggested in [1,2,3], which is independent of programmers' specification. This paper designs and implements these two analyses and compares them by experiments. The experiments show that interprocedural exception analysis can detect uncaught exceptions more accurately than intraprocedural exception analysis for realistic Java programs.

복합 문서 지원 기능을 갖는 CASE 도구의 설계 및 구현

조장우(Jang-wu Jo),김태균(Taegyun Kim) 한국컴퓨터정보학회 2007 韓國컴퓨터情報學會論文誌 Vol.12 No.6

객체지향 기술의 도래 이후로 많은 연구 개발 과제들을 통해 객체지향 기술이 생산성과 재사용성 향상에 크게 도움이 되고 있음이 판명되고 있다. 객체지향 기술과 관련된 다양한 연구 분야가 있으며 그 중에서 두 가지 중요한 분야가 CASE 도구에 관련된 분야와 컴포넌트 기반 기술이다. 본 논문은 이 두 기술을 결합하기 위하여 CASE 도구에 컴포넌트 기술을 적용한 시도에 대해 논한다. 본 논문에서는 기존에 개발되었던 객체 지향 CASE 도구인 OODesigner에 COM/OLE 기반의 복합문서 지원 기술을 지원하도록 추가로 개발한 연구 결과를 제시한다. OLE 컨테이너와 서버 기능을 제공하는 OODesigner는 윈도우 시스템의 응용 프로그램들과 상호협동 작용을 하며 수행될 수 있기 때문에 다른 CASE 도구들보다 막강한 문서화 기능을 제공할 수 있다. OODesigner는 단지 UML 다이어그램의 설계를 위한 용도로 사용될 뿐 아니라 녹음기나 엑셀과 같이 OLE 기능이 제공되는 다양한 소프트웨어와 협력함으로써 좀 더 표현력이 뛰어난 문서화를 가능하게 한다. 그 결과 이 도구를 통해 강력하고 일관성 있는 문서화 작업이 이루어질 수 있다. Since the advent of object-oriented(OO) technology, research and development projects have turned out that OO technology could importantly contribute in productivity and reusability improvement. There are various research areas related to OO technology. And two of major research fields in this areas are concerned in issues for CASE tools and component-based technologies. This paper discusses a trial of applying component-based technology to a CASE tool. This paper proposes the design and implementation issues obtained while we have incrementally developed OODesigner, an OO CASE tool, with compound document support functionality based on COM/OLE technology. As OODesigner with OLE container/server functionality has interoperability with other application programs of Windows system. it can provide more powerful documentation environment than other CASE tools. OODesigner can be used not only to design UML diagrams. but also enables us to make more expressive documentation cooperatively with various kinds of OLE-enabled software like Recorder and Excel. Therefore powerful and consistent documentation activity can be achieved with the tool.

스마트 센서 응용 소프트웨어를 테스팅하기 위한 효율적인 방법

조장우(Jang-Wu Jo),정환철(Hwan-Cheol Joeng) 한국컴퓨터정보학회 2013 韓國컴퓨터情報學會論文誌 Vol.18 No.8

본 논문에서는 스마트 센서 응용 소프트웨어를 테스팅하기 위한 효율적인 방법인 가상 센서 시스템을 제안한다. 센서 응용 소프트웨어를 테스트하는 보편적인 방법은 테스트 보드에 센서를 직접 연결시켜 테스팅 환경의 센서 측정값으로 응용소프트웨어를 테스팅 하는 것이다. 센서 측정값을 입력으로 센서 응용 소프트웨어를 테스팅함으로 발생하는 문제는 테스트 데이터가 제한적이라는 것이다. 즉, 테스트 데이터가 센서로부터 생성되기 때문에 소프트웨어 테스터가 테스트 데이터를 조절하지 못하는 문제가 있다. 이러한 문제를 해결하기 위해 가상센서 시스템을 제안한다. 가상 센서 시스템은 소프트웨어 테스터가 센서의 측정값을 조절할 수 있게 한다. 가상 센서 시스템에서 센서 선택, 센서 특성화, 출력 패턴 정의의 세 단계를 통해 가상 센서를 정의한다. 가상 센서 시스템을 통해 조절 가능한 센서 측정값을 사용함으로써 센서 응용 소프트웨어에 대한 효율적인 테스트가 가능하다. 본 연구의 유용성을 보이기 위해 가상 센서 시스템을 안드로이드 앱의 센서 프로그램에 적용해 보고 실험 결과를 보인다. This paper presents a virtual sensor system that is an effective method to test application software of smart sensors. The common way of testing sensor application is to build a test board, connect sensors to the board, and test sensor applications on the board with sensor's measurements as inputs. The problem of testing sensor application software with sensor's measurements as inputs is the restriction of test data. In other words, software testers cannot manipulate test data, because test data is generated by sensors. To solve this problem a virtual sensor system is presented in this paper. The virtual sensor system enables software testers to manipulate measurements of sensors. In the virtual sensor system, generation of virtual sensors comprises three stages - sensor selection, sensor characterization, and determination of output patterns. Sensor's measurements that can be manipulated through the virtual sensor system make the process of testing efficient. To show the usefulness of our virtual sensor system, it is applied to sensor applications in Android platform and the result of experiments is shown.

Java 프로그램의 효율적인 분석을 위한 집합-기반 분석의 변환

조장우,창병모,Jo, Jang-Wu,Chang, Byeong-Mo 한국정보과학회 2002 정보과학회논문지 : 소프트웨어 및 응용 Vol.29 No.7

본 논문에서는 Java 프로그램에 대한 집합기반 분석 설계 시, 효율적인 분석을 위해 분석의 단위를 조절하는 생성규칙 변환 방법을 제안한다. 기존의 생성규칙을 변환함으로서 기존의 분석보다는 정확성이 감소하지만 보다 효율적인 분석을 설계할 수 있다. 본 방법을 응용한 예로서 기존의식 수준의 클래스 분석과 예외 상황 분석에 대해 생성규칙 변환을 사용하여 효율적인 클래스 분석과 예외상황 분석을 설계하였다. 클래스 분석에서는 메소드와 필드 변수 단위의 분석을 설계하였으며, 예외상황 분석에서는 메소드와 try 구문 단위의 분석을 설계하였다. 그리고 예외상황 분석에서는 식 수준의 분석과 변환된 메소드 수준의 분석이 각 메소드에 대해서 동등한 정보를 제공함을 보였다. This paper proposes a transformation-based approach to design constraint-based analyses for Java at a coarser granularity. In this approach, we design a less or equally precise but more efficient version of an original analysis by transforming the original construction rules into new ones. As applications of this rule transformation, we provide two instances of analysis design by rule-transformation. The first one designs a sparse version of class analysis for Java and the second one deals with a sparse exception analysis for Java. Both are designed based on method-level, and the sparse exception analysis is shown to give the same information for every method as the original analysis.

Java 프로그램의 효율적인 분석을 위한 집합 - 기반 분석의 변환

조장우(Jang-Wu Jo),창병모(Byeong-Mo Chang) 한국정보과학회 2002 정보과학회논문지 : 소프트웨어 및 응용 Vol.29 No.7·8

본 논문에서는 Java 프로그램에 대한 집합기반 분석 설계 시, 효율적인 분석을 위해 분석의 단위를 조절하는 생성규칙 변환 방법을 제안한다. 기존의 생성규칙을 변환함으로서 기존의 분석보다는 정확성이 감소하지만 보다 효율적인 분석을 설계할 수 있다. 본 방법을 응용한 예로서 기존의 식 수준의 클래스 분석과 예외 상황 분석에 대해 생성규칙 변환을 사용하여 효율적인 클래스 분석과 예외상황 분석을 설계하였다. 클래스 분석에서는 메소드와 필드 변수 단위의 분석을 설계하였으며, 예외상황 분석에서는 메소드와 try 구문 단위의 분석을 설계하였다. 그리고 예외상황 분석에서는 식 수준의 분석과 변환된 메소드수준의 분석이 각 메소드에 대해서 동등한 정보를 제공함을 보였다. This paper proposes a transformation-based approach to design constraint-based analyses for Java at a coarser granularity. In this approach, we design a less or equally precise but more efficient version of an original analysis by transforming the original construction rules into new ones. As applications of this rule transformation, we provide two instances of analysis design by ruletransformation. The first one designs a sparse version of class analysis for Java and the second one deals with a sparse exception analysis for Java. Both are designed based on method-level, and the sparse exception analysis is shown to give the same information for every method as the original analysis.

자바 언어를 위한 예외 상황 분석 비교 연구

조장우(Jang-Wu Jo),창병모(Byeong-Mo Chang) 한국정보과학회 프로그래밍언어연구회 2000 프로그래밍언어논문지 Vol.14 No.1

Java의 예외 제어 흐름을 포함한 제어 흐름 그래프 생성

조장우(Jang-Wu Jo),이정수(Jung-Su Lee) 한국정보과학회 2002 한국정보과학회 학술발표논문집 Vol.29 No.2Ⅱ

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

예외 흐름 분석을 정상 흐름 분석과 분리하여 Java프로그램에 대한 제어 흐름 그래프를 생성하는 방법

조장우(Jang-Wu Jo),창병모(Byeong-Mo Chang) 한국정보과학회 2004 정보과학회논문지 : 소프트웨어 및 응용 Vol.31 No.5

제어 흐름 그래프는 자료 흐름 분석과 제어 종속 분석과 같은 프로그램 분석 분야와 프로그램 슬라이싱과 테스팅과 같은 소프트웨어공학 분야에서 필요로 하는 정보이다. 이러한 분석들이 안전하고 유용하기 위해서는 제어 흐름 그래프는 예외 흐름을 포함해야 한다. 기존의 방법은 예외 흐름과 정상 흐름의 상호 의존적인 관계로 인해 두 흐름을 동시에 계산하면서 제어 흐름 그래프를 생성한다. 그러나 실제Java 프로그램을 조사해 본 결과 두 흐름이 상호 의존적으로 필요한 경우는 거의 발생하지 않음을 알 수 있었다. 그러므로 정상 흐름과 예외 흐름을 분리해서 계산할 수 있음을 알았고, 예외 흐름을 계산하는 예외 흐름 분석을 제안한다. 그리고 예외 흐름을 표현하는 예외 흐름 그래프를 제안한다. 그리고 제어 흐름 그래프는 예외 흐름 그래프와 정상 흐름 그래프를 합병함으로써 생성될 수 있음을 보인다. 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.