• Proceedings of the IEEK Conference
• /
• 2002.06a
• /
• pp.235-238
• /
• 2002

In this paper we describe the design and implementation of Electrical Ground Support Equipment(EGSE) for the CBS transponder testing. The main task of EGSE is to check out satellite systems, at system or subsystem level, during integration and validation phases of their life-cycle. Through a combination of hardware and software elements, EGSE supports manual, semi-automatic and fully automated testing. Automation is achieved by offering users simple, yet powerful means to write their own test application programs (test sequences) in high-level, test-oriented language and to run them in a strict real-time environment. The core of this environment is a user-configurable real-time database, containing all the information needed to calibrate acquired data, check them against predefined thresholds, automatically react to out-of-range conditions, display data using animated graphics or synoptic windows, and so on.

• Publications of The Korean Astronomical Society
• /
• v.30 no.2
• /
• pp.671-673
• /
• 2015

Before analyzing the images taken with a Mosaic CCD imager, the images have to reach a state which can be used for further scientific analysis. The transformation of raw images into calibrated images is called data reduction. Transforming HEavely Light into Images (THELI) is a nearly fully automated reduction pipeline software (Erben et al., 2005). This pipeline works on raw images to remove instrumental signatures, mask unwanted signals, and perform photometric and astrometric calibration. Finally THELI constructs a deep co-added mosaic image and a weight map. In this poster, THELI data reduction procedures will be reviewed and the reduction process for raw images of seven X-ray bright groups, extracted from GEMS groups (Osmond & Ponman, 2004) obtained by the Wide Field Imager (WFI) mounted on MPG/ESO telescope at La Silla in March 2006 will be discussed.

• IE interfaces
• /
• v.8 no.2
• /
• pp.171-183
• /
• 1995

A special purpose automated storage and retrieval system is developed in which information media such as compact disc or video tapes can be stored. Hardware system includes rack, stacker crane with robot arm, conveyor, and bar code reader. Software system includes database for address management, user interface for quick scanning of information media by displaying moving image, and algorithms for selecting the closest open location. Such system is widely applicable to CD library or broadcasting station in the forthcoming information age. In this paper we present detailed procedure and tools that are used in designing and implementing such a special AS/R system.

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

소프트웨어의 본질인 변경 문제로 인해 상용 테스트 도구의 단순 적용만으로는 자동 테스트의 실질적인 효과를 기대하기 어려운 것이 현실이다. 이러한 문제를 해결하기 위해 변경에 영향 받지 않는 다양한 자도 테스트 기법이 시도되어 오고 있다. 그 중에서 가장 주목받는 것으로 키워드 기반 자동 테스트(Keyword Driven Automated Test)를 들 수 있으며 이 방법의 궁극적인 목적은 대상 소프트웨어의 변경에 따른 테스트 자원의 유지보수를 쉽게 하기 위한 것이라 할 수 있다. 테스트 자원의 구축, 실행 및 발생하는 변경으로 인한 유지보수까지의 전 과정에서 키워드 기반 자동 테스트가 보다 효율적이며 다른 프로젝트, 제품 테스트에서도 일부 함수 추가, 재정의만으로 재사용 가능한 장점을 가지고 있다. 키워드 기반 자동 테스트를 위해서는 기존의 테스트 도구를 사용하여 대상 소프트웨어에 맞게 테스트 도구가 제공하는 자체 프로그래밍 언어를 사용하여 개발해야 한다.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 1998.06a
• /
• pp.171-182
• /
• 1998

An automated surface-strain measuring system using the image processing technique is developed in the present study, which consists of the hardware to capture and to display digital images, and the software to calculate the 3D informations of grid points from two views. New or improved algorithms the mapping and establishing correspondence of grid points and elements, the camera calibration, and the subpixel measurement of grid points, are implemented. As an application of the present system the surface-strains of deformed blanks in the limitting dome height test, the square cup deep-drawing and punch stretching to obtain the forming limit diagram are measured. The results are compared with those obtained by conventional manual methods.

• Transactions of Materials Processing
• /
• v.7 no.6
• /
• pp.575-585
• /
• 1998

An automated surface-strain measuring system using the image processing technique is developed in the present study which consists of the hardware to capture and to display digital images. and the software to calculate the 3-D informations of grid points from two views. New or improved algorithms for the mapping and establishing correspondence of grid points and elements the camera calibration and the subpixel measurement of grid points are implemented. As an application of the present system the surface-strains of deformed blanks in the limitting dome height test the square cup deep-drawing and punch stretching to obtain the forming limit diagram are measured. The results are com-pared with those obtained by conventional manual methods.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.794-796
• /
• 2015

본 연구는 소프트웨어의 소스코드를 대상으로 보안 취약성을 자동으로 평가할 수 있는 방안을 연구하여 소프트웨어 취약점 관리의 자동화 기술 아키텍처를 제안한다. IT가 생활환경의 기반기술로 보급화 되며 소프트웨어시장이 가파르게 성장하고 있다. 영리 소프트웨어의 경우 개발기관에서 관리 및 지원을 하지만, 오픈소스 소프트웨어는 비영리 목적과 개발환경으로 인해 체계적으로 관리되기가 어려워 취약점이 발생하기 쉽다. 그럼에도 비용과 효율의 문제로 오픈소스가 광범위하게 활용되고 있어, 오픈 소스 소프트웨어를 도입한 기관 및 단체에 침해를 유발하고, 보안수준을 악화시키고 있다. 이에 오픈 소스 소프트웨어는 소스코드가 공개되는 소프트웨어라는 점을 활용하여 소스코드 수준에서의 취약점 관리 자동화를 지원함으로써, 오픈소스 소프트웨어를 활용하는 분야의 보안 환경을 안전하게 향상시킬 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.10a
• /
• pp.680-683
• /
• 2019

개발자의 부담을 줄이고 소프트웨어의 품질을 향상시키기 위해 APR (Automated Program Repair) 기술을 개선해야 할 필요가 있다. 현재 사용되는 대부분의 APR 기술은 개발자가 수작업으로 작성한 테스트 케이스를 통과하는 유효 패치(Valid Patch)를 만드는 방식을 사용하기 때문에 QoP(Quality of Patch)는 많이 뒤떨어지는 단점을 가지고 있다. 본 논문에서는 테스트 범위가 충분히 높은 테스트 케이스를 자동으로 생성하는 기술을 이용하여 기존의 유효 패치를 강화하는 기술을 제안한다. 제안하는 내용을 Defects4J 의 일부 프로젝트에 적용하여 기존 기법 대비 FL 의 성능은 유지하면서 기존에 찾지 못했던 유효 패치를 추가적으로 찾을 수 있음을 확인하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.1013-1016
• /
• 2000

최근 컴퓨터의 활용이 급증함에 따라 수 많은 소프트웨어가 등장하게 되었고, 이에 따라 소프트웨어의 품질을 보증하고 향상시키기 위한 기술 개발의 필요성은 국가간 경쟁력의 증대, 급격한 기술의 발전, 품질 인식의 확산 등으로 인하여 폭발적으로 증가하고 있다. 선진국에서는 이미 품질 향상을 위한 연구를 활발히 하고 있으며, 특히 소프트웨어를 개발하고 관리하는 프로세스를 효율적으로 개선하기 위한 소프트웨어 프로세스 심사 기술을 개발하여 적극적으로 활용하고 있다. 이에 따라 소프트웨어 프로세스 개선 노력을 지원해 줄 수 있는 자동화 도구에 대한 필요가 증가하게 되어, 본 논문에서는 소프트웨어 프로세스를 개선하기 위한 절차 및 개선 프로젝트를 추적, 관리하여 소프트웨어의 품질향상을 지원할 수 있는 도구를 제안하고자 한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.13 no.2
• /
• pp.243-252
• /
• 2009

This paper presents an implementing of Use Case Description writing tool to support systematically writing and editing Use Case Description. It also supports both 1 column and 2 column formats of use case scenarios and increases convenience for editing scenario steps with automated step numbering function we presented. It results in not only user-friendly and effective description for use case but also contributing to development of integrated use case modeling tool with use case diagram.