• 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 Applied Reliability
• /
• v.13 no.4
• /
• pp.241-252
• /
• 2013

Because of financial and safety concerns, there are needs for more accurate prediction of bridge behavior. Underestimation of the bridge load carrying capacity can have serious economic consequences, as deficient bridges must be repaired or rehabilitated. Therefore, the knowledge of the actual bridge behavior under live load may lead to a more realistic calculation of the load carrying capacity and eventually this may allow for more bridges to remain in service with or without minor repairs. The presented research is focused on the reliability evaluation of the actual load carrying capacity of existing bridges based on the field testing. Seventeen existing bridges were tested under truck load to confirm their adequacy of reliability. The actual response of existing bridge structures under live load is measured. Reliability analysis is performed on the selected representative bridges designed in accordance with AASHTO codes for bridge component (girder). Bridges are first evaluated based on the code specified values and design resistance. However, after the field testing program, it is possible to apply the experimental results into the bridge reliability evaluation procedures. Therefore, the actual response of bridge structures, including unintentional composite action, partial fixity of supports, and contribution of nonstructural members are considered in the bridge reliability evaluation. The girder distribution factors obtained from the tests are also applied in the reliability calculation. The results indicate that the reliability indices of selected bridges can be significantly increased by reducing uncertainties without sacrificing the safety of structures, by including the result of field measurement data into calculation.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.17 no.2
• /
• pp.213-222
• /
• 2014

In this paper, we introduce that MAAB style guideline has effects on the codes generated from Simulink models for static and dynamic software testing, when weapon system embedded software design and implementation are performed using the model based method. As showing the effects, MAAB guideline is helpful for defect prevention related with coding rules and run time errors associated with the DAPA weapon system embedded software guide. Thus, we check related items between MAAB and DAPA software reliability testing including static and dynamic analysis. And then we propose the criterion to select proper items from MAAB for DAPA guideline and show how to verify the relationship and the effects on reliability of models in Simulink. In addition, we show the needs for clear logics in conditional block models or statements and simple complexity models for Simulink model based design.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.23 no.6
• /
• pp.605-615
• /
• 2003

In practice, it is common to manufacture reference blocks containing simple reflectors to obtain distance-amplitude correction (DAC) curves. However, the construction or DAC curves in this manner requires the use of a large number of specimens with appropriate curvatures and reference reflectors located at various depths. Therefore, less costly and quantitative procedures are strongly needed. To address such a need, in this study, we have developed model-based transfer curves to relate a DAC curve obtained in a particular reference configuration with that for a completely different configuration. An example of transferring DAC curves, using the proposed transfer curves, is given.

• International Journal of Railway
• /
• v.4 no.1
• /
• pp.5-11
• /
• 2011

The purpose of the present study is to develop conceptual design of a railway vehicle simulator based on a scaled model. Although the scaled simulator is limited in its ability to manipulate the full dynamics of a full-size railway vehicle, it has been known to have an advantage in that it could provide means of testing the fundamental dynamic behavior within a limited laboratory space and at low operation cost. The present study proposes a design strategy for a simulator so that a small scaled roller rig could be fabricated and operated in laboratory setting based on the design philosophy. The data obtained from experimental testing using a scale model can be used to verify and interpret the dynamic performance of full-scale railway vehicle by applying appropriate non-dimensional analysis.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.10 no.1
• /
• pp.24-28
• /
• 1990

Centrifugally Cast Stainless Steel generally shows similar structure to the weld in austenitic stainless steel in the point of casting. When examining this material ultrasonically, the beam does not generally propagate straightforward but rather deviates from its original direction and this phenomenon called skewing is originally caused by anisotropic material. In order to calculate the beam skewing effect theoretically, work has been performed based on a model approach which has regarded material itself as having been composed of multi-layered columnar dendrite structure and the result was compared with the one from experiment. The result from both theory and experiment showed good correlation and ultrasonic beam showed the least skewing with around 45 degree incident angle.

• Communications for Statistical Applications and Methods
• /
• v.8 no.3
• /
• pp.603-613
• /
• 2001

A test based on score statistic is derived for detecting homoscedasticity of errors in unbalanced random effects linear model. A small simulation study is performed to investigate the finite sample behaviour of the test statistic which is known to have an asymptotic chi-square distribution under the null hypothesis.

• KIISE Transactions on Computing Practices
• /
• v.22 no.1
• /
• pp.32-37
• /
• 2016

In model-based testing using sequence diagrams, test cases are automatically derived from the sequence diagrams. For the generation of test cases, scenarios need to be found for representing as a sequence diagram, and to extract test paths satisfying the test coverage. However, it is hard to automatically extract test paths from the sequence diagram because a sequence diagram represents loop, opt, and alt information using CombinedFragments. To resolve this problem, we propose a transformation process that transforms a sequence diagram into an activity diagram which represents scenarios as a type of control flows. In addition, we generate test cases from the activity diagram by applying a test coverage concept. Finally, we present a case study for test cases generation from a sequence diagram.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.20 no.6
• /
• pp.331-345
• /
• 2021

Virtual testing is considered a major requirement for the safety verification of autonomous driving functions. For virtual testing, both the autonomous vehicle and the driving environment should be modeled appropriately. In particular, a realistic modeling of the perception sensor system such as the one having a camera and radar is important. However, research on modeling to consistently generate realistic perception results is lacking. Therefore, this paper presents a sensor modeling method to provide realistic object detection results in a MILS (Model in the Loop Simulation) environment. First, the key parameters for modeling are defined, and the object detection characteristics of actual cameras and radar sensors are analyzed. Then, the detection characteristics of a sensor modeled in a simulation environment, based on the analysis results, are validated through a correlation coefficient analysis that considers an actual sensor.

• Journal of The Korean Association For Science Education
• /
• v.15 no.4
• /
• pp.417-428
• /
• 1995

This study investigated Korean science teachers' concerns and needs regarding inquiry testing to cope with the innovation called College Scholastic Abilities Test(CSAT), which was officially first administered as the nation-wide college entrance exam in 1994. This study adopted Concerns Based Adoption Model(CBAM) as the theoretical framework developed by Hall et al. 60 high science teachers (30 physics, 20 earth science, 10 others) were involved for the main study in August, 1992. In general. science teachers demonstrated a concern profile similar to that of 'nonusers'. They showed high level of concerns on the 'information' and 'personal' stage, while low level of concerns on 'management' and 'consequence' stage. Science teachers expressed their strong needs for knowledge and support to facilitate inquiry teaching and testing, text books written in inquiry mode. It is recommended that in-service trainings be provided based on the concerns and needs of teachers for a better teacher training and successful implementation of the innovation.