• 한국ITS학회 논문지
• /
• 제20권6호
• /
• pp.264-279
• /
• 2021

자율주행자동차 평가 시나리오는 대부분 자율주행자동차가 직면할 일반적인 주행 상황을 기반으로 개발되고 있다. 하지만 실제 주행 중에는 다양한 상황이 발생하고 때때로 복합적인 판단이 필요한 상황이 발생하기도 한다. 본 연구는 보다 안전한 자율주행자동차의 주행을 위하여 복합적인 판단이 필요한 상황을 딜레마 상황으로 새롭게 정의하고, 각 상황에서의 주행안전성 확보를 위해 필요한 운전 전략을 제시하고자 한다. 이를 위하여 자율주행자동차 윤리 가이드라인, 자동차사고 과실비율 인정기준, 그리고 자율주행자동차 개발자 제안을 바탕으로 딜레마 상황들을 정의하였다. 또한, 정의된 딜레마 상황들에 대하여 운전 전략 수립을 위한 운동 영향요소를 탐색하였으며, 「도로교통법」에 따른 운전 영향요소의 우선순위와 그에 따른 운전 전략을 도출하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.358-362
• /
• 2004

Verification and testing are complementary techniques that are used to increase the level of confidence in the correct functioning of communication systems as prescribed by their specifications. This paper presents an experience of model checking for a formal railway signaling protocol specified in LTS (Labeled Transition System). This formal approach checks deadlock, livelock and reachability for the state and action to verify whether properties expressed in modal logic are true on specifications. We also propose a formal method for semi-automated test case generation for a railway signaling protocol described in I/O FSM (Input/Output Finite State Machine). This enables the generation of more complete and consistent test sequence for conformance testing. The above functions are implemented by C++ language and included within RSPVTE (Railway Signaling Protocol Verification and Testing Environment).

• 전기학회논문지P
• /
• 제62권1호
• /
• pp.30-35
• /
• 2013

Many function of railway signalling system which is in charge of most core function in a railway system are being operated by the software according to the development of computer technology. Accordingly, the source code testing to verify the safety of the railway signalling system software becomes to be more important, and related international standards highly recommend verifications on the source code also. For this reason, several related studies on vital source code verification were executed from several years ago in Korea. This paper performed tests through the application to railway signalling system being applied to the existing actual domestic railway sites through automated testing tools for coding rules of signalling system software and another signaling system software under development in Korea recently, and analyzed their results.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2006년도 춘계학술대회 논문집
• /
• pp.59-60
• /
• 2006

It is bringing out the importance of automated LCD testing equipment that satisfy a definite quality, confidence and testing speed, as LCD enterprises are recently expanding the production and facility investment in proportion to the sudden increase of LCD demand. So far, LCD inspection is however conducted by manual, or the confidence of existing testing equipment falls short of LCD enterprises's standard. It is therefore important to develop the testing equipment that determines the quality of product for production of an excellent LCD.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권2호
• /
• pp.187-195
• /
• 2000

내장 소프트웨어는 외부 입력과 시스템의 현재 상태를 함께 고려하여 출력을 결정하는 특성을 가지고 있기 때문에, 하나의 모듈을 테스트하기 위해서는 해당 모듈에 대한 단위 테스트 기법 이외에, 추가적으로 그 모듈에 도달하기 위한 다양한 시퀀스를 생성하는 방법이 필요하다. 본 논문에서는 내장 소프트웨어의 모듈 테스트를 위한 명세 기반의 테스트 방법을 제안하고 이를 지원하는 자동화 도구인 MSCTest를 구현하였다. 각 모듈의 기능은 결정표 (decision table)를 이용하여 명세하고, 시스템에 발생가능한 시나리오는 데이타 표현을 첨가한 MSC (Message Sequence Charts)로 기술하여 테스트 시퀀스를 생성한다. MSCTest는 MSC 그래픽 편집기, 테스트 시퀀스와 데이타 생성기, 그리고 생성된 테스트데이타를 수행시키는 테스트 드라이버 생성기로 구성되어 있다. MSCTest를 이용하여 웹 비디오폰이나 디지털 TV 등에서 편리한 사용자 인터페이스를 제공하기 위해 사용되는 EsWin (Embedded System Windows) 소프트웨어를 효과적으로 테스트할 수 있었다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제10권4호
• /
• pp.115-124
• /
• 2021

기능 블록 다이어그램(Function Block Diagram, FBD) 프로그램이 안전 필수 시스템 구현에 널리 사용되면서 FBD 프로그램에 대한 효과적인 테스트가 중요해졌다. 뮤테이션 테스팅은 오류 기반 테스팅 기술로, 오류 탐지에 매우 효과적이지만 비용이 많이 든다. 본 연구에서는 FBD 프로그램 테스터를 지원하기 위한, FBD 프로그램 대상 자동 뮤턴트 생성기를 제안한다. MuGenFBD 도구는 뮤턴트 생성 비용과 동등 뮤턴트 문제를 고려하여 설계되었다. MuGenFBD 도구의 성능을 평가하기 위해 실제 산업 사례에 대한 실험을 수행한 결과, MuGenFBD를 활용하여 뮤턴트 생성 시 동등 뮤턴트를 생성할 비율이 낮으며 적은 비용으로 FBD 프로그램 대상 뮤턴트를 효과적으로 자동 생성할 수 있음을 확인하였다. 제안하는 도구는 FBD 프로그램에 대한 뮤테이션 분석 및 뮤테이션 충분성 기준을 만족시키는 테스트 생성을 효과적으로 지원할 수 있다.

• 제어로봇시스템학회논문지
• /
• 제16권6호
• /
• pp.608-616
• /
• 2010

Robot software components can be categorized into two types; the pure S/W component and the H/W-related one. Since interface testing of the robot software component is the labour-intensive and complicated work, an effective automated testing tool is necessary. Especially it is difficult to test all types of H/W-related components because it is hard work to prepare all H/W modules related to them. This paper proposes a new simulation-based interface testing automation tool(SITAT) which generates automatically test cases for interface testing of the robot software component and executes the interface test with the generated test cases where the simulator is used for simulation of the activity of a H/W module instead of the real H/W module. This paper verifies the effectiveness of the suggested SITAT with testing of the real H/W-related robot software component.

• 정보보호학회논문지
• /
• 제19권2호
• /
• pp.75-82
• /
• 2009

본 논문에서는 전세계적으로 90%이상의 사용자층을 보유하고 있는 윈도우즈 OS의 API에 대한 보안 테스팅 중 Fuzz Testing을 적용하여 그 안전성을 검증하였다. 본 논문에서는 윈도우즈의 시스템 폴더 내에 구현된 함수들을 대상으로 테스팅하기 위해 Fuzz Testing 기반 자동화 방법론인 AWAFT를 제안하였다. AWAFT는 보안 취약점 중 버퍼오버플로우와 함수 파라미터 파싱 오류에 초점을 맞추고 있다. AWAFT를 자동화하기 위한 도구를 구현하였으며 Windows XP SP2 시스템 폴더에 적용한 결과 177개의 프로그램 종료 에러를 발견하였으며, 이 중 10개는 프로그램의 실행 흐름을 변경시킬 수 있는 보안상 위험한 취약점이었다. AWAFT는 윈도우즈 기반으로 개발되는 소프트웨어의 라이브러리에 대해 보안 향상을 위해 적용 가능하다.

• 비파괴검사학회지
• /
• 제37권2호
• /
• pp.106-114
• /
• 2017

This paper presents an automated subsurface micro void detection technique based on pulsed infrared thermography for inspecting epoxy molding compounds (EMC) used in electronic device packaging. Subsurface micro voids are first detected and visualized by extracting a lock-in amplitude image from raw thermal images. Binary imaging follows to achieve better visualization of subsurface micro voids. A median filter is then applied for removing sparse noise components. The performance of the proposed technique is tested using 36 EMC samples, which have subsurface (below $150{\mu}m{\sim}300{\mu}m$ from the inspection surface) micro voids ($150{\mu}m{\sim}300{\mu}m$ in diameter). The experimental results show that the subsurface micro voids can be successfully detected without causing any damage to the EMC samples, making it suitable for automated online inspection.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2001년도 춘계학술대회논문집A
• /
• pp.447-452
• /
• 2001

An automated system is developed to perform fatigue crack growth tests under constant effective stress intensity factor range ${\Delta}K_{eff}$. In the system, crack length and crack opening load are measured in real-time by using the unloading elastic compliance method. The system consists of two personal computers, an analogue electrical subtraction circuit, a stepping motor, a stepping motor driver, a PIO board, and the application software used to integrate the whole system. The performance of the developed system was tested and discussed performing constant ${\Delta}K_{eff}$ crack growth tests on a CT specimen of 7075-T6 aluminum alloy. The performance of the system is found to be strongly dependent on the accuracy of measurements of crack opening load. Besides constant ${\Delta}K_{eff}$ testing, the system is expected to be successfully applied for automation of various fatigue tests.