• Journal of Information Processing Systems
• /
• v.6 no.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.

• Journal of Ocean Engineering and Technology
• /
• v.19 no.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.

• Journal of the Korea Society for Simulation
• /
• v.27 no.1
• /
• pp.25-32
• /
• 2018

This paper presents an efficient software reliability testing method for the model based auto-generated code and reify a dynamic test procedure. The benefits of executing the model-based each static/dynamic reliability test before the code-based static/dynamic reliability test are described. Also, The correlations of code/model based reliability test are demonstrated by using model testing tool, Model Advisor and Verification and Validation, and the code testing tool, PolySpace and LDRA. The result of reliability test is indicated in this paper.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• 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
• /
• v.19 no.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.

• Journal of the Society of Naval Architects of Korea
• /
• v.43 no.1 s.145
• /
• 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.

• Journal of the Society of Naval Architects of Korea
• /
• v.49 no.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.

• Proceedings of the KSME Conference
• /
• 2002.08a
• /
• 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.

• Journal of the Korean Society for Railway
• /
• v.8 no.6 s.31
• /
• 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.

• English Language & Literature Teaching
• /
• v.16 no.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.