• 인터넷정보학회논문지
• /
• 제16권2호
• /
• pp.85-98
• /
• 2015

컴포넌트 기술은 소프트웨어를 신속하고, 효과적으로 개발할 수 있는 대안으로 90년대 초반부터 각광 받기 시작하였으며, 현재 컴포넌트 중심의 애플리케이션은 대부분 J2EE/EJB 컴포넌트 환경을 이용하여 개발되고 있다. 그러나 EJB 컴포넌트를 테스트하는 것은 기존의 자바 클래스의 테스트보다 더 많은 노력이 필요하며, 어려운 작업이기 때문에 대부분 충분한 테스트가 수행되지 않는 문제점이 있다. 이에 본 논문에서는 컨테이너 내부 테스팅 전략 기반의 EJB 컴포넌트 테스트 자동화 방법을 제안하고, 도구를 구현한다. 본 논문에서 제안하는 방법은 EJB 컴포넌트의 테스트 환경을 자동으로 구축함으로써 테스트 과정에서 개발자 또는 사용자의 시간과 노력을 많이 줄여줄 수 있다. 이를 통해 EJB 컴포넌트 개발 과정에서 보다 더 많은 그리고 다양한 테스트의 수행을 가능하게 함으로써 컴포넌트의 신뢰도를 높일 수 있다.

• 정보보호학회논문지
• /
• 제17권2호
• /
• pp.51-59
• /
• 2007

소프트웨어 테스팅은 소프트웨어의 버그 및 잘못 구현된 부분 등을 찾아내는 과정을 통해 품질을 평가하는 방법이다. 퍼징(fuzzing)은 소프트웨어 테스팅 기술의 여러 가지 방법 중 하나로써 난수를 발생시켜 테스팅하고자 하는 소프트웨어에 주입하는 방법으로써 보안에 중점을 두어 테스팅하는 방법이다. 퍼징은 단위 시간 당 테스팅 효율성, 비용 절감 등 여러 가지 장점을 이유로 다수 사용되고 있으나 퍼징 수행 시 전문가의 개입이 많은 단점이 존재한다. 예를 들면 해당 소프트웨어가 사용하는 프로토콜 혹은 퍼징 대상이 파일인 경우 파일 포맷에 대한 분석을 수행한 후에야 가능하기 때문에 테스팅 기간이 길어질 수 있으며 퍼징 도구를 이용해도 퍼징 대상의 프로토콜 및 포맷에 대한 분석이 난해한 경우 테스팅 대상에 대한 퍼징을 수행하지 못할 수도 있다. 본 논문에서 설계한 ROAD는 RPC 기반 프로토콜 및 소프트웨어를 자동으로 퍼징할 수 있는 도구이다. RPC는 다수의 취약점이 발견된 구성요소로써 본 논문에서는 이를 자동으로 퍼징할 수 있는 도구의 구현을 목표로 하였다. 기존의 도구 중 RPC 기반 소프트웨어를 퍼징하는 도구가 존재하지만 자동화되어 있지 않을 뿐만 아니라 소프트웨어에 따라 도구를 수정해야만 사용이 가능하다. 본 논문은 이러한 단점을 극복하고자 자동화 도구를 설계 및 구현하여 실제 RPC 기반 프로토콜 및 소프트웨어에 적용하였다. 또한 실험을 통해 도구의 효용성을 검증하였다.

• 한국철도학회논문집
• /
• 제12권1호
• /
• pp.81-87
• /
• 2009

최근의 컴퓨터 기술의 발달에 따라 열차제어시스템들이 컴퓨터 소프트웨어에 의존성이 더욱 증가되고 있으며, 이에 따라 이러한 열차제어시스템 소프트웨어의 안전성에 대한 테스팅이 더욱 중요하게 되었다. 본 논문에서는 이러한 열차제어시스템 소프트웨어를 위한 코딩규칙의 테스팅 자동화 도구의 적용을 제안하였으며, 코딩규칙 테스팅 자동화 도구의 구현 및 적용결과를 제시하였다. 구현 툴에서의 테스팅 항목은 철도시스템 소프트웨어 관련된 국제규격과 MISRA-C 기준을 참조하였다. 본 열차제어시스템 테스팅 자동화 도구는 열차제어시스템 소프트웨어 평가단계에서도 활용될 수 있고 또한 소프트웨어 개발단계에서도 유용하게 활용될 수 있을 것으로 예상된다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년 학술대회 논문집 정보 및 제어부문
• /
• pp.422-424
• /
• 2006

This paper suggests an automatic spot-inspection algorithm for LCD modules. Usually, LCD module testing is classified by two categories. One is for uniform pattern testing and the other is Non-uniform testing. The uniform pattern testing is well defined and also fully automated in the factory. However non-uniform pattern testing is not defined well yet, so non-uniform testing is conducted by human operators. In this paper a spot-pattern, which is one of non-uniform pattern, inspection algorithms are proposed. The performance of the proposed algorithm is tested by extensive simulations using artificial slot-patterns and real ones in the LCD modules.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2009년도 세계 도시지반공학 심포지엄
• /
• pp.1425-1434
• /
• 2009

This study was aimed at comparing and assessing SPT-N values both measured by automatic and manual record devices of Standard Penetration Test. As a result, energy efficiency of hammer was approximately 62.9%, meaning SPT-N value measured by automatic recording device showed relatively accurate performance that the one done by manual device. Given the relations between hit frequency of automatic recording device and intrusion, the characteristics of stratum are expected to be proved in more accurate way. Additionally, higher confidence level seems to make it preferred and quality assessment method.

• Journal of Information Processing Systems
• /
• 제18권5호
• /
• pp.599-613
• /
• 2022

Non-proliferative diabetic retinopathy is a representative complication of diabetic patients and is known to be a major cause of impaired vision and blindness. There has been ongoing research on automatic detection of diabetic retinopathy, however, there is also a growing need for research on an automatic severity classification system. This study proposes an automatic detection system for pathological symptoms of diabetic retinopathy such as microaneurysms, retinal hemorrhage, and hard exudate by applying the Faster R-CNN technique. An automatic severity classification system was devised by training and testing a Random Forest classifier based on the data obtained through preprocessing of detected features. An experiment of classifying 228 test fundus images with the proposed classification system showed 97.8% accuracy.

• 비파괴검사학회지
• /
• 제30권1호
• /
• pp.31-35
• /
• 2010

본 연구에서는 소형 로켓 모타의 3차원 단층촬영 영상을 자동 판독하는 프로그램을 개발하고자 하였다. 선속경화현상을 보정한 화소값 비교 방식으로 결함을 검출하였고, 정확한 결함의 임계값 설정을 위하여 모의결함시편을 제작하였다. 개발된 자동 판독 프로그램은 미접착, 균열, 이물질 및 기공을 검출할 수 있었으며, 150기에 대한 비교 판독한 결과 미접착과 균열은 육안 판독 결과와 동일한 결과를 나타냈고, 기공과 이물질은 판독자보다 많은 결함을 신속하게 검출할 수 있었다.

• 전기학회논문지P
• /
• 제53권2호
• /
• pp.70-76
• /
• 2004

The purpose of interlocking system in railway is to prevent the route for a train being set up and its protecting signal cleared if there were already another, conflicting route set up and the protecting signal for that route cleared. Recently, conventional relays circuitry in industrial field is replaced to computer-based control systems according to the advance of computer and communication technology. Therefore, interlocking systems in railway field are rapidly changing from existing relay-based interlocking system to computer-based electronic ones that executes the vital interlocking logic to assure the safety train routes at trackside signaling equipment room using electronic circuits. So it is very important to verify the performance of developed electronic interlocking system by plentiful laboratory testing before actually application in the railway system. However the laboratory testing in the present state of railway signaling is preformed individually by manual, so very much test time and cost are required. To solve these problems, we are developed the simulator for automatic interlocking inspection in this research. This simulator is able to operate on general personal computer and has following beneficial functions : automatic test sheet generation for inspection, automatic inspection execution and et al. The experiments are executed to test the feasibility of the developed simulator the experimental results have good agreements with the anticipated ones.

• 한국정보처리학회논문지
• /
• 제6권11호
• /
• pp.3070-3076
• /
• 1999

Petri net is one of the effective modeling techniques which analyzes and designs concurrent and asynchronous systems. CPN is an extended Petri net which has color tokens. In this paper, we propose a new test case generation method using CPN. It transforms Estelle Specification into CPN, which is applicable to Design/CPN. It also generates UIO and subtour from OG and descriptor, which are resulted from Design/CPN. Using the proposed method, we can get more improved test coverage than existing methods. Therefore, more effective protocol conformance testing could be conducted. The test case generating method will be the basis of the automatic testing environmented.

• 제어로봇시스템학회논문지
• /
• 제3권1호
• /
• pp.89-93
• /
• 1997

This paper describes the automatic testing system developed for powder metallurgy process using the visual inspection, and its some internal algorithms. The system consists of one unit from each of the five types of units; feeding, slot, vision inspection, volumn counter, and inferior good extractor units. Some applications of the system to powder metallurgy process has shown the possibility of reducing the rework and increasing the efficiency of operation.