• ETRI Journal
• /
• 제30권1호
• /
• pp.129-140
• /
• 2008

In this paper, we propose a novel ant colony optimization (ACO)-based test scheduling method for testing network-on-chip (NoC)-based systems-on-chip (SoCs), on the assumption that the test platform, including specific methods and configurations such as test packet routing, generation, and absorption, is installed. The ACO metaheuristic model, inspired by the ant's foraging behavior, can autonomously find better results by exploring more solution space. The proposed method efficiently combines the rectangle packing method with ACO and improves the scheduling results by dynamically choosing the test-access-mechanism widths for cores and changing the testing orders. The power dissipation and variable test clock mode are also considered. Experimental results using ITC'02 benchmark circuits show that the proposed algorithm can efficiently reduce overall test time. Moreover, the computation time of the algorithm is less than a few seconds in most cases.

• 전기학회논문지
• /
• 제63권5호
• /
• pp.703-712
• /
• 2014

To improve the efficiency and safety of railway systems, the train control system has been considerably evolved from the ground-equipment-based control system (e.g. track circuit, interlocking system, etc.) into the on-board-equipment-based control system. In addition, this train control system enables the rolling stock to intelligently control the trackside facilities by introducing the information and communication technologies (ICT). Accordingly, since the ICT-based train control system makes the railway system be simplified (i.e. the heavy ground-equipment can be removed), the efficient and cost-effective railway system can be realized. In this paper, we perform the feasibility test of the ICT-based train control system via a simulation. To this end, we have developed the prototypes of the on-board controller and wayside object control units which control the point and crossing gate and performed the integrated operation simulation in a testbed. In this paper, before the field test of the on-board-controller-based train control system, we perform the Consecutive operation test for prototypes of the on-board controller, wayside object control units and local control computer.

• Journal of Electrical Engineering and Technology
• /
• 제9권3호
• /
• pp.1002-1008
• /
• 2014

This paper describes insulation design and its reliability evaluation of ${\pm}80kV$ HVDC XLPE cable. Recently, the construction of HVDC transmission system, which is combined overhead line with underground cable, has been completed. This system is installed with existing 154 kV AC transmission line on the same tower. In this paper, the lightning transient analysis is firstly reviewed for selection of basic impulse insulation level and nominal insulation thickness. Then the electrical performance tests including load cycle test and superimposed impulse test based on CIGRE TB 496 are performed to evaluate the reliability of newly designed HVDC cable. There is no breakdown for ${\pm}80kV$ HVDC XLPE cable during electrical performance test. Finally, this system is installed in Jeju island based on successful electrical performance test (Type test). After installation tests are also successfully completed.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제9권2호
• /
• pp.123-132
• /
• 2003

품질 인증 테스트는 소프트웨어의 품질을 결정하고 보증하기 위하여 인증 기관에서 제품 개발 후에 수행하는 테스트로써 해당 제품의 소스 코드 없이 제품 매뉴얼의 분석을 통하여 테스트가 이루어지는 경우가 대부분이다. 본 논문에서는 제품 매뉴얼에 기반한 테스트 데이타 생성을 위하여, 소프트웨어 패키지와 매뉴얼 분석 데이타로부터 테스트 데이타를 생성하는 것을 자동화한 '테스트 데이터 자동 생성 도구'(Manual-based Automatic Test data generating tool: MaT)를 구현한다. MaT의 입력 데이타는 소프트웨어 패키지와 매뉴얼의 분석 결과인데, 입력 데이타 구성을 위하여 '메뉴 기반 테스트 분석 모델'을 제안한다. 본 도구를 소프트웨어 패키지의 품질 인증 테스트에 적용함으로써 품질과 신뢰도가 향상된 소프트웨어 제품 개발에 기여할 수 있게 된다.

• International Journal of Reliability and Applications
• /
• 제8권1호
• /
• pp.41-51
• /
• 2007

In this paper, we use the moments of order statistics derived by Lieblein (1955) to develop the correlation goodness-of-fit test for the Rayleigh distribution. In such we simulate the percentage points of the test statistics for the one-parameter and two-parameter cases. In addition, we calculate the power of the proposed tests based on some alterative distributions. Finally, we apply the procedures developed in the paper to some real data.

• 한국군사과학기술학회지
• /
• 제23권4호
• /
• pp.389-398
• /
• 2020

Test cases in the existing weapon system software were created manually by the tester analyzing the test items defined in the software integration test procedure. However, existing test case generation method has two limitations. First, the quality of test cases can vary depending on the tester's ability to analyze the test items. Second, excessive time and cost may be incurred in writing test cases. This paper proposes a method to automatically generate test cases based on the requirements model and specifications to overcome the limitations of the existing weapon system software test case generation. Generate test sequences and test data based on the use case event model, a model representing the requirements of the weapon system software, and the use case specification specifying the requirements. The proposed method was applied to 8 target models constituting the avionics control system, producing 30 test sequences and 8 test data.

• 대한수학회보
• /
• 제48권4호
• /
• pp.839-845
• /
• 2011

In this paper, we consider the cusum of squares test for the dispersion parameter in stochastic differential equation models. It is shown that the test has a limiting distribution of the sup of a Brownian bridge, unaffected by the drift parameter estimation. A simulation result is provided for illustration.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제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권2호
• /
• pp.93-99
• /
• 2013

목적: 본 연구는 현장현시 건성안 진단 테스트 중에 현재 사용되고 있으나 부정확한 결과로 신뢰도가 떨어지는 쉬르머 용지를 대체 할 수 있는 차세대 건성안 진단 테스트 용지를 미세유체공학을 이용하여 개발하고자 하였다. 방법: 왁스로 패턴을 제조한 친수성 크로마토그래피 용지를 pH에 따른 색 변화가 나타나도록 안토시안으로 염색을 하였다. 인공 누액의 젖음 속도를 인공 누액과 32명의 참가자의 눈물을 이용하여 임상 측정하였다. 결과: 인공 누액을 이용하였을 경우 쉬르머 용지에서는 소량의 용액은(0.5 ml이하) 흡수거리가 도출되지 않았으나 새로 개발된 용지는 시간에 따른 인공 누액의 흡수거리가 확연히 나타났다. 임상실험에서도 새로 개발된 검사 용지는 TBUT (tear break-up time)결과와 부합하는 건성안 진단 결과를 보였다. 결론: 개발된 건성안 진단 용지는 간편하게 사용될 수 있을 뿐만 아니라 기존 쉬르머 용지와 같은 현장현시 건성안 진단 매체와 비교 했을 경우 건성안 판별의 정확성이 높았다.

• 펄프종이기술
• /
• 제36권1호
• /
• pp.1-8
• /
• 2004

One of the most frequently used method for measurement of the degree of sizing (viz., hydrophobicity) is the Stockigt test. However, the Stockigt test was influenced by various factors such as dropping height, dropping amount, dropping speed and viewing angle. The resultant data of the sizing degree on the same specimen also varied according to different testers. Thus, the Stockigt test should be modified to be regarded as a highly reliable and reproducible standard method. For modifying the Stockigt test, it was required to quantify red coloration by reaction between 1％ ferric chloride and 2％ ammonium thiocyante during Stockigt testing. The cameras capturing the serial images during the red coloration process were the CMOS (Complementary Metal Oxide Semiconductor)-type and CCD (Charge Coupled Device)-type cameras. For measurement based on KS M 7025, the CCD-type camera must be used due to its high resolution, and on the other hand, for measurement based on Tappi Useful Method 429, the CMOS-type camera may be used owing to its low resolution. It was needed to covert the RGB values of a droplet image into HSV(Hue, Saturation, and Value) values because the human eyes are much closer to HSV than RGB. Among HSV values, the Hue value was accepted as the most reliable index consistent with the red coloration process by excluding the surrounding conditions such as light, tester's movement etc.