자바 언어를 위한 알고리즈믹 디버깅 기술의 설계

고훈준,유원희,Kouh, Hoon-Joon,Yoo, Weon-Hee 한국정보처리학회 2004 정보처리학회논문지 A Vol.11 No.1

This paper proposes to use an algorithmic debugging technique for locating logical errors in Java programs. The algorithmic debugging is a semi-automated debugging technique that builds an execution tree from a source program and locates logical errors, if any, included in the program from the execution tree with top-down method. So, it is very important to build a suitable execution tree from the various programming languages. In this paper we propose the method for building an execution tree iron Java programs and walk through an example. This approach could reduce the number of interactions between a user and a debugging system than the traditional step-wise debugging technique. 본 논문은 자바 프로그램에서 논리적인 오류를 발견하기 위해 알고리즈믹 디버깅 기술의 이용을 제안한다. 알고리즈믹 디버깅 기술은 원시프로그램으로부터 실행 트리를 생성하고, 실행 트리로부터 프로그램 내에 포함된 논리적인 오류를 하향식 방법으로 발견하는 반자동화 디버깅기술이다. 따라서 알고리즈믹 디버깅 기술은 다양한 프로그래밍 언어에 알맞은 실행 트리를 생성하는 것이 중요하다. 주 논문에서는 자바 프로그램으로부터 실행 트리를 생성하는 방법을 제안하고 예제론 통해서 자바 프로그램을 위한 알고리즈믹 디버깅 기술을 확인한다. 이 접근은 전통적인 순차적 디버깅 기술보다 사용자와 디버깅 시스템 사이에서 상호작용의 수를 줄일 수 있다.

비평가인자 함수프로그램을 다중스레드 코드로 변환하기 위한 번역기의 설계

고훈준(Hoon-Joon Kouh),양창모(Chang-Mo Yang),유원희(Weon-Hee Yoo) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.1A

잠재적인 병렬성을 가지는 비평가인자 함수언어는 비평가인자 의미로 인한 미세 수준의 동적 스케쥴링과 동기화가 요구된다. 다중스레드 모델은 데이터플로우 모델과 폰 노이만 모델을 결합하여 지연 시간, 동적 스케쥴링, 동기화 문제를 해결하기 위한 효과적인 병렬처리 모델이다. 이러한 병렬처리 모델은 고급 언어와 스레드의 형태에 따라 효율성이 결정된다. 본 논문에서는 잠재적인 병렬성을 가지는 비평가인자 함수언어(non-strict functional language: NFL)를 중간언어인 커널언어(kernel language: Kl)로 변환을 한다. 다음에 이 Kl를 데이터플로우 그래프로 거쳐 병렬처리를 할 수 있는 다중스레드 코드로 번역하는 효율적인 번역기를 설계, 구현한다.

자바 프로그램의 논리적인 오류를 찾기 위한 HDTS 시스템의 설계

고훈준 ( Hoon-joon Kouh ) 한국정보처리학회 2004 한국정보처리학회 학술대회논문집 Vol.11 No.2

이전 논문은 자바 프로그램 내에 포함된 논리적인 오류를 발견하기 위해 HDTS 기술을 제안하였다. HDTS 는 알고리즈믹 프로그램 디버깅 기술, 단계적 프로그램 디버깅 기술, 그리고 프로그램 할을 혼합하여 효율적으로 논리적인 오류가 포함된 프로그램을 디버깅하는 기술이다. 본 논문에서는 HDTS 기술을 구현하기 위한 HDTS 시스템을 설계한다.

Test System용 언어 및 번역기 설계

고훈준(Hoon-Joon Kouh),류진수(Chin-Su Ryu),김기태(Ki-Tae Kim),유원희(Weon-Hee Yoo) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.1A

테스트 시스템(Test System)은 반도체 제품을 웨이퍼(Wafer) 또는 완성된 제품 상태 하에서 전기적 특성과 성능을 검사하고 그 결과를 산출해내는 검사장치이다. 테스트 시스템은 크게 하드웨어와 소프트웨어로 이루어져 있으며 시스템을 제어하고 사용자 인터페이스 및 각종 자료를 처리하는 소프트웨어는 그 중요성이 한층 더 부각되고 있다. 그러나 국내 고성능의 테스트 시스템을 개발하는 기업들의 하드웨어 테스트 시스템에서 사용하고 있는 테스트 프로그램언어와 컴파일러의 문제점을 지적하고, 문제점을 해결할 수 있는 프로그래밍 언어 T를 설계한다. 그리고 그 언어를 컴파일 할 수 있다. 번역기를 설계하여 테스트 관리 시스템의 소프트웨어를 향상시키고자 한다.

자바 프로그램을 위한 복합 디버깅 시스템의 설계

고훈준(Hoon-Joon Kouh) 한국콘텐츠학회 2009 한국콘텐츠학회논문지 Vol.9 No.1

기존 연구에서는 자바 프로그램에서 논리적인 오류를 찾기 위한 기술로 HDTS를 제안했었다. HDTS는 알고리즈믹 프로그램 디버깅 기술을 이용하여 실행트리에서 오류를 포함하고 있는 메소드를 찾고, 단계적 프로그램 디버깅 기술을 이용하여 오류를 포함하고 있는 메소드에서 오류가 있는 문장을 찾아낸다. 그리고 분할 기술을 이용하여 오류를 포함하고 있는 메소드 내의 문장 중에서 디버깅에 관련이 없는 문장과 실행트리에서 불필요한 노드를 제거하여 노드의 수를 줄임으로서 사용자가 디버깅하는 횟수를 최소화할 수 있는 프로그램 디버깅 기술이다. 본 논문은 자바 프로그램을 디버깅할 수 있는 HDTS 시스템을 구현하기 위한 설계를 한다. 먼저, 자바의 부분언어를 정의하고 자바 원시 코드를 번역할 수 있는 번역기와 실행할 수 있는 가상머신을 설계한다. 그리고 사용자가 디버깅하기 위한 사용자 그래픽 인터페이스를 설계한다. In the previous work, we presented HDTS for locating logical errors in Java programs. The HDTS locates an erroneous method at an execution tree using an algorithmic program debugging technique and locates a statement with errors in the erroneous method using a step-wise program debugging. The technique can remove the unnecessary statements and nodes in debugging using a program slicing technique at the execution tree. So HDTS reduces the number of program debugging. In this paper, we design HDTS system for debugging java programs. We define small subset of Java language and design the translator that translates java source codes and the virtual machine that runs java programs. We design GUI(Graphical User Interface) for debugging.

테스트 시스템을 위한 프로그래밍 언어와 컴파일러 설계

고훈준(Hoon Joon Kouh),유원희(Weon Hee Yoo) 한국정보과학회 2002 정보과학회 컴퓨팅의 실제 논문지 Vol.8 No.3

테스트 시스템은 다양한 종류의 반도체 제품을 검사하고 분류한다. 따라서 테스트 시스템은 여러 가지 특수기능의 하드웨어 모듈과 각 제품을 테스트할 수 있는 프로그램이 필요하다. 프로그램은 엔지니어에 의해 수정되고 컴파일되어 실행될 수 있어야 한다. 따라서 테스트 시스템은 쉽고 편리하게 프로그래밍할 수 있는 프로그래밍 언어와 테스트 프로그램을 컴파일하고 실행할 수 있는 컴파일러가 필요하다. 본 논문에서는 기존의 국내 테스트 시스템에서 사용하고 있는 테스트 프로그래밍 언어와 컴파일러의 환경을 서술한다. 그리고 산업현장에서 엔지니어가 좀 더 쉽고 편리하게 사용할 수 있고 향상된 성능을 가지는 프로그래밍 언어와 컴파일러를 설계 · 구현하였다. 본 논문에서 설계한 프로그래밍 언어와 컴파일러를 사용하여 테스트 시스템에 적용해 본 결과 기존 시스템보다 제품을 검사하는 실행 속도 면에서 성능이 향상되었다. Test systems verify and classify the various kinds of semiconductor products. So test systems need programs that can test the various special functions of hardware modules and products. Programs can be modified, compiled and executed by engineers. Consequently, the systems needs programming languages that can be easily programmed by engineers and their compilers that can compile and execute test programs. In this paper we discuss the environment of programming languages and their compilers for the existing domestic test systems. We design a programming language and implement its compiler that can be conveniently used by the experienced engineers in the industry field. Experimental results show that a newly designed test system with our programming language and compiler can test products faster than the existing test system.

LCD 패널의 불량을 검출하는 검사용 LED BLU 개발

고훈준(Hoon-Joon Kouh),장경수(Kyung-Soo Jang),오주영(Ju-Young Oh) 한국콘텐츠학회 2010 한국콘텐츠학회논문지 Vol.10 No.5

LCD 패널은 자체적으로 발광할 수 없어 외부 광원인 BLU가 필요하다. BLU는 LCD 모듈에 포함되어 사용되고 LCD 패널의 불량을 검사하는 테스터에서도 사용된다. 최근에는 BLU가 CCFL에서 LED로 빠르게 변화되고 증가해왔다. CCFL은 초고압 전원이 필요하고, 열도 많이 발생하며, 일정한 휘도를 유지하기가 어렵다. LED는 전력소모량이 적고, 일정한 휘도를 유지한다. 그러나 현재 테스터에서 사용되는 BLU는 CCFL을 사용하고 있다. 본 연구에서는 LCD 패널의 불량을 검사할 수 있는 검사용 LED BLU를 개발한다. 또한 12~24인치의 LCD 패널을 모두 검사할 수 있도록 LED BLU를 24인치 크기로 제작하고 LCD 패널의 크기에 따라 LED BLU가 동작하도록 개발한다. LCD panel need BLU(Back Light Unit) that is outside source of light because can not emit light voluntarily. BLU is used in LCD module and is used in tester that examine LCD panel's badness. Lately, BLU had changed from CCFL(Cold Cathode Fluorescent Lamp) to LED(Light-Emitting Diode) fast. CCFL need extra-high tension power and produce much heat and is difficult to keep fixed brightness. LED is few electric power wastage and keeps fixed brightness. But, BLU that is used to detector that examine the LCD module is using CCFL until recently. This paper develops LED BLU that can examine LCD panel's badness. Also, this manufactures LED BLU to 24 inch size to examine all LCD panels(12∼24 inch), and develops so that LED BLU may operate according to LCD panel's size.

C# 프로그램의 정적 분할

강성관 ( Sung-kwan Kang ),고훈준 ( Hoon-joon Kouh ),김기태 ( Ki-tae Kim ),조선문 ( Sun-moon Jo ),유원희 ( Weon-hee Yoo ) 한국정보처리학회 2004 한국정보처리학회 학술대회논문집 Vol.11 No.1

C# 언어로 작성된 프로그램에서 기존의 객체 지향 프로그램에서 이용하던 정적 분할 방법을 적용한다. 기존의 두 경로 그래프 도달 가능성 분할 알고리즘을 적용하였을 때 프로시져들 간의 전이적인 종속 관계를 표현하는 요약 간선만을 이용하면 두 번째 경로에서 역 추적 할 때 모호성이 발생한다. 이러한 모호성은 C#의 이벤트, 델리게이트(delegate)들과 메소드의 다형적 호출 관계에서 발생될 수 있다. 본 논문은 호출된 프로시져의 호출하는 문맥을 설명하기 위하여 호출 지점에서 요약 간선 및 경로 간선을 이용하여 C#에서 다형적 호출에 대한 시스템 종속성 그래프(system dependence graph)에 대한 새로운 표현을 제안한다. 이 방법은 다형적 호출에서 발생하는 모호성을 해결할 수 있다.

정보 필터링을 이용한 저수조 무선 통합 관리

유기엽(Ki-Youp Yu),고훈준(Hoon-Joon Kouh),정경용(Kyung-Yong Chung),임기욱(Kee-Wook Rim),이정현(Jung-Hyun Lee) 한국콘텐츠학회 2009 한국콘텐츠학회 종합학술대회 논문집 Vol.7 No.1

본 논문에서는 수질을 향상시키고 저수조를 온라인 관리하기 위하여 정보 필터링을 이용한 저수조 무선 통합 관리를 제안하였다. 저수조 수위 센서가 저수위 감지시 저수조 컨트롤에서 무선을 통해 데이터를 무선 컨트롤로 보내어 펌프를 가동한다. 이때 저수조에서 일어나는 각종 데이터를 라인전송 모뎀으로 송신한다. 라인전송 모뎀에서 수신된 데이터는 각 시간 단위로 로그를 기록한 후 데이터베이스에 저장된다. 제안된 방법에서는 저수조의 상황과 환경을 정의하였고 정보 필터링을 이용하여 펌프동작, 태양 전지량, 약품량, 저수량, 회선, 모뎀에 따른 적합한 서비스를 예측하였다. 정보 필터링을 이용한 저수조 무선 통합 관리를 개발하여 제안한 방법의 논리적 타당성과 유효성을 검증하기 위해 시험적인 적용을 시도하고자 한다. In this paper, we proposed the reservoir tank wireless integrated management using information filtering for improving the water quality and on-line managing efforts of reservoir tanks. Reservoir tank level sensor works the pump sending the data from reservoir tank control to the wireless control on sensing water level. At this time, every kind data which happens in the water tank transmits the line transmission modem. The data to be received from the line transmission modem is stored at the database after we record the logs by each hour. The proposed method defined the context and environment of the reservoir tank and predicted the profited service according to the pump motion, the solar battery, the chemicals, the water level, the line, and the modem using information filtering, we plan to conduct the proposed method to verify the adequacy and the validity of reservoir tank wireless integrated management using the information filtering.

3-주소 코드를 스택-기반 코드로의 변환기

김영국 ( Young-kook Kim ),고훈준 ( Hoon-joon Kouh ),유원희 ( Weon-hee Yoo ) 한국정보처리학회 2005 한국정보처리학회 학술대회논문집 Vol.12 No.1

자바의 문제점은 실행속도의 저하이다. 실행속도 저하의 해결 방법으로 네이티브 코드로 변환, JIT컴 파일러, 바이트코드 최적화등의 연구가 되어 왔다. 그중에 바이트코드 최적화 방법을 사용하는 CTOC(Class To Optimized Classes)에서 3-주소 코드를 스택-기반 코드로 코드 확장 기법으로 변환 시 불필요한 store/load 코드가 생성된다. 따라서 본 논문은 불필요한 store/load 코드를 제거하기 위해서 부분 중복 코드 제거 후 불필요한 store/load문을 제거함으로서 불필요한 store/load 코드의 양을 줄이는 변환기를 제안하고, 거기에 대한 간단한 예를 들어 설명한다.