• 한국군사과학기술학회지
• /
• 제27권3호
• /
• pp.375-386
• /
• 2024

Autonomous weapon systems act according to artificial intelligence-based judgement based on recognition through various sensors. Test and evaluation for various scenarios is required depending on the characteristics that artificial intelligence-based judgement is made. As a part of this approach, this paper proposed a LiDAR point cloud augmentation method for mixed-reality based test and evaluation. The augmentation process is achieved by mixing real and virtual LiDAR signals based on the virtual LiDAR synchronized with the pose of the autonomous weapon system. For realistic augmentation of test and evaluation purposes, appropriate intensity values were inserted when generating a point cloud of a virtual object and its validity was verified. In addition, when mixing the generated point cloud of the virtual object with the real point cloud, the proposed method enhances realism by considering the occlusion phenomenon caused by the insertion of the virtual object.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 학술대회 논문집 정보 및 제어부문
• /
• pp.328-330
• /
• 2004

In this paper, ECG based cardiac disease diagnosis models are developed. Conventionally, ECG monitoring equipments can only measure and store ECG signals and they always require medical doctor's diagnosis actions which are not desirable for continuous ambulatory monitoring and diagnosis healthcare systems. In this paper, two kinds of neural based self cardiac disease diagnosis engines are developed and tested for four kinds of diseases, sinus bradycardia, sinus tachycardia, left bundle branch block and right bundle branch block. For diagnosis engines, error backpropagation neural network (BP) and probabilistic neural network (PNN) were applied. Five signal features including heart rate, QRS interval, PR interval, QT interval, and T wave types were selected for diagnosis characteristics. To show the validity of proposed diagnosis engine, MIT-BIH database were used to test. Test results showed that BP based diagnosis engine has 71% of diagnosis accuracy which is superior to accuracy of PNN based diagnosis engine. However, PNN based diagnosis engine showed superior diagnosis accuracy for complex-disease diagnoses than BP based diagnosis engine.

• 항공우주시스템공학회지
• /
• 제9권1호
• /
• pp.28-34
• /
• 2015

Armed aircraft of a basic trainer class installs external stores under wing box by using pylon and performs an operation such as weapon delivery and jettison, and should be designed to withstand all kinds of loads applied to external stores. The static strength test of pylons and wing box was performed to assess the static strength of pylon and their support structures for substantiation. Based on the test, the structures were verified to fully satisfy a given design requirement. In this paper, methods of test load generation of wing box and pylon, evaluation of test result data and design result of test set-up were presented. Comparing the FEM analysis with the same test data can lead to good match and reasonable deviation between both. Finally, based on the test and the analysis, the static strength of test article was substantiated and the reliability and effectiveness of analysis math model were obtained.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권8호
• /
• pp.385-390
• /
• 2017

지속적으로 증가하는 소프트웨어 복잡성으로 인해, 모델 기반 개발 기법은 소프트웨어 개발에 있어 거의 필수적인 기법이 되고 있다. 그러나, 모델 기반 기법을 활용한다 하더라도 복잡한 소프트웨어를 위한 테스트 케이스 생성은 여전히 풀어야 할 숙제이다. 본 논문에서는, 커스텀 파서와 SMT 솔버를 이용해 UML 모델 기반에서 자동 테스트 데이터를 생성하는 기법을 제안한다. 제안된 기법을 이용하면, 모델이 액션 언어(action language)와 같은 플랫폼 독립적인 언어로 구현되어 있거나, 플랫폼 종속적인 언어로 기술되어 있더라도 테스트 입력을 생성할 수 있다. 또한, 모델에서 테스트 케이스를 효율적으로 생성하기 위해 콘콜릭 수행 기법을 적용하였다. 본 논문에서는, 제안된 테스트 데이터 생성 기법을 통해 현대 산타페의 파워윈도우 스위치 모델에 활용된 사례를 기술한다.

• 한국지진공학회논문집
• /
• 제20권1호
• /
• pp.1-8
• /
• 2016

Permanent deformation plays a key role in performance based earthquake resistant design. In order to estimate permanent deformation after earthquake, it is essential to secure reliable response history analysis(RHA) as well as earthquake scenario. This study focuses on permanent deformation of an inverted T-type wall under earthquake. The study is composed of two separate parts. The first one is on the verification of RHA and the second one is on an effect of input earthquake motion. The former is discussed in this paper and the latter in the companion paper. The verification is conducted via geotechnical dynamic centrifuge test in prototype scale. Response of wall stem, ground motions behind the wall obtained from RHA matched pretty well with physical test performed under centrifugal acceleration of 50g. The rigorously verified RHA is used for parametric study to investigate an effect of input earthquake motion selection in the companion paper.

• 정보처리학회논문지D
• /
• 제16D권2호
• /
• pp.213-222
• /
• 2009

추적성 개념은 모델 중심의 개발에서만이 아니라 테스트를 위하여 매우 중요한 요소이다. 어떤 기능을 중심으로 높은 추상수준에서부터 낮은 수준의 프로그램까지 수직적인 추적은 모델로부터 테스트와 디버깅 단계에 이르기까지 시스템을 잘 관리할 수 있게 한다. 또한 테스트 단계에서 발견한 결함에 대한 오류를 추적할 때 발생하는 단계별 추상 수준의 분리를 추적가능성으로 극복하게 한다. 이 논문에서는 XML을 기반으로 모델과 시험사례 그리고 소스코드를 수직적으로 추적하여 더욱 엄격한 테스트가 되는 방법을 제안한다. 실험을 통하여 추적이란 개념이 어떻게 작동하고 오류 부분을 찾아내는지 보이며 구체적인 사례를 이용하여 방법을 소개한다.

• 대한임베디드공학회논문지
• /
• 제7권3호
• /
• pp.135-142
• /
• 2012

The Quality of embedded system depends on the embedded software. As the complexity and the size of embedded software have been increasing, it is more likely that the software may include faults, and the reliability and stability issues are getting more important. In this paper, we propose a remote test tool for software based on VxWorks by using fault injection method. The test tool consists of test server and test client for testing on the cross development environment. The test server operates in the host system and user can not only test but also monitor the software by using it. The test client operates in the target system and it controls kernel objects and sends the input data into the software when receiving the control and data from the test server. We developed the prototype software and demonstrated the ability of testing software robustness by injecting faults.

• 소프트웨어공학소사이어티 논문지
• /
• 제29권2호
• /
• pp.13-20
• /
• 2020

탐색 테스트는 빠른 개발 주기라는 특징으로 바람직한 테스트 방법으로 소개되었으나 적용을 위하여 문서화 및 테스트 범위의 분석이 요구되어 적극적으로 채택하지 않고 있다. 한편 키워드 기반 테스트는 리소스 절약 및 유지 관리를 용이하게 하는 방법으로 소개되었으나 데이터, 설정, 상호 작용, 시퀀스 및 타이밍과 같은 변수가 많아 테스트를 미리 계획하는 것이 쉽지 않다. 하지만 키워드 기반 테스트에서 키워드를 작성하기 위한 명확한 기준과 방법을 제시하고 탐색 테스트 프로세스를 적용하여 키워드를 기반으로 테스트 사례를 만들 수 있다. 이 논문에서는 키워드 기반으로 탐색적 테스트를 자동화 하는 모델을 제안하고 실험한다. 효과를 검증하기 위해 일반 키워드 기반 테스트(KBT)와 탐색적 키워드 기반 테스트(KBET)와 비교하였고 탐색적 정상 테스트 사례(ETC) 및 탐색적 키워드 기반 테스트(KBET)와 비교하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권3호
• /
• pp.268-276
• /
• 2002

본 논문에서는 UML 개발도를 이용하여 테스트 데이타를 자동 생성하는 방안을 제안하고, XML 기술을 이용하여 개발한 "테스트 데이타 자동화 도구인 AUTEG(Automatic UML-Based Test Data Generation)"를 "Insurance System"의 사례에 적용한 결과를 분석 기술한다. AUTEG는 전체 시스템을 구성하는 모듈 사이의 인터페이스(interface)영역에 존재하는 오류 추출이 가능한 테스트도(test diagram)와 기존의 화이트 박스 테스트(white-box test)기법을 테스트도에 적용하여 테스트 데이타를 자동 생성한다. 또한 AUTEG는 통합 테스트와 시스템 테스트에 적용할 수 있으며, 사용자가 통합 테스트의 단위 모듈을 자유롭게 그룹화 할 수 있다.

• International Journal of Reliability and Applications
• /
• 제16권2호
• /
• pp.113-122
• /
• 2015

In this paper, we introduce U-statistics approach to generalized Hollander-Proschan test for new better than used (NBUE) alternative. We prove, the proposed test is equivalent to test was introduced by Anis and Mitra (2011) and includes test was introduced by Hollander Proschan (1975). Also, the asymptotic properties are studied. The powers of our test are estimated. The Pitman asymptotic efficiencies of proposed test are also calculated. Finally, the test is applied to some real data.