• Proceedings of the IEEK Conference
• /
• 2000.06b
• /
• 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.

• Journal of Ocean Engineering and Technology
• /
• v.21 no.6
• /
• pp.101-106
• /
• 2007

In this paper, the authors demonstrate a new idea to take the place of the real pressure vessel test, which should be carried out in a high pressure experiment unit before the real sea trial test. The idea is to make a pressure vessel model as a replica of the real pressure vessel test, which can reduce the cost of making a pressure vessel and large pressure experiment unit. The pressure vessel model was designedbased on linear-elastic, buckling equations and Finite Element Analysis. The manufactured pressure vessel model was investigated and monitored while the pressure test was being conducted. After the test, the result and the validity of the pressure vessel model as a replica of the real pressure vessel test was studied.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2003.03a
• /
• pp.362-367
• /
• 2003

To improve the reliability of seismic hazard assessment of historic earthquake, shaking table test of a 1/2 scale model of wood house with tiled roof was performed. Scaled model was constructed through rigorous verification process to have quantitative relationship between the intensity of earthquake and damage state. The completed model was mounted on a shaking table and subjected to the dynamic tests. Two kinds of tests were performed: exploratory test and fragility test. The exploratory test was done with low intensity shaking. In the fragility test, the behavior of the model was carefully monitored while increasing the shaking intensity. The construction details of the model are provided and test procedures are reported. Finally important test results are presented and their implications are discussed.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2003.03a
• /
• pp.368-373
• /
• 2003

To improve the reliability of seismic hazard assessment of historic earthquake, shaking table test of a full scale model of wood house with tiled roof was performed. Full scale model was constructed through rigorous verification process to have quantitative relationship between the intensity of earthquake and damage state. The completed model was mounted on a shaking table and subjected to the dynamic tests. Two kinds of tests were performed: exploratory test and fragility test. The exploratory test was done with low intensity shaking. In the fragility test, the behavior of the model was carefully monitored while increasing the shaking intensity. The construction details of the model are provided and test procedures are reported. Finally important test results are presented and their implications are discussed.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2003.09a
• /
• pp.247-252
• /
• 2003

To improve the reliability of seismic hazard assessment of historic earthquake, shaking table test of a 1/2 scale model of wood house with thatched roof was peformed. Scaled model was constructed through rigorous verification process to have quantitative relationship between the intensity of earthquake and damage state. The completed model was mounted on a shaking table and subjected to the dynamic tests. Two kinds of tests were performed: exploratory test and fragility test. The exploratory test was done with low intensity shaking. In the fragility test, the behavior of the model was carefully monitored while increasing the shaking intensity. The construction details of the model are provided and test procedures are reported. Finally important test results are presented and their implications are discussed.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2010.09c
• /
• pp.104-110
• /
• 2010

In this study, a series of two-dimensional model test and numerical analysis was carried out to investigate the pile movement due to tunnelling in soft ground. The model test consists of 21 cases according to locations of the pile tip over the centre position of model tunnel. To identify both the pile and ground movements a close-range photogrammetric technique was adopted in the model test. The results from the model test were compared to the two-dimensional finite element analysis using the CRISP program. It was found that the rotation point on the pile was significantly affected by factors such as the offset distance from the model tunnel and the volume loss that occurred during the tunnelling operation.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.23 no.4
• /
• pp.389-398
• /
• 2020

Test cases in the existing weapon system software were created manually by the tester analyzing the test items defined in the software integration test procedure. However, existing test case generation method has two limitations. First, the quality of test cases can vary depending on the tester's ability to analyze the test items. Second, excessive time and cost may be incurred in writing test cases. This paper proposes a method to automatically generate test cases based on the requirements model and specifications to overcome the limitations of the existing weapon system software test case generation. Generate test sequences and test data based on the use case event model, a model representing the requirements of the weapon system software, and the use case specification specifying the requirements. The proposed method was applied to 8 target models constituting the avionics control system, producing 30 test sequences and 8 test data.

• Journal of Information Processing Systems
• /
• v.14 no.3
• /
• pp.607-620
• /
• 2018

The problem surrounding methods of implementing the software testing process has come under the spotlight in recent times. However, as compliance with the software testing process does not necessarily bring with it immediate economic benefits, IT companies need to pursue more aggressive efforts to improve the process, and the software industry needs to makes every effort to improve the software testing process by evaluating the Test Maturity Model integration (TMMi). Furthermore, as the software test process is only at the initial level, high-quality software cannot be guaranteed. This paper applies TMMi model to Automobile control software testing process, including test policy and strategy, test planning, test monitoring and control, test design and execution, and test environment goal. The results suggest improvement of the automobile control software testing process based on Test maturity model. As a result, this study suggest IT organization's test process improve method.

• Journal of the Society of Naval Architects of Korea
• /
• v.42 no.2 s.140
• /
• pp.98-104
• /
• 2005

The mathematical models of hydrodynamic force and moment acting on a ship at low speed range should be established differently from the ones at nominal cruising speed range since a ship moves with large drift angle or rotates in a stationary position. We modified widely used Yoshimura's cross flow model in order to apply the system identification method to estimate parameters in the model. The apparatus and the procedure of free running model test were suggested so that the parameters in the model be estimated. The validity of our proposing modified model and test procedure was confirmed by comparison with the results of simulated model test.

• Communications for Statistical Applications and Methods
• /
• v.12 no.2
• /
• pp.359-364
• /
• 2005

This paper considers a specification test of conditional Poisson regression model for time series count data. Although conditional models for count data have received attention and proposed in several ways, few studies focused on checking its adequacy. Motivated by the test of martingale difference assumption, a specification test via Ljung-Box statistic is proposed in the conditional model of the time series count data. In order to illustrate the performance of Ljung- Box test, simulation results will be provided.