• Journal of Information Processing Systems
• /
• 제8권2호
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.

• 대한수학회지
• /
• 제35권3호
• /
• pp.741-753
• /
• 1998

Let G(*) be a Borel function applied to a stationary long memory sequence {X$_{i}$} of standard Gaussian random variables. Focusing on the process {G(X$_{i}$)}, the present paper establishes the almost sure representation for the empirical quantile process, that is, Bahadur's representation, and for the empirical process with respect to sample mean. Statistical applications of the representations are also addressed.sed.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 2004년도 춘계학술대회 논문집
• /
• pp.160-165
• /
• 2004

At this research, we examined probability of light bulb's life span value and prediction on purpose to inquire out the span of repeat velocity as fracture probability by executing the fatigue test, which is considered property of Tungsten filament's thermal fatigue used as an automobile bulb. As a result we can confirm what the most suitable solution is weibull distribution and log normal distribution. Tungsten filament's span gets longer as the fatigue repeat velocity gets shorter And, repeat span is about 15%~40% shorter than sequence life span.

• 응용통계연구
• /
• 제24권6호
• /
• pp.1095-1102
• /
• 2011

The classical two-period, two-sequence crossover design is no longer sufficient to assess various demands in a bioequivalence study. For instance, to estimate the within-subject and between-subject variances of test and reference formulations separately, it is necessary to use a replicate design in which each subject receives at least the reference formulation in two periods. Several designs were studied to satisfy the demands. It is provided a unified Bayesian approach applicable to those study designs. The benefit of the method in the bioequivalence study is discussed.

• Journal of the Korean Statistical Society
• /
• 제18권1호
• /
• pp.46-61
• /
• 1989

This paper is concerned with the development of a nonparametric procedure for the statistical inference about the nonlinear regression parameters. A confidence region and a hypothesis testing procedure based on a class of signed linear rank statistics are proposed and the asymptotic distributions of the test statistic both under the null hypothesis and under a sequence of local alternatives are investigated. Some desirable asymptotic properties including the asymptotic relative efficiency are discussed for various score functions.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1987년도 전기.전자공학 학술대회 논문집(II)
• /
• pp.1516-1520
• /
• 1987

This paper proposes fault simulation algorithms for Domino CMOS circuits, The inputs having fanouts are described correctly in the algorithms by modeling the functional block in the Domino CMOS circuits as Modified dependency matrix. The proposed algorithms generate easily the test sequence which can detect the s-a-O, s-a-I, stuckopen faults in the Domino CMOS circuits.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1999년도 추계종합학술대회 논문집
• /
• pp.1027-1030
• /
• 1999

Recently many efforts on the development of automatic processing system for delivery sequence sorting have been performed in ETRI, which requires the use of postal 4 state bar code system to encode delivery points. This paper addresses the issue on the reduction of reading error in postal 4 state raster beam based bar code reader by adjusting measured values of bar code width to its average value over each interval. The test results show that the above method reduces the average reading error rate approximately by 90-100%.

• 산업경영시스템학회지
• /
• 제13권22호
• /
• pp.35-42
• /
• 1990

This paper deals with a single machine scheduling problem with a quadratic penalty function of completion times. The objective is to find a optimal sequence which minimizes the total penalty. A new type of node elimination procedure and precedence relation is developed that determines the ordering between adjacent jobs and is incorporated into a branch and bound algorithm. In addition, modified penalty function is considered and numerical examples are provided to test the effectiveness of the optimum algorithm.

• 품질경영학회지
• /
• 제22권2호
• /
• pp.166-176
• /
• 1994

Some rank score tests are proposed for testing the equality of all sampling distribution functions against ordered location-scale alternatives in k-sample problem. Under the null hypothesis and a contiguous sequence of ordered location-scale alternatives, the asymptotic properties of the proposed test statistics are investigated. Also, the asymptotic local powers are compared with each others. The results show that the proposed tests based on the Hettmansperger-Norton type statistic are more powerful than others for the general ordered location-scale alternatives. However, the Shiraishi's tests based on the sum of two Bartholomew's rank analogue statistics are robust.

• 아동학회지
• /
• 제20권2호
• /
• pp.187-204
• /
• 1999

The 20 five-year-old kindergarteners in the experimental group participated in 14 art criticism activities over an 8 week period. Analysis of the data by frequency, percentage, and t-test showed differences between the experimental and control groups. The experimental group improved in Visual Cue-Attendance and Evaluative Judgmental categories. Children in the experimental group also showed higher scores in organization of pictures and materials in their expressive art work. There were no differences between groups in sequence and contents of expression.