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

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제13권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.

• 한국군사과학기술학회지
• /
• 제17권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.

• 비파괴검사학회지
• /
• 제23권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
• /
• 제4권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.

• 비파괴검사학회지
• /
• 제10권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
• /
• 제8권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.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제22권1호
• /
• pp.32-37
• /
• 2016

시퀀스 다이어그램에 대한 모델 기반 테스트를 수행하기 위하여 시퀀스 다이어그램으로부터 테스트 케이스를 자동으로 생성해야 한다. 이를 위해서는 시퀀스 다이어그램이 나타내는 시나리오를 파악하고 테스트 커버리지를 만족하는 경로를 추출하여 테스트 정보를 생성해야 한다. 하지만 시퀀스 다이어그램은 결합 조각을 사용하여 반복 및 조건, 대안 정보를 나타내므로 시퀀스 다이어그램으로부터 테스트 케이스를 자동으로 생성하는 것은 복잡하다. 이러한 문제를 해결하기 위하여 본 논문에서는 시퀀스 다이어그램으로부터 액티비티 다이어그램으로 변환을 수행하는 모델 변환 프로세스를 정의하고, 이를 통해 시퀀스 다이어그램의 시나리오를 제어 흐름 형태로 표현하고 여기에 테스트 커버리지를 적용하여 테스트 케이스를 생성하는 과정을 정의한다. 마지막으로, 사례 연구를 통하여 시퀀스 다이어그램으로부터 테스트 케이스를 생성하는 과정을 보인다.

• 한국ITS학회 논문지
• /
• 제20권6호
• /
• pp.331-345
• /
• 2021

시뮬레이션 기반 가상 검증은 자율주행 기능의 안전성 검증을 위한 주요 요구사항으로 간주되고 있다. 가상 검증 환경에서는 자율주행차량과 주행 환경은 모두 모델링되어야 하며 특히, 카메라 및 레이더 센서와 같은 환경 센서의 현실적인 모델링이 중요하다. 하지만 현실적인 인식 결과를 일관되게 제공하기 위한 모델링에 관한 연구는 부족한 실정이다. 이에 본 논문에서는 MILS(Model in the Loop Simulation) 환경에서 현실적인 오브젝트 인식 결과를 제공하기 위한 센서 모델링 방법이 다루어진다. 먼저, 모델링을 위한 주요 파라미터가 정의되며 카메라 및 레이더 센서의 오브젝트 감지 특성이 분석된다. 분석 결과로부터 모델링된 가상 센서 모델의 감지 특성은 실물 센서와의 상관계수 분석을 통해 유효성이 검증된다.

• 한국과학교육학회지
• /
• 제15권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.