• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 하계종합학술대회 논문집(1)
• /
• 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.

• 천문학논총
• /
• 제30권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.

• 산업공학
• /
• 제8권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.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.604-606
• /
• 2001

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

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 1998년도 제2회 박판성형심포지엄 논문집 박판성형기술의 현재와 미래
• /
• 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.

• 소성∙가공
• /
• 제7권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.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.794-796
• /
• 2015

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2019년도 추계학술발표대회
• /
• pp.680-683
• /
• 2019

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.1013-1016
• /
• 2000

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

• 한국정보통신학회논문지
• /
• 제13권2호
• /
• pp.243-252
• /
• 2009

본 논문에서는 유스케이스 기술서 작성 및 편집을 체계적으로 하기 위한 도구를 제시하고자 한다. 또한, 시나리오의 기술에 있어서 1컬럼 방식과 2컬럼 방식 모두를 지원하도록 하였으며, 시나리오 각 단계별 작성과 편집의 처리에 있어서 자동화된 단계 번호 때 기기를 지원하여 작성의 편의성을 높였다. 본 논문에서 제시하는 유스케이스 기술서 작성 도구는 편리하고 효과적으로 유스케이스 기술서를 작성하게 해 줄 뿐만 아니라, 유스케이스 다이어그램과 통합된 유스케이스 모델링 도구의 개발에 기여할 것으로 기대된다.