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

소프트웨어 테스트는 시스템의 신뢰도를 판단하는 중요한 작업이지만, 많은 노력과 비용이 요구된다. 모델 기반 테스트는 시스템 요구사항을 정형적으로 표현한 모델로부터 테스트 설계를 자동화함으로써 이러한 비용을 줄이기 위한 방안으로 제안되었다. 모델의 각 경로마다 입력값을 생성하여 테스트를 수행하는데, 이 때, 적절한 입력 값을 찾기 위해 메타-휴리스틱 기법을 사용한다. 본 논문은 슬라이싱 기법과 우선순위 정책을 적용한 테스트 데이터 자동 생성 기법을 제안하며, 목적 경로와 관련이 없는 변수를 제외하여 불필요한 계산을 억제한다. 실험을 통해 기존의 기법보다 효과적으로 테스트 데이터를 생성함을 보인다.

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

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

• 대한전자공학회논문지SD
• /
• 제38권4호
• /
• pp.266-276
• /
• 2001

빠른 반도체 기술의 발전으로 인하여 VLSI 회로의 복잡도는 크게 증가하고 있다. 그래서 복잡한 회로를 테스팅하는 것은 아주 어려운 문제로 대두되고 있다. 또한 집적회로의 증가된 집적도로 인하여 여러 가지 형태의 고장이 발생하게 됨으로써 테스팅은 더욱 중요한 문제로 대두되고 있다. 이제까지 일반적으로 지연 고장 테스팅에 대한 신뢰도는 가정된 고장의 개수에 대한 검출된 고장의 개수로 표현되는 전통적인 고장 검출율로서 평가되었다. 그러나 기존의 교장 검출율은 고장 존재의 유무만을 고려한 것으로써 실제의 지연 고장 테스팅에 대한 신뢰도와는 거리가 있다. 지연 고장 테스팅은 고착 고장과는 달리 경로의 진행 지연과 지연 결함 크기 그리고 시스템 동작 클럭 주기에 의존하기 때문이다. 본 논문은 테스트 중인 경로의 진행 지연과 지연 결함 크기를 고려한 새로운 고장 검출율 메트릭으로서지연 결함 고장 검출율(delay defect fault coverage)을 제안하였으며, 지연 결함 고장 검출율과 결함 수준(defect level)과의 관계를 분석하였다.

• 제어로봇시스템학회논문지
• /
• 제16권5호
• /
• pp.498-509
• /
• 2010

In this paper, a waypoint guidance law Line Tracking algorithm is designed for testing an Unmanned Airship. In order to verify, we develop an autonomous flight control and test system of unmanned airship. The flight test system is composed FCC (Flight Control Computer), GCS (Ground Control System), Autopilot & Guidance program, GUI (Graphic User Interface) based analysis program, and Test Log Sheet for the management of flight test data. It contains flight test results of single-path & multi-path following, one point continuation turn, LOS guidance, and safe mode for emergency.

• 한국지반공학회논문집
• /
• 제22권1호
• /
• pp.5-14
• /
• 2006

본 연구에서는 평면변형률조건하에서 발생 가능한 다양한 응력조건을 보다 자유롭게 구현할 수 있는 간편한 형태의 평면변형률 시험장비를 새롭게 개발하였다. 개발된 시험장비의 적용성은 먼저 이상화된 가정조건하에서 이론적으로 검토되었으며, 실제 점성토시료에 대한. 일련의 평면변형률시험을 통해 실험적으로 확인 검증되었다. 그 결과 개발된 시험장비는 기존의 평면변형률 시험장비들에 비해 광범위한 적용성을 가지고 있음을 확인할 수 있었다. 또한 개발된 시험장비는 일반적인 삼축시험용 재하장치만으로도 다양한 응력조건에 대한 평면변형률시험이 가능하므로, 향후 관련분야에서 그 활용도가 매우 높을 것으로 기대된다.

• ETRI Journal
• /
• 제23권3호
• /
• pp.138-149
• /
• 2001

Due to the rapidly growing complexity of VLSI circuits, test methodologies based on delay testing become popular. However, most approaches cannot handle custom logic blocks which are described by logic functions rather than by circuit primitive elements. To overcome this problem, a new path delay test generation algorithm is developed for custom designs. The results using benchmark circuits and real designs prove the efficiency of the new algorithm. The new test generation algorithm can be applied to designs employing intellectual property (IP) circuits whose implementation details are either unknown or unavailable.

• 비파괴검사학회지
• /
• 제9권1호
• /
• pp.39-47
• /
• 1989

As the necessity of the safety diagnosis of the concrete structure, more reliable ultrasonic technique to qualify the concrete is required. In this study, the artificial surface crack depth is measured using several types of the ultrasonic probes. As results, the horizontal shear wave probe is most useful to determine the crack depth compared to the other probes. For the surface wave probe, the ultrasonic wave path is changed with the surface crack depth.

• 한국기계가공학회지
• /
• 제16권3호
• /
• pp.1-8
• /
• 2017

Tool path generation is a part of process planning in 3D printing. This is done before actual printing by a computer rather than an AM machine. The mesh geometry of the 3D model is sliced layer-by-layer along the Z-axis and tool paths are generated from the sliced layers. Each 2-dimensional layer can have two types of printing paths: (i) shell and (ii) infill. Shell paths are made of offset loops. During shell generation, twists can be produced in offset loops which will cause twisted tool paths. As a twisted tool path cannot be printed, it is necessary to remove these twists during process planning. In this research, An algorithm is presented to remove twists from the offset loops. To do so the path segments are traversed to identify twisted points. Outer offset loops are represented in the counter-clockwise segment order and clockwise rotation for the inner offset loop to decide which twisted loop should be removed. After testing practical 3D models, the proposed algorithm is verified to use in tool path generation for 3D printing.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제49권11호
• /
• pp.637-642
• /
• 2000

IEEE 1149.1 boundary scan architecture is used as a standard in board-level system testing. The simplicity of this architecture is an advantage in system testing, but at the same time, it it makes a limitation of applications. Because of several problems such as 3-state net conflicts, or ambiguity issues, interconnect testing for multi-drop multi-board systems is more difficult than that of single board systems. A new approach using IEEE 1149.1 boundary scan architecture for multi-drop multi-board systems is developed in this paper. Adding boundary scan cells on backplane bus lines, each board has a complete scan-chain for interconnect test. This new scan-path insertion method on backplane bus using limited 1149.1 test bus less area overhead and mord efficient than previous approaches.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2017년도 추계 학술논문 발표대회
• /
• pp.47-48
• /
• 2017

The substrate behavior response testing outlined in KS F 2622 evaluates the leakage cause of waterproofing membrane systems when subjected to the concrete joint load behaviors by removing the waterproofing layer after testing, relying mostly on visual observation and subjective analysis. A non-destructive leakage cause and failure type analysis method is proposed currently in this study by the means of detecting leakage paths using thermal emission imaging systems. Test specimens are placed in varying temperature conditions after the concrete joint movement testing and are scanned using the thermal emission camera to determine the location and dimension of the adhesion failure/leakage path beneath the waterproofing membranes.