• Journal of KIISE
• /
• v.41 no.10
• /
• pp.774-784
• /
• 2014

Studies of fault-injection into state machine diagram have been studied for generating robustness test cases. Conventional studies have, however, tended to inject too many faults into diagrams because they only have considered structural aspects of diagrams. In this paper, we propose a method that aims to reduce the number of injected fault without a decrease in effectivenss of robustness test. A proposed method is demonstrated using a microwave oven sate machine diagram and evaluated using a hash table state machine diagram. The result of the evaluation shows that the number of injected faults is decreased by 43% and the number of test cases is decreased by 63% without a decrease in effectiveness of hash table robustness test.

• Journal of Korea Multimedia Society
• /
• v.9 no.5
• /
• pp.576-584
• /
• 2006

Content-based video matching is measuring a similarity of video signature compared to the original clip and copies of media. Specially, it is very important to match the exact frame position, but it depends on frame rate, noise condition and compression format of video. Ordinal signature shows good performance than other video signatures under normal condition but the previous didn't try to find the uniqueness and robustness. Hua et al. performed a uniqueness test under compressed in different formats or frame size. However, they used other compression format image instead of noise in robustness test. This paper proposes robustness test method using several noise models and analyzes the performance of robustness and uniqueness.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.10a
• /
• pp.965-968
• /
• 2004

This paper describes the development of the test path for Eclipse-II, a parallel mechanism motion simulator. Eclipse-II which can be used as a base for general motion simulators, enables unlimited continuous 360-degree spinning in any rotational axes plus finite X, Y, and Z translation motions. The advantage of enabling continuous 360-degree spinning allows various motions for virtual reality. In this paper, the development of the test path to verify the robustness of the Eclipse-II motion simulator is described. The test motions, which satisfy the requirements of test path, are suggested and washout filter enables these motions reproduced in the limited workspace. The trial run is conducted to verify the robustness of the Eclipse-II motion simulator. Additionally the standard data format of virtual reality for Eclipse-II One Man Ride is suggested.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.5
• /
• pp.1099-1116
• /
• 2019

Industrial control systems(ICS) are widely used in various industrial area and critical infrastructure. To mitigate security threats on ICS, the security assurance test for industrial control devices has been introduced and operating. The test includes testing of the security function of the device itself and testing of communication robustness. In this paper, we describe the security requirements of EDSA, Achilles, and Korea's TTA standard(security requirements for ICS). And also, we analyzed the characteristics of communication robustness test(CRT) of each certification. CRT verifies the device's operation of essential function while transmitting fuzzing and stress packets. Existing test methods are mostly focused on the embedded devices and are difficult to apply to various devices. We propose a method to test communication robustness which reflect the characteristics of control H/W, control S/W, field devices and network devices in ICS. In the future, we will apply the proposed communication robustness test to actual products and present solutions for arising issues.

• Communications for Statistical Applications and Methods
• /
• v.4 no.3
• /
• pp.787-793
• /
• 1997

It is well known that the assumption of independence is ofter not valid for real data. This phenomenon has been observed empirically by many prominent scientists. In this article the sensitivity of dependence on Bayes test of a sharp null hypothesis is considered. The robustness is considered with respect to the significant level and the prior probability on the null hypothesis.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.630-635
• /
• 1993

In this paper, the Monte-Carlo method was applied to the controller robustness evaluation problems with respect to the uncertainty of critical plant parameters. The plant studied is a aerial vehicle. The-variable parameters are nondimensional stability derivatives, inertias. The nominal nondimensional stability derivatives ,were obtained from wind tunnel test. Also the nominal inertia parameters were calculated from the mass distribution along the vehicle axes. But the parameters obtained from the test or calculations are at best probable and always contain some uncertainties which one can not figure out. So some kinds of robustness evaluation method should be applied. The parametric robustness of the designed classical controller evaluated by the method turned out to be satisfactory.

• Communications for Statistical Applications and Methods
• /
• v.4 no.2
• /
• pp.581-588
• /
• 1997

Univariate F test is based on the multisample sphericity assumption. Robustness for tests of a main effect of the within-subjects factor was investigated when the assumptions of the onmibus F tests are violated in a split-plot design with one between-subjects factor using untrimmed data and trimmed data. The results indicate that when sample sizes are unbalanced and dispersion matrices are heterogeneous, the CIGA and the $CIGA_T$ tests better control Type I error rates than do the $F_T$test and the$\widetilde{\xi_T}$test.

• Journal of KIISE:Computer Systems and Theory
• /
• v.34 no.8
• /
• pp.348-366
• /
• 2007

Capacity of modem storage devices is becoming larger than yesterday and integration of disk is increasing. It refers that physical errors can damage a lot of digital information on storage devices. So we propose file system test framework in this paper to test integrity and robustness of file systems. We develop the tool for generating bad sectors on disks and the tool which creates all physical errors defined in storage devices. We also develop the tool for immediately monitoring the condition of read and write execution on storage devices. So, by integrating those tools, we develop FORT, test framework for confirming robustness of file system. We analyze robustness of ext3 file systems by FORT. Lastly, we present draft of intelligent system merging file system and device driver's layer architecture.

• Communications for Statistical Applications and Methods
• /
• v.4 no.3
• /
• pp.775-785
• /
• 1997

Robustness rates for repeated measures pairwise multiple comparison procedures were investigated in a split plot design with one between- and one within-subjects factor using untrimmed and trimmed data. Five factors were manipulated in the study: distribution, sphericity, variance-covariance heteroscedasticity, total sample size, and sample size ratio. The Welsch test (W) and the Welsch test on trimmed data $(W_{RT})$ performed better than the other procedures, but had a liberal tendency. The trimmed difference score Bonferroni Procedure $(B_{DT})$ was a good choice in some conditions.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.53 no.9
• /
• pp.663-669
• /
• 2004

The mobile tole-cardiology system is the new research area that support an ubiquitous health care based on mobile telecommunication networks. Although there are many researches presenting the modeling concepts of a GSM-based mobile telemedical system, practical application needs to be considered both compression performance and error corruption in the mobile environment. This paper evaluates three wavelet ECG compression algorithms over CDMA networks. The three selected methods are Rajoub using EPE thresholding, Embedded Zerotree Wavelet(EZW) and Wavelet transform Higher Order Statistics Coding(WHOSC) with linear prediction. All methodologies protected more significant information using Forward Error Correction coding and measured not only compression performance in noise-free but also error robustness and delay profile in CDMA environment. In addition, from the field test we analyzed the PRD for movement speed and the features of CDMA 1X. The test results show that Rajoub has low robustness over high error attack and EZW contributes to more efficient exploitation in variable bandwidth and high error. WHOSC has high robustness in overall BER but loses performance about particular abnormal ECG.