• Journal of Information Processing Systems
• /
• 제6권2호
• /
• pp.197-208
• /
• 2010

Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria. We are proposing to apply Formal Concept Analysis (FCA) in analyzing the association between a set of test scenarios and a set of transitions specified in a state machine model. By utilizing the properties of concept lattice, we are able to determine incrementally a minimal set of test scenarios with adequate test coverage.

• 한국해양공학회지
• /
• 제19권3호
• /
• pp.39-46
• /
• 2005

A series of forced oscillation tests on a model mooring chain was carried out to investigate dynamic tension characteristics. The model test was conducted at two different water depths to gather basic data for a 'truncated mooring test' and 'hybrid mooring test'. The truncated and hybrid mooring tests are important for overcoming the limitation of water depth that existed in previous model tests. The resultant tension RAO provides a good possibility of approximation of dynamic tension by equivalent weight adjustment for different water depths. Because the hybrid mooring test is an adequate combination of model test and simulation, an accurate simulation model for the mooring system is essential. The simulation results show good agreement with model test results.

• 한국시뮬레이션학회논문지
• /
• 제27권1호
• /
• pp.25-32
• /
• 2018

본 논문은 모델 기반 내장형 소프트웨어의 자동 생성 코드에 대한 효율적인 신뢰성 시험 절차와 구체화된 동적 시험 방안에 대해서 제시하고 있다. 모델 정적/동적 시험 각각을 코드 정적/동적 시험 전에 수행함으로서 코드 신뢰성 시험 수행의 이점이 있음을 기술하였다. 또한, 모델과 코드의 신뢰성 시험 상관관계를 모델의 경우 Model Advisor와 Verification and Validation tool, 코드의 경우 Polyspace와 LDRA를 이용하여 살펴보고 제시한 절차대로 수행한 신뢰성 시험의 결과를 보여주고 있다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.1557-1565
• /
• 2009

According to the GM/RT2141, to assess the safety of vehicle, the validated the vehicle dynamic model should be applied. The validation of the vehicle model is against the static test, some kind of vehicle type test results have been used to determine the suspension characteristics and the vehicle dynamic characteristics. To validate the vehicle model and the test results, first the test results has been analysed as to specified the suspension characteristics and than the parameters to related with the test result has to be adjusted to show the same results of the test. In this process the parameters of vehicle model have been determined to show the coherence of the two results of the simulation and the test by trial & error. In this report, the optimization tool has been introduced in this model validation process and shows the efficient and well validated model.

• Journal of the Korean Data and Information Science Society
• /
• 제19권3호
• /
• pp.893-901
• /
• 2008

The disconfirmation paradigm is the earliest researched and the most deeply researched of all the paradigms in marketing. Disconfirmation paradigm deals with the influence of expectation, perceived product performance, and the discord between the two on consumer satisfaction. The GAP-Model is based on the disconfirmation paradigm that tries to understand the effect of the gap between before purchase expectations and after purchase perceptions of the product performance on dependent variables such as customer satisfaction. The purpose of this research is to test whether regression coefficients of a P-Model(performance only model), an E-Model(expectation only model) and GAP(P-E)-Model are equivalent in explaining service value and loyalty. The Chow's F-Test is used to test the excellence of the 3 models. As a result of comparison and analysis, P-Model showed more excellence of service value and loyalty than E-Model or GAP-Model.

• 대한조선학회논문집
• /
• 제43권1호
• /
• pp.32-42
• /
• 2006

This study aims at establishing a technique for sailing yachts model tests with sailing condition. It is very important to estimate a ship's potential speed performance before building a real ship. Several methods are used to estimate a ship's potential speed performance such as using parent ship data, standard vessel chart and model test. Model test is the most precise among these options. In korea. model testing is widely used with general vessels but not with sailing yachts. Because sailing yachts are propelled with heeling and leeway. using the wind. another method is needed to estimate their speed. The new model test. which is different from tests for upright general vessels, is in a great demand. In this paper. we describe a test method for the sailing yacht model test. based on Masuyama's equation of motion. And we describe choosing scale ratio. production process and materials of the model. Also. various ways of measuring instruments. attaching jigs and adjusting calibration are described so that they can be utilized as useful data for model testing.

• 대한조선학회논문집
• /
• 제49권4호
• /
• pp.296-303
• /
• 2012

The captive model test of submerged body using CPMC(Computerized Planar Motion Carriage) was carried out at the Ocean Basin of KORDI/MOERI. The target model is a submarine with general hullform. The forces and moments acting on the submerged body were measured by 6-axis waterproof gage. The oblique motion test and turning test were carried out in horizontal and vertical planes of the model. Maneuvering coefficients and derivatives were obtained from the test results. The stability indices in horizontal and vertical planes were obtained by using maneuvering derivatives. In this paper the introduction of test equipment and test results are presented.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2002년도 학술대회지
• /
• pp.271-274
• /
• 2002

This paper is investigated construction of the Scramjet test facility and test method of Scramjet engine combustor model. Scramiet engine combustor model test was performed at Lab C-16BK CIAM (Central Institute of Aviation Motors) at Tyraevo in Moscow. The velocity of flow in the combustion chamber equal to Mach number 2.49 with single hole fuel spray nozzle injector and test duration equal to 7 seconds. Therefore In this paper is showed high altitude test method of Scramjet combustor model and the proper structure of combustor with single hole fuel spray nozzle.

• 한국철도학회논문집
• /
• 제8권6호
• /
• pp.597-601
• /
• 2005

Korea Railroad Research Institute(KRRI) developed the Driverless Rubber Tired Korea-AGT(Model: K-AGT) from 1999 to 2004. We have finished the safety and performance tests of K-AGT. Data obtained from this testing can be used to evaluate the growth of reliability. The most widely used traditional growth tracking model is included as IEC International standard. With the tracking model all corrective actions are incorporated during test, called test-fix-test. In the test-fix-test strategy problem modes are found during testing and corrective actions for these problems are incorporated during testing. In this paper, we demonstrated reliability analysis using growth model of driverless rubber tired K-AGT system to prove reliability of development system. Therefore, we introduce the well-known NHPP model and analyze a reliability growth using ReliaSoft's RGA software.

• 영어어문교육
• /
• 제16권4호
• /
• pp.153-184
• /
• 2010

On the bases of the 5 principles and the 4 criteria for designing and developing of the listening and the reading test of National English Ability Test (NEAT), this study presents Item-Types Decision-Making Model as a blueprint for designing and constructing the two tests. It sets up the criteria for validating item types, designs a modular type of test specifications, constructs an item-types bank, and specifies a complementary type of test specifications of the two tests. To gather all these threads up, it constructs Item-Types Decision-Making Model which consists of such components as the item-type pool, the validity criteria and the procedures of testing item types, the item-types bank, the modular and the complementary type test specification. Thus, it shows how the Model works in developing and constructing the two level-differentiated listening and reading tests (the 2nd and the 3rd rank) of NEAT. Finally, it discusses some implications and applications of the Model to the two level-differentiated tests (the A and the B type) of 2014 CSAT (College Scholastic Ability Test) systems, National Assessment of Educational Achievement (NAEA), and classroom testing. In conclusion, Item-Types Decision-Making Model functions as a testing template in an item development system and as a matrix in an item-types bank system.