• Journal of KIISE:Software and Applications
• /
• v.36 no.1
• /
• pp.10-20
• /
• 2009

As unit testing should be performed repeatedly and continuously, it is a high-cost software development activity. Although there are many studies on unit test automation, there are less studies on automated test case generation which are worthy of note. In this paper, we discuss a study on automated test data generation from source codes and indicate algorithms for each stage. We also show some issues of test data generation and introduce an automated test data generating tool: CUTIG. As CUTIG generates test data not from require specifications but from source codes, software developers could generate test data when specifications are insufficient or discord with real implementation. Moreover we hope that the tool could help software developers to reduce cost for test data preparation.

• Journal of KIISE:Software and Applications
• /
• v.36 no.10
• /
• pp.793-799
• /
• 2009

Esterel is an imperative synchronous language that is well-adopted to specify reactive systems. Programmers sometimes want simple validations that can be applied while the system is under development. Since a reactive system reacts to environment changes, a test data is a sequence of input events. Generating proper test data by hand is complex and error-prone. Although several test data generators exist, they are hard to learn and use. Mostly, system designers need test data to reach a specific status of a target program. In this paper, we develop a test data generator to generate test input sequences for debugging Esterel programs. Our tool is focused on easy usage; users can describe test data properties with simple specifications. We show a case study in which the test data generator is used for a practical development process.

• Proceedings of the KSME Conference
• /
• 2007.05a
• /
• pp.648-653
• /
• 2007

In this study, we have generated fatigue load spectrum that is using to prediction of life time for the helicopter rotor blades. We derive utility helicopter missions for the sake of generating load spectrum. Helix and Felix are standard loading sequences which relate to the main rotors of helicopters with articulated and semi-rigid rotors respectively. We got scale factors which is applied to specific case and it did be obtained through the finite element analysis tools. The fatigue life of the rotor blade is estimated by using MSC/Fatigue. We suggest that generated our fatigue load spectrum in conjunction with small utility helicopter should use to rotor blade fatigue test of the korea helicopter program.

• Korean Journal of Materials Research
• /
• v.12 no.8
• /
• pp.682-687
• /
• 2002

The three-dimensional estimation on the depth and height of flaw by using the difference of radiographic contrast density was studied. First, the specimens having artificial flaws of various depths and heights were prepared and the radiographic testing was performed. The radiographic depth of flaw was investigated and estimated on the effect of the scattered radiation with the change of distance between flaw and film. The height of flaw was estimated from the radiographic test with the reference specimen. The radiographic contrast with flaw depth decreased with increasing the flaw depth. The scattered radiation increased with increasing flaw depth and varied with the location between flaw and film. However, in the case of flaw height, the contrast density increased with increasing flaw height. It is thought due to the change in volume generating the scattered radiation which reaches a film.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2000.11a
• /
• pp.421-424
• /
• 2000

Valve springs with high fatigue strength corresponding to the incresement of working stresses, are required for the higher generating power and the better fuel economy of automobile engines. For this purpose, high strength oil tempered wires are being used. By a method of the high strength for the valve spring, modification of manufacturing processes is being applied. In this case, the cause and effect for the improvement of the fatigue strength has not yet been explained obviously. Therefore, in this report, comparison of fatigue life between valve springs of conventional processes with oil tempered wires and new manufacturing processes was made. As a result of the fatigue test, the fatigue life of the latter was attained maximum 7 times than that of the former. It was cleared that the improvement of the fatigue life was caused by difference of compressive residual stresses at depth of 0.2mm below the inner side surface of both valve springs.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2014.11a
• /
• pp.63-64
• /
• 2014

In this study, we has a purpose to estimate the joint movement responsiveness performance for the domestic products of one-component structural silicon sealants. For this purpose, we make a comparative study for the four domestic products focused on tensile properties after allowed the cyclic-movements for three days at initial step of curing phase. A joint movement range ±10% and the rate of compression and extension 3.2mm/h were assumed in those tests. As a result, the large space were induced inside the sealant by rupture, and then adhesion and cohesion failures were caused by stress concentration. The tensile properties were reduced by 15~60% in comparison with physical properties. In this case, the generating defect was caused and the service-life was decreased. Thus, further researches as relationship of test condition and products properties on this behavior would be studied.

• Bulletin of the Korean Chemical Society
• /
• v.7 no.6
• /
• pp.428-433
• /
• 1986

It is demonstrated by using a highly positive uranium ion as a test case that the exact relation between the small and the large components of a Dirac spinor in relativistic self-consistent-field (RSCF) calculations is not fully satisfied by the kinetic balance condition only even for two electron systems. For a fixed number of large component basis functions, total energies are sensitive to the change of the size of the small component basis sets even after the kinetic balance condition is fully satisfied. However, the kinetic balance condition appears to be a reasonable guideline in generating reliable and practical basis sets for most applications of RSCF calculations. With a complete small component basis set, energies from RSCF calculations exhibit a variational behavior, implying the stability of the present RSCF procedure.

• Journal of the Korean Society of Industry Convergence
• /
• v.26 no.5
• /
• pp.751-756
• /
• 2023

In this study, We investigated a fire case and performed an experiment to prevent fire from sparks that is generated during grinding operation. Before conduct the test, confirmed that the generating mechanism of fire-flakes in working grinder and the fire experiment was conducted using commonly tools, flammable materials in industrial field. in result, It could be measured scattering distance, temperature, ignition possibility by type of combustible materials. Based on the results of this study, We are expected to be used as basic data for fire prevention in grinding Industry.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.27 no.4
• /
• pp.811-820
• /
• 2017

Software automatic technology research recently focuses not only on generating a single path test-case, but also on finding an optimized path to reach the vulnerability through various test-cases. Although Dynamic Symbolic Execution (DSE) technology is popular among these automatic technologies, most DSE technology researches apply only to Linux binaries or specific modules themselves. However, most software are vulnerable based on input files. Therefore, this paper proposes an input file based dynamic symbolic execution method for software vulnerability verification. As a result of applying it to three kinds of actual binary software, it was possible to create a test-case effectively reaching the corresponding point through the proposed method. This demonstrates that DSE technology can be used to automate the analysis of actual software.

• International Journal of Aeronautical and Space Sciences
• /
• v.17 no.3
• /
• pp.391-400
• /
• 2016

In satellite operations, stable maneuvering of a satellite's onboard antenna to prevent undesirable vibrations to the satellite body is required for high-quality high-resolution images. For this reason, the onboard antenna's angular rate is typically minimized while still satisfying the system requirement that limits the speed of the onboard antenna. In this study, a simple yet effective method, called the ground station searching method, is proposed to reduce the angular rate of a satellite's onboard antenna. The performance of the proposed method is tested using real flight data from the KOMPSAT-3 satellite. Approximately 83% of arbitrarily selected real flight scenarios from 66 test cases show reductions in the onboard antenna's azimuth angular rates. Additionally, reliable solutions were consistently obtained within a reasonably acceptable computation time while generating an onboard antenna tracking profile. The obtained results indicate that the proposed method can be used in real satellite operations and can reduce the operational loads on a ground operator. Although the current work only considers the KOMPSAT-3 satellite as a test case, the proposed method can be easily modified and applied to other satellites that have similar operational characteristics.