• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제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 모델을 기반으로 한 테스트 케이스 생성실험을 통해 제안된 알고리즘의 성능을 보인다.

• Journal of the Korean Data and Information Science Society
• /
• 제27권2호
• /
• pp.559-564
• /
• 2016

The Durbin-Watson (DW) test in regression model and the Ljung-Box (LB) test in ARMA (autoregressive moving average) model are typical examples of correlated error tests. The DW test is used for detecting autocorrelation of errors using the residuals from a regression analysis. The LB test is used for specifying the correct ARMA model using the first some sample autocorrelations based on the residuals of a tted ARMA model. In this article, simulations with four data generating processes have been carried out to evaluate their performances as correlated error tests. Our simulations show that the DW test is severely dependent on the assumed AR(1) model but isn't sensitive enough to reject the misspecified model and that the LB test reports lackluster performance in general.

• 대한기계학회논문집A
• /
• 제26권8호
• /
• pp.1577-1584
• /
• 2002

This paper develops a finite element model for studying the occupant behavior and injury cofficients of a large-sized cab-over type truck. Since it does not have a room to absorb collision energy and deformation in front of the passenger compartment the deformation is directly transmitted to the passenger compartment. Moreover, since its steering column is attached on the frame, severe deformation of the frame directly affects on the steering wheel's movement. Therefore, if the occupant behavior and injury coefficients analysis is performed using a finite element model developed based on a sled test, it is very difficult to expect acquiring satisfactory results. Thus, the finite element model developing in this paper is based on the frontal crash test in order to overcome the inherent problems of the sled test based model commonly used in the passenger car. The occupant behavior and injury coefficients analysis is performed using PAM-CRASH installed in super-computer SP2. In order to validate the reliability of the developed finite element model, a frontal crash test is carried out according to a test method used fur developing truck occupant's secondary safety system in european community and japan. That is, test vehicle's collision direction is vertical to the rigid barrier and collision velocity is 45kph. Thus, measured vehicle pulses at the lower parts of the left and right B-pilla., dummy chest and head deceleration profiles, HIC(head injury criterial) and CA(chest acceleration) values, and dummy behavior from the frontal crash test are compared to the analysis results to validate reliability of the developed model.

• Journal of the Korean Statistical Society
• /
• 제25권3호
• /
• pp.347-358
• /
• 1996

A new test for goodness-of-fit is presented. It is a modification of a test of LaRiccia (1991). These tests are applicable to continuous lo-cation/scale models. The new test statistic is based on a few selected order statistics taken from the sample, while the LaRiccia test is based directly on the full sample. Each test embeds the hypothesized model in a larger linear model and proceeds to test the goodness-of-fit hy-pothesis by testing the coefficients of this linear model appropriately. The general theory is presented. The tests are compared via computer simulation to a related test of Ali and Umbach (1989) for distributions that could be used as lifetime models. An important aspect of all these tests is that only standard $X_2$ tables are used. Selection of the spacings of the order statistics is discussed.

• 대한기계학회논문집B
• /
• 제27권7호
• /
• pp.853-858
• /
• 2003

The suitable estimation of the filter width in the dynamic eddy viscosity model were investigated in high Reynolds number channel flow. In this study, the improvement on matters by optimizing the test filter shape was attempted through the numerical experiment. The way that select optimum test filter width is recommended. Some test filters, one is based on a discrete representation of the top-hat filter and another are based on a high-order filtering operation, are evaluated in simulations of the turbulent channel flow at Reynolds number 1020, based on friction velocity and channel half width. It appears that the estimation of test filter width practically can decrease the dissipative nature of dynamic eddy viscosity model with explicit test filter. It shows that the value of the filter width ratio used in the dynamic procedure must match the properties of the test filter actually used in the calculation.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권12호
• /
• pp.829-840
• /
• 2013

본 논문은 Simulink/Stateflow 모델 기반의 테스트 케이스를 자동으로 생성하기 위하여, 휴리스틱 입력 분석을 이용한 Rapidly-exploring Random Tree(RRT) 기법을 제안한다. RRT는 모델 기반 블랙박스 테스트 케이스 생성 시 반드시 해결해야 되는 도달 가능성 문제를 효율적으로 해결할 수 있는 방법이지만, 모델의 내부 상태와 테스트 목표를 고려하지 않고 무작위로 모델의 입력을 생성하기 때문에 테스트 케이스 생성 효율이 떨어지는 단점이 있다. 제안하는 기법에서는 RRT를 확장해나갈 때 필요한 입력을, 모델의 현재 상태에서 만족 할 수 있는 테스트 목표를 분석하고 이를 달성할 수 있는 모델의 입력을 분석 결과에 따라 휴리스틱하게 결정함으로써, RRT의 장점을 보존하면서, 테스트 케이스 생성 효율을 높일 수 있다. 제안된 기법은 자동차에 사용되는 실 부품 ECU의 Simulink/Stateflow 모델을 대상으로 한 실험을 통해 성능이 평가되었으며, 기존 RRT와 비교하여 테스트 케이스 생성 효율이 높은 것을 보였다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 하계종합학술대회 논문집(2)
• /
• pp.137-140
• /
• 2000

In this paper, we have proposed an efficient test generation method for asynchronous circuits. The test generation is based on specification level, especially on Signal Transition Graph(STG)〔1〕 which is a kind of specification method for asynchronous circuits. To conduct a high-level test generation, we have defined a high-level fault model, called single State Transition Fault(STF) model on STG and proposed a test generation algorithm for STF model. The effectiveness of the proposed fault model and its test generation algorithm is shown by experimental results on a set of benchmarks given in the form of STG. Experimental results show that the generated test for the proposed fault model achieves high fault coverage over single input stuck-at fault model with low cost. We have also proposed extended STF model with additional gate-level information to achieve higher fault coverage in cost of longer execution time.

• International Journal of Reliability and Applications
• /
• 제6권1호
• /
• pp.31-39
• /
• 2005

An economic life test sampling plan for products with exponential lifetime distribution is developed. To reduce test time, a test plan with curtailed Type II censoring is considered. A cost model is constructed which involves three cost components; test cost, accept cost, and reject cost. Determination of optimal plan minimizing the expected average cost per lot is discussed with a constraint related to consumer's risk. Some numerical examples are provided.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2007년도 춘계학술대회A
• /
• pp.855-860
• /
• 2007

This paper describes a human driver model developed based on finite preview optimal control method. The human driver steering model is constructed to minimize a performance index which is a quadratic form of lateral position error, yaw angle error and steering input. Simulation studies are conducted using a vehicle simulation software, Carsim. The Carsim vehicle model is validated using vehicle test data. In order to validate the human driving steering model, the human driver steering model is compared to the driving data on a virtual test track(VTT) and the actual vehicle test data. It is shown that human driver steering behaviors can be well represented by the human driver steering model presented in this paper

• Computers and Concrete
• /
• 제32권5호
• /
• pp.465-474
• /
• 2023

The point load test (PLT) is a widely-used alternative method in the field to determine the uniaxial compressive strength due to its simple testing machine and procedure. The point load test index can estimate the uniaxial compressive strength through conversion factors based on the rock types. However, the mechanism correlating these two parameters and the influence of the mechanical properties on PLT results are still not well understood. This study proposed a theoretical model to understand the mechanism of PLT serving as an alternative to the UCS test based on laboratory observation and literature survey. This model found that the point load test is a self-confined compression test. There is a compressive ellipsoid near the loading axis, whose dilation forms a tensile ring that provides confinement on this ellipsoid. The peak load of a point load test is linearly positive correlated to the tensile strength and negatively correlated to the Poisson ratio. The model was then verified using numerical and experimental approaches. In numerical verification, the PLT discs were simulated using flat-joint BPM of PFC3D to model the force distribution, crack propagation and BPM properties' effect with calibrated micro-parameters from laboratory UCS test and point load test of Berea sandstones. It further verified the mechanism experimentally by conducting a uniaxial compressive test, Brazilian test, and point load test on four different rocks. The findings from this study can explain the mechanism and improve the understanding of point load in determining uniaxial compressive strength.