• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.31 no.5
• /
• pp.911-917
• /
• 2021

As software gets an increasing amount of patches, lots of software bugs are increasingly caused by such software patches, collectively known as regression bugs. To proactively detect the regressions bugs, both industry and academia are actively searching for a way to augment fuzz testing, one of the most popular automatic bug detection techniques. In this paper, we investigate the status quo of the studies on augmenting fuzz testing for regression bug detection and, based on the limitations of current proposals, provide an outlook of the relevant research.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.26 no.4
• /
• pp.246-254
• /
• 2006

A computation program has been developed for automatic data processing in the calibration process of gamma survey meter. The automatic processing program has been developed based on Visual Basic. The program has been coded according to steps of calibration procedure. The OLE(object linking an embedding) Excel automation method fur automatic data processing is used in this program, which is a kind of programming technique for the Excel control. The performance test on the basis of reference data has been carried out by using the developed program. In the results of performance test, the values of calibration factors and uncertainties by the developed program were equal to those obtained from the reference data. In addition, It was revealed that the efficiency and precision of working are significantly increased by using the developed program.

• Journal of Intelligence and Information Systems
• /
• v.17 no.4
• /
• pp.37-58
• /
• 2011

In general, testing DB applications is much more difficult than testing other types of software. The fact that the DB states as much as the input data influence and determine the procedures and results of program testing is one of the decisive reasons for the difficulties. In order to create and maintain proper DB states for testing, it not only takes a lot of time and efforts, but also requires extensive IT expertise and business knowledge. Despite the difficulties, there are not enough research and tools for the needed help. This article reports the result of research on automatic creation and maintenance of DB states for testing DB applications. As its core, this investigation develops an automation tool which collects relevant information from a variety of sources such as log, schema, tables and messages, combines collected information intelligently, and creates pre- and post-Images of database tables proper for application tests. The proposed procedures and tool are expected to be greatly helpful for overcoming inefficiencies and difficulties in not just unit and integration tests but including regression tests. Practically, the tool and procedures proposed in this research allows developers to improve their productivity by reducing time and effort required for creating and maintaining appropriate DB sates, and enhances the quality of DB applications since they are conducive to a wider variety of test cases and support regression tests. Academically, this research deepens our understanding and introduces new approach to testing enterprise systems by analyzing patterns of SQL usages and defining a grammar to express and process the patterns.

• International Journal of Control, Automation, and Systems
• /
• v.3 no.3
• /
• pp.477-485
• /
• 2005

This paper is concerned with the development of a micro tensile testing machine for optically functional materials such as single or poly crystalline silicon and nickel film. This micro tensile tester has been developed for testing various types of materials and dimensions. PZT type actuation is utilized for precise displacement control. The specifications of the PZT actuated micro tensile testers developed are as follows: the volumetric size of the tester is desktop type of 710mm' 200mm' 270mm; the maximum load capacity and the load resolution in this system are IKgf and 0.0152mgf respectively and; the full stroke and the stoke resolution of the PZT actuator are $1000{\mu}m$ and 10nm respectively. Special automatic specimen installing and setting equipment is applied in order to prevent unexpected deformation and misalignment of specimens during handling of specimens for testing. Nonlinearity of the PZT actuator is compensated to linear control input by an inverse compensation method that is proposed in this paper. The strain data is obtained by ISDG method that uses the laser interference phenomenon. To test the reliance of this micro tensile testing machine, a $200{\mu}m$ thickness nickel thin film and SCS (Single Crystalline Silicon) material that is made with the MEMS fabrication process are used.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.4
• /
• pp.1520-1542
• /
• 2020

Traditional software testing typically uses many physical resources to manually build various test environments, resulting in high resource costs and long test time due to limited resources, especially for small enterprises. Cloud computing can provide sufficient low-cost virtual resources to alleviate these problems through the virtualization of physical resources. However, the provision of various test environments and services for implementing software testing rapidly and conveniently based on cloud computing is challenging. This paper proposes a multilayer cloud testing model based on cloud computing and implements a hybrid cloud testing system based on virtual machines (VMs) and networks. This system realizes the automatic and rapid creation of test environments and the remote use of test tools and test services. We conduct experiments on this system and evaluate its applicability in terms of the VM provision time, VM performance and virtual network performance. The experimental results demonstrate that the performance of the VMs and virtual networks is satisfactory and that this system can improve the test efficiency and reduce test costs through rapid virtual resource provision and convenient test services.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.7 no.4
• /
• pp.805-811
• /
• 2003

System test is an important factor in the development process of good quality complex software in time, ensuring user requirements. Transaction processing module of database management systems schedules multiple transactions effectively and ensures that each transaction preserves data consistency. In this paper, we propose automatic functional testing techniques which ensure systematically that the implemented concurrency control function confirms to its requirements. The proposed testing technique tests functions of concurrency control module based on scenario without user intervention, and displays the result of functional testing. Finally, we utilize the proposed functional testing technique in the testing process of a database management system.

• Journal of the Korean Society for Precision Engineering
• /
• v.26 no.1
• /
• pp.112-119
• /
• 2009

An automatic transmission of construction equipment is controlled by hydraulic and electronic system for doing in various functions like as shifting and operation. The shifting is operated by the engaged and disengaged clutch motion from hydraulic power. On the shifting process, suitable pressure control to the clutch is required for smooth shifting. Hydraulic control system in the automatic transmission is divided by the pilot control type and the direct control type greatly. The direct control type has an advantage than the pilot control type. Because the structure is simple, the design and the manufacture are having less troubles and the system can be maximized precision pressure control. However, the excellent performance proportional control valve should be used to achieve proper control-ability. In this study, the dynamic analysis model composing the automatic transmission and hydraulic system for forklift truck is presented to simulate the characteristics of hydraulic system about the direct control type. That model is verified the validity compared the results of the testing examination. Parameters of input signal are analyzed to reduce the output torque according to input control signal is affected in shifting characteristic.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.12
• /
• pp.1302-1312
• /
• 2008

Relaxed Static Stability(RSS) has been applied to improve flight performance of modern version supersonic jet fighters. Flight control systems are necessary to stabilize an unstable aircraft and to provide adequate handling qualities. Also, flight control systems of modern aircraft employ many safety measure to cope with emergency situations such as a pilot unknown attitude flight conditions of an aircraft in night flight-testing. This situation is dangerous because the aircraft can lose if the pilot not take recognizance of situation. The system called the "Pilot Activated Recovery System" or PARS, provided a pilot initiated automatic maneuver capable of an aircraft recoveries in situations of unusual attitudes, speed and altitude. This paper addresses the concept of PARS with AARS(Automatic Attitude Recovery System), ATCS(Automatic Thrust Control System) and MARES(Minimum Altitude Recovery Estimation System), and this control law is designed by nonlinear control law design process based on model of supersonic jet trainer. And, this control law is verified by real-time pilot evaluation using an HQS(Handling Quality Simulator). The result of evaluation reveals that the these systems support recovery of an aircraft unusual attitude and speed, and improve a safety of an aircraft.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.28 no.1
• /
• pp.64-69
• /
• 2008

In order to detect the internal defects which occur in welding parts of pressure vessel and structures, radiographic testing and ultrasonic testing is applied. However, because of the risks of radiation exposure and film processing, radiographic testing takes a relatively long time to verify the test results and it has affected in the production process. Typically, the manual ultrasonic testing is not easy to reproduce the result and it is highly dependent on the tester's skills. The TOFD technique, one of the automatic ultrasonic testings is spreading alternatively. This research describes the comparing test results by applying radiographic testing and TOFD technique to a mock-up specimen incruding the flaws. The TOFD technique will contribute to improve the objective reliability of the ultrasonic technique.

• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• pp.363-367
• /
• 2011

In this paper a simulator for Integrated Onboard Signalling System(IOSS) will be presented and illustrated. IOSS which is integrated with there signalling systems such as ERTMS/ETCS Level 1 ATP(Automatic Train Protection), ATC(Automatic Train Control) and ATS(Automatic Train Stop) is a signalling system for HEMU-400X(Highspeed Electric Multiple Unit - 400km/h eXperiment). HEMU-400X is under development as the next generation high-speed train in Korea. Before conducting a trial run of HEMU-400X with IOSS, we must carry out functional test of IOSS. The simulator is suggested in this paper for testing and verification of IOSS. The simulator can help to test all function of IOSS although a real train and trackside equipments are not existed. Also the simulator can make a fault in trackside equipment intentionally. In that scenario, we can figure out how IOSS handle emergency situations.