• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권7호
• /
• pp.451-460
• /
• 2013

높은 테스트 커버리지 달성을 위해 심볼릭 실행, 자료 흐름 분석 및 제약 해결 기법 등을 이용하여 테스트 데이터 생성을 하는 것이 일반적이다. 최근에 그와 같은 정교한 수단 없이도 높은 커버리지를 효과적으로 달성 할 수 있는 방법이 제안되었다. 그러나 이 방법도 실행 중에 다른 메모리 로케이션들이 바인딩되는 분기 조건을 갖는 프로그램에 대해서는 높은 커버리지를 가져오는 테스트 데이터 생성이 어려웠다. 특히 플래그 조건을 가지는 프로그램에 대해서는 특정 분기들이 실행되지 않아 높은 커버리지를 달성하지 못하는 경우가 발생한다. 이 논문에서는 이 문제를 다루기 위하여 기존 커버리지 기준을 개선한 동적 분기 커버리지 기준들과 동적 분기에 기반 한 테스트 데이터 생성 전략을 제안한다. 실험을 통하여 플래그 조건이 있는 프로그램들에 대해서도 제안된 방법이 기존의 방법에 비해 효과적으로 커버리지를 달성함을 보인다. 요약은 무슨 연구를 어떻게 수행하였는지, 주된 연구결과와 그 중요성에 관해 간결하게 기술하여야 한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권12호
• /
• pp.882-891
• /
• 2010

테스트 데이터를 자동으로 생성하기 위한 동적 테스트 데이터 생성에 관한 많은 연구가 이루어졌다. 동적 테스트 데이터 생성 방법은 가공 테스트 대상 프로그램(SUT; Software Under Test)을 실행시켜 기존의 테스트 데이터의 적합도를 평가하고, 평가된 적합도 값과 최적의 알고리즘을 이용하여 새로운 테스트 데이터를 생성하는 방법이다. 최근에 전역 최적화 알고리즘을 이용한 동적 테스트 데이터 생성에 관한 많은 연구가 이루어져 왔고, 이 알고리즘을 통해서 테스트 대상 프로그램 (SUT)의 커버리지를 높일 수 있는 데이터를 생성할 수 있다는 것이 실험적으로 밝혀졌다. 그러나 최적화 알고리즘은 오랜 연산 시간이 필요하기 때문에, 이를 이용한 방법은 테스트 데이터를 생성하기 위해 많은 시간이 걸린다는 단점이 있다. 본 논문에서는 최적화 알고리즘을 이용한 동적 테스트 데이터 생성의 시간을 줄이기 위하여, 최적화 알고리즘의 절차 중 적합도 평가 시간을 줄이는 방법을 제안한다. 이를 위하여 SUT의 테스트 목표 경로로 부터 생성된 적합도 평가 프로그램(FEP)을 정의하고, 가공 SUT 실행하는 대신 소개된 FEP를 이용한 적합도 평가 방법을 제안하고 'ConGA'라는 도구를 구현한다. 그리고 C언어로 작성된 프로그램을 'ConGA'를 이용하여, 테스트 데이터 생성 효율성을 확인하였다. 이 실험을 통하여 제안된 방법이 기존의 방법보다 테스트 데이터 생성에 걸린 시간을 평균적으로 약 20% 줄인 것을 확인할 수 있었다.

• 소프트웨어공학소사이어티 논문지
• /
• 제24권2호
• /
• pp.35-45
• /
• 2011

금질 기법을 이용한 테스트 데이터 자동 생성 기법은 오랫동안 연구되어 왔으며, 효율적인 테스트 데이터 생성 방법 중 하나이다. 그러나 인풋 도메인이 넓을 경우, 기존의 담금질 기법은 이웃 선택 기법의 한계 때문에 나쁜 성능을 보였다. 이러한 한계를 극복하기 위해, 우리는 새로운 이웃 선택 기법인 분기 거리 이웃 선택 방법을 제안한다. 제안된 기법의 성능을 검증하기 위해서 우리는 분기 거리 이웃 선택 기법, 기존의 이웃 선택 기법 그리고 랜덤 테스트 데이터 생성 기법을 비교하는 실험을 수행하였다. 실험 결과 제안된 기법이 2가지 기법에 비해 우수한 성능을 보임을 알 수 있었다.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2004년도 춘계학술발표회
• /
• pp.245-252
• /
• 2004

When some enormous earthquake hazards broke out in the neighboring Japan and Taiwan, many Korean earthquake engineers thought that seismic guidelines must be adjusted safely and economically to consider the moderate earthquake characteristics. In the present aseismic guideline for liquefaction potential assessment, a simplified method using SPT-N value and a detail method based on the dynamic lab-tests were introduced. However, it is said that these methods based on the equivalent stress concept to simplify an irregular earthquake are not reliable to simulate the kaleidoscopical characteristics of earthquake loading correctly. Especially, even though various data from the dynamic lab-test can be obtained, only two data, a maximum cyclic load and a number of cycle at an initial liquefaction are used to determine the soil resistance strength in the detailed method. In this study, a new assessment of liquefaction potential is proposed and verified. In the proposed assessment, various data from dynamic lab-tests are used to determine the unique soil resistance characteristic and a site specific analysis is introduced to analyze the irregular earthquake time history itself. Also, it is found that the proposed assessment is reasonable because it is devised to reflect the changeable soil behavior under dynamic loadings resulted from the generation and development of excess pore water pressure.

• 한국콘텐츠학회논문지
• /
• 제12권11호
• /
• pp.39-48
• /
• 2012

소프트웨어 테스팅이 소프트웨어 개발 비용의 상당 부분을 차지하는 것은 잘 알려진 사실이다. 소프트웨어 테스팅 비용을 줄이기 위해 소프트웨어 테스트 데이터를 자동으로 생성하는 방법에 많은 연구가 이루어지고 있다. 일반적으로 테스트 데이터 자동 생성을 지원하기 위해 심볼릭 실행기나 제약 해결기와 같은 정교한 도구들을 요구한다. 그러나 이와 같은 도구들을 개발하거나 구입하는 것은 소프트웨어 테스트 관련 비용을 증가시키는 또 다른 요소로 작용된다. 이 논문에서는 심볼릭 실행이나 제약 해결에 의존되지 않는 동적 테스트 데이터 방법을 제안한다. 제안된 방식은 분기 커버리지 기준을 효과적으로 만족하도록 Korel의 경로 지향 테스트 데이터 생성 방법을 확장한다. 이 논문에서는 삼각형 분류 프로그램에 대한 실험을 통하여 제안된 방법이 분기 커버리지를 매우 효과적으로 달성함을 보인다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 추계학술대회 논문집
• /
• pp.573-578
• /
• 2004

Rotem has chosen ADAMS/Rail as the next generation analysis tool, to improve the capability and accuracy of the analysis ability. The dynamic performances of the railway vehicle, which is designed and manufactured by Rotem, have been analyzed and simulated using ADAMS/Rail. In this paper, Dynamic stress of bogie frame on running track is analyzed and compared with the data of real vehicle test. It is performed using ADAMS/AutoFlex and ADAMS/Durability.

• 에너지공학
• /
• 제8권2호
• /
• pp.213-223
• /
• 1999

최근 원자력발전소의 안전계통 소프트웨어는 신뢰성을 향상시키기 위해 ANSI/IEEE-ANS-7-4.3.2-1982 기준에 따라 확인 및 검증이 이루어지고 있다. 이 규정은 안전관련 소프트웨어가 정적 및 동적 환경에서 시험되어야 한다고 요구하고 있다. 부적절노심냉각감시계통의 경우에 정적시험 절차 및 관련기술들은 개발되었으나 동적시험 절차 및 관련기술들은 개발되지 않았다. 따라서, 본 논문에서는 미개발된 기술들을 논의하고, 동적시험 절차와 시험 입력자료 생성 프로그램을 제안한다. 이 프로그램의 성능은 울진 3,4호기 최종 안전성 분석 보고서의 사고해석 결과를 사용하여 확인하였다.

• 한국해양공학회지
• /
• 제34권6호
• /
• pp.394-405
• /
• 2020

To assess the station-keeping performance of floating structures in the Arctic region, the ice load should be considered along with other environmental loads induced by waves, wind, and currents. However, present methods for performance evaluation in the time domain are not effective in terms of time and cost. An ice load generation module is proposed based on the experimental data measured at the KRISO ice model basin. The developed module was applied to a time domain simulation. Using the results of a captive model test conducted in multiple directions, the statistical characteristics of ice loads were analyzed and processed so that an ice load corresponding to an arbitrary angle of the structure could be generated. The developed module is connected to commercial dynamic analysis software (OrcaFlex) as an external force input. Station-keeping simulation in the time domain was conducted for the same floating structure used in the model test. The mooring system was modeled and included to reflect the designed operation scenario. Simulation results show the effectiveness of the proposed ice generation module and its application to station-keeping performance evaluation. Considering the generated ice load, the designed structure can maintain a heading angle relative to ice up to 4°. Station-keeping performance is enhanced as the heading angle conforms to the drift direction. It is expected that the developed module will be used as a platform to verify station-keeping algorithms for Arctic floating structures with a dynamic positioning system.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권7호
• /
• pp.471-478
• /
• 2013

본 논문은 Rapidly-exploring Random Tree(RRT) 알고리즘을 이용한 Simulink/Stateflow 모델 기반의 블랙박스 테스트 케이스 자동 생성 기법을 제안한다. RRT는 복잡한 시스템의 경로 계획을 효율적으로 해결하는 좋은 방법으로 널리 사용되고 있다. 본 논문에서 제안하는 기법은 블랙박스 테스트 케이스 생성 시 해결해야 되는 도달 가능 문제를 RRT를 통해 해결하고자 한다. RRT를 이용하여 테스트 케이스를 생성 할 때의 가장 큰 단점은 Stateflow 모델의 내부 상태가 복잡한 시스템을 위한 RRT 확장 시 시간과 메모리 측면에서 많은 비용이 발생하게 된다는 점이다. 일반적인 RRT 기법이 대상 시스템을 단일한 RRT 공간으로 구성 하는 반면 제안된 기법에서는 대상 시스템을 Stateflow의 상태를 기준으로 동적 분할하여 RRT 공간을 모델링 구성 함으로써 RRT 확장 시 필요한 비용을 감소시켰다. 본 논문에서는 분할 RRT 공간을 위한 RRT 공간의 정의와, 거리 측정 기법, 테스트 케이스 생성 알고리즘을 제시한다. 또한, 예제 Stateflow 모델을 기반으로 한 테스트 케이스 생성실험을 통해 제안된 알고리즘의 성능을 보인다.

• 제어로봇시스템학회논문지
• /
• 제18권11호
• /
• pp.1051-1058
• /
• 2012

The unified lateral control algorithm for automatic valet parking for various types of vehicles is presented and its feasibility is shown experimentally via field tests for the given parking scenario. First, a trajectory generation algorithm for forward driving and backward multi-step parking maneuvers is developed. Then, with consideration of different types of vehicles and operating conditions, a kinematic vehicle model is used and validated using field test data. Using the nonlinear vehicle model, the lateral controller is designed based on dynamic surface control. Finally the proposed lateral control law is validated via hardware-in-the-loop simulations for different types of vehicles and experimentally using a test vehicle through field tests.