• ETRI Journal
• /
• v.30 no.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.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.63 no.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
• /
• v.9 no.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.

• Journal of KIISE:Computing Practices and Letters
• /
• v.9 no.2
• /
• pp.123-132
• /
• 2003

The quality certification test is usually conducted by a certifying organization to determine and guarantee the quality of software after the software development phase, commonly without the actual source code, but with by going against the product's manual. In this paper, we implement a Manual-based Automatic Test data generating tool: MaT, the test technique based on manual, that automatizes producing the test data from analysis data of software package and manual. The input data of MaT are the result of the analysis of software and manual. We propose 'menu-based test analysis model' in order to generate the input data. We believe that the proposed technique and tool he]p improving quality and reliability of the software.

• International Journal of Reliability and Applications
• /
• v.8 no.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.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.23 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.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.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.7
• /
• pp.471-478
• /
• 2013

This paper proposes a black-box based test case generation method for Simulink/Stateflow model utilizing the RRT algorithm which is a method to efficiently solve the path planning for complicated systems. The proposed method in the paper tries to solve the reachability problem with the RRT algorithm, which has to be solved for black-box based test case generations. A major problem of the RRT based test case generation algorithms is that the cost such as running time and required memory size is too much for complicated Stateflow model. The typical RRT algorithm expands rapidly-exploring random tree (RRT) in a single state space. But the proposed method expands it in dynamic state space based on the state of Simulink model, consequently reducing the cost. In the paper, a new definition of RRT state space, a distance measure and a test case generation algorithm are proposed. The performance of proposed method is verified through the experiment against Stateflow model.

• Journal of Korean Ophthalmic Optics Society
• /
• v.18 no.2
• /
• pp.93-99
• /
• 2013

Purpose: The aim of this study was to develop a dry eye test method using a paper based microfluidic device that improves inaccuracy caused by using one of current point-of-care dry eye tests such as Shirmer's. Methods: Wax printed hydrophilic chromatography papers were dyed with anthocyanin extracts to detect colorimetric display of liquid samples with varying pH. Fluid distribution rates were measured using artificial tears and human tears directly from 32 subjects. Results: With Shirmer's, fluid distribution rates with small amount of samples (less than $0.5{\mu}l$) were not displayed. However, with paper based microfluidic device, fluid imbibition distances over time were clearly showed. Also clinical results of dry eye from newly developed paper based microfluidic device showed correlation with the results from tear break up time tests. Conclusions: The newly developed paper based microfluidic devices were easy to use and exhibited more accurate clinical results than current dry eye point of care tests such as Shirmer's.

• Journal of Korea Technical Association of The Pulp and Paper Industry
• /
• v.36 no.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.