• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.7
• /
• pp.451-460
• /
• 2013

In order to achieve high test coverage, it is usual to generate test data using various techniques including symbolic execution, data flow analysis or constraints solving. Recently, a technique for automated test data generation that fulfills high coverage effectively without those sophisticated means has been proposed. However, the technique shows its weakness in the generation of test data that leads to high coverage for programs having branch conditions where different memory locations are binded during execution. For certain programs with flag conditions, in particular, high coverage can not be achieved because specific branches are not executed. To address the problem, this paper presents dynamic branch coverage criteria and a test data generation technique based on the notion of dynamic branch. It is shown that the proposed technique compared to the previous approach is more effective by conducting experiments involving programs with flag conditions.

• Journal of KIISE:Software and Applications
• /
• v.37 no.12
• /
• pp.882-891
• /
• 2010

Many automated dynamic test data generation technique have been proposed. The techniques evaluate fitness of test data through executing instrumented Software Under Test (SUT) and then generate new test data based on evaluated fitness values and optimization algorithms. Previous researches and experiments have been showed that these techniques generate effective test data. However, optimization algorithms in these techniques incur much time to generate test data, which results in huge test case generation cost. In this paper, we propose a technique for reducing the time of evaluating a fitness of test data among steps of dynamic test data generation methods. We introduce the concept of Fitness Evaluation Program (FEP), derived from a path constraint of SUT. We suggest a test data generation method based on FEP and implement a test generation tool, named ConGA. We also apply ConGA to generate test cases for C programs, and evaluate efficiency of the FEP-based test case generation technique. The experiments show that the proposed technique reduces 20% of test data generation time on average.

• Journal of Software Engineering Society
• /
• v.24 no.2
• /
• pp.35-45
• /
• 2011

Simulated annealing has been studied a long times. And it is one of the effective techniques for test data generation. But basic SA methods showed bad performance because of neighborhood selection strategies in the case of large input domain. To overcome this limitation, we propose new neighborhood selection approach, Branch Distance. We performs case studies based on the proposed approach to evaluate it's performance and to compare it whit basic SA and Random test generation. The results of the case studies appear that proposed approach show better performance than the other approach.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2004.03b
• /
• pp.245-252
• /
• 2004

When some enormous earthquake hazards broke out in the neighboring Japan and Taiwan, many Korean earthquake engineers thought that seismic guidelines must be adjusted safely and economically to consider the moderate earthquake characteristics. In the present aseismic guideline for liquefaction potential assessment, a simplified method using SPT-N value and a detail method based on the dynamic lab-tests were introduced. However, it is said that these methods based on the equivalent stress concept to simplify an irregular earthquake are not reliable to simulate the kaleidoscopical characteristics of earthquake loading correctly. Especially, even though various data from the dynamic lab-test can be obtained, only two data, a maximum cyclic load and a number of cycle at an initial liquefaction are used to determine the soil resistance strength in the detailed method. In this study, a new assessment of liquefaction potential is proposed and verified. In the proposed assessment, various data from dynamic lab-tests are used to determine the unique soil resistance characteristic and a site specific analysis is introduced to analyze the irregular earthquake time history itself. Also, it is found that the proposed assessment is reasonable because it is devised to reflect the changeable soil behavior under dynamic loadings resulted from the generation and development of excess pore water pressure.

• The Journal of the Korea Contents Association
• /
• v.12 no.11
• /
• pp.39-48
• /
• 2012

It is well known that software testing amounts for a significant portion of software development cost. In order to reduce the cost of software testing. a lot of researches on automated test data generation have been performed. Sophisticated tools for performing symbolic execution or solving a system of path constraints are required to support automated test data generation. Developing or purchasing those tools leads to another factor of increasing the cost involving software testing. In this paper, we propose a dynamic test data generation approach that does not depend on symbolic execution or constraint solving at all. The proposed approach extends Korel's path-oriented method to satisfy the branch coverage criterion effectively. We conducted an experiment to evaluate the effectiveness of the proposed technique with a triangle classification program to show that branch coverage can be easily achieved.

• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.573-578
• /
• 2004

Rotem has chosen ADAMS/Rail as the next generation analysis tool, to improve the capability and accuracy of the analysis ability. The dynamic performances of the railway vehicle, which is designed and manufactured by Rotem, have been analyzed and simulated using ADAMS/Rail. In this paper, Dynamic stress of bogie frame on running track is analyzed and compared with the data of real vehicle test. It is performed using ADAMS/AutoFlex and ADAMS/Durability.

• Journal of Energy Engineering
• /
• v.8 no.2
• /
• pp.213-223
• /
• 1999

In recently, the safety system software of the nuclear power plant has been verified and validated according to ANSI/IEEE-ANS-7-4.3.2-1982 to improve the reliability. This standard requires that safety-related software should be tested in the static and dynamic environments. In case of Inadequate Core Cooling Monitoring System (ICCMS), the static test procedure and related techniques are developed but the dynamic test procedure and related techniques are not developed. Therefore, this paper discusses the undeveloped techniques, and suggests the dynamic test procedure and the program for generation of test input data. The performance of the program was identified using accident analysis report of Ulchin 3&4 Final Safety Analysis Report (FSAR).

• Journal of Ocean Engineering and Technology
• /
• v.34 no.6
• /
• pp.394-405
• /
• 2020

To assess the station-keeping performance of floating structures in the Arctic region, the ice load should be considered along with other environmental loads induced by waves, wind, and currents. However, present methods for performance evaluation in the time domain are not effective in terms of time and cost. An ice load generation module is proposed based on the experimental data measured at the KRISO ice model basin. The developed module was applied to a time domain simulation. Using the results of a captive model test conducted in multiple directions, the statistical characteristics of ice loads were analyzed and processed so that an ice load corresponding to an arbitrary angle of the structure could be generated. The developed module is connected to commercial dynamic analysis software (OrcaFlex) as an external force input. Station-keeping simulation in the time domain was conducted for the same floating structure used in the model test. The mooring system was modeled and included to reflect the designed operation scenario. Simulation results show the effectiveness of the proposed ice generation module and its application to station-keeping performance evaluation. Considering the generated ice load, the designed structure can maintain a heading angle relative to ice up to 4°. Station-keeping performance is enhanced as the heading angle conforms to the drift direction. It is expected that the developed module will be used as a platform to verify station-keeping algorithms for Arctic floating structures with a dynamic positioning system.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.7
• /
• pp.471-478
• /
• 2013

This paper proposes a black-box based test case generation method for Simulink/Stateflow model utilizing the RRT algorithm which is a method to efficiently solve the path planning for complicated systems. The proposed method in the paper tries to solve the reachability problem with the RRT algorithm, which has to be solved for black-box based test case generations. A major problem of the RRT based test case generation algorithms is that the cost such as running time and required memory size is too much for complicated Stateflow model. The typical RRT algorithm expands rapidly-exploring random tree (RRT) in a single state space. But the proposed method expands it in dynamic state space based on the state of Simulink model, consequently reducing the cost. In the paper, a new definition of RRT state space, a distance measure and a test case generation algorithm are proposed. The performance of proposed method is verified through the experiment against Stateflow model.

• Journal of Institute of Control, Robotics and Systems
• /
• v.18 no.11
• /
• pp.1051-1058
• /
• 2012

The unified lateral control algorithm for automatic valet parking for various types of vehicles is presented and its feasibility is shown experimentally via field tests for the given parking scenario. First, a trajectory generation algorithm for forward driving and backward multi-step parking maneuvers is developed. Then, with consideration of different types of vehicles and operating conditions, a kinematic vehicle model is used and validated using field test data. Using the nonlinear vehicle model, the lateral controller is designed based on dynamic surface control. Finally the proposed lateral control law is validated via hardware-in-the-loop simulations for different types of vehicles and experimentally using a test vehicle through field tests.