• 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.

• 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.

• The KIPS Transactions:PartD
• /
• v.14D no.1 s.111
• /
• pp.57-66
• /
• 2007

Organizations of Software development are very important issue on enhancement of a software quality as rapid progress of software industry. Especially there are diverse attempts for enhancement of test maturity of the software organization through some kinds of the test maturity model. But the current test maturity models based on CMM(Capability Maturity Model) lack part of actual testing measurement and only measure level of test maturity. To solve these problems, we suggest 'double V-model' to execute both software development process and test process simultaneously, and also 'test attributes to Maturity Levels Correlation Matrix' for evaluating level of test maturity included with definitions of test attribute and level. That is, we enhance TMM(Test Maturity Model) adopted with 'Improvement Suggestion' of TPI(Test Process Improvement) which is easy the evaluation of test maturity of organization and gives the direction of improvement to level up the test maturity for the measured organization. As a result, we will contribute to level up the test maturity of the organization.

• 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.

• 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.