• Journal of KIISE
• /
• v.44 no.2
• /
• pp.171-178
• /
• 2017

In this study, we propose an automated unit test generation technique for detecting vulnerabilities of Android kernel modules. The technique automatically generates unit test drivers/stubs and unit test inputs for each function of Android kernel modules by utilizing dynamic symbolic execution. To reduce false alarms caused by function pointers and missing pre-conditions of automated unit test generation technique, we develop false alarm reduction techniques that match function pointers by utilizing static analysis and generate pre-conditions by utilizing def-use analysis. We showed that the proposed technique could detect all existing vulnerabilities in the three modules of Android kernel 3.4. Also, the false alarm reduction techniques removed 44.9% of false alarms on average.

• Journal of Information Technology Applications and Management
• /
• v.12 no.4
• /
• pp.133-155
• /
• 2005

This Paper makes an attempt to suggest a process of automatically generating application software based on the Entity-Relationship model 1. The designer develops an E-R model of an real-world system. 2. The designer inputs the entity and relationship types, and attributes shown in the E-R model, and also the basic operations of the application system to the software generator. 3. The application generator produces database schema and link information between application programs, and then automatically generates a stereo-type application system. In order for the automated application generator to build the application system in a systematic way, four basic program generation rules have been suggested. A set of computer programs have been developed in order to show the applicability of the automated software generation process suggested in this paper. By following each rule with the generator, the designer can build an application in an efficient manner compared with traditional (manual programming) approaches. It has been demonstrated from the case study that the idea of applying an automated generator in systems development based upon the E-R model is feasible.

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

• Journal of KIBIM
• /
• v.14 no.3
• /
• pp.1-12
• /
• 2024

Many efforts are being made to enhance user productivity and promote collaboration while ensuring the economic efficiency of office buildings. Analyzing space utilization, indicating how users utilize spaces, has been a crucial factor in these efforts. Appropriate space utilization enhances building maintenance and space layout design, reducing unnecessary energy waste and under-occupied spaces. Recognizing the importance of space utilization, there have been several studies to predict space utilization using information about users, activities, and spaces. These studies suggested an ontology of the information and implemented automated activity-space mapping as part of space utilization prediction. Despite the existing studies, there remains a gap in integrating space utilization prediction with automated space layout design. As a foundational study to bridge this gap, our study proposes a novel methodology that automatically generates office rooms based on space utilization optimization. This methodology consists of three modules: Activity-space mapping, Space utilization calculation, and Room generation. The first two modules use data on space types and user activity types as input to calculate and optimize space utilization through requirement-based activity-space mapping. After optimizing the space utilization value within an appropriate range, the number and area of each space type are determined. The Room generation module then automatically generates rooms with optimized areas and numbers. The practical application of the developed methodology is demonstrated, highlighting its effectiveness in fabricated case scenario. By automatically generating rooms with optimal space utilization, our methodology shows potential for expanding to automated generation of optimized space layout design based on space utilization.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.9 no.5
• /
• pp.80-86
• /
• 2010

This paper presents automated music story video generation technique as one of entertainment features that is equipped in multimedia system of the vehicle. The automated music story video generation is a system that automatically creates stories to accompany musics with photos stored in user's mobile phone by connecting user's mobile phone with multimedia systems in vehicles. Users watch the generated music story video at the same time. while they hear the music according to mood. The performance of the automated music story video generation is measured by accuracies of music classification, photo classification, and text-keyword extraction, and results of user's MOS-test.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.23 no.6
• /
• pp.703-712
• /
• 1999

This paper suggests an automatic elliptic grid generation method that is well-suited for the numerical mapping of complex geometries which are easily obtained from general CAD programs. An LBLADI solver is used for the governing mapping equations to have the strong diagonal dominance. The full boundary control method is adopted to determine the control functions of the equations, which allows the control of the grid regarding spacing and angle control at all boundary surfaces. The solution method presented here provides the capability of mapping very complicated geometries by defining grid point locations only along the boundaries. In the automated elliptic grid generation procedure, it is showed that strong diagonal dominance is essential to achieve successful mapping irrespective of the initial grid condition provided. To demonstrate the robustness of this method, it is applied to the thermal flow like the natural convection between eccentric cylinders. The results agree well with others.

• The KIPS Transactions:PartD
• /
• v.14D no.2
• /
• pp.191-202
• /
• 2007

In general, test data generation techniques require the specification of an entire program path for automated test data generation. This paper presents a new way for generating test data automatically een without specifying a program path completely. For the ends, this paper presents a technique for transforming a program under test into Alloy which is the first order relational logic and then producing test data via Alloy analyzer. The proposed method reduces the burden of selecting a program path and also makes it easy to generate test data according to various test adequacy criteria. This paper illustrates the proposed method through simple, but illustrative examples.

• Journal of computational fluids engineering
• /
• v.12 no.4
• /
• pp.68-73
• /
• 2007

Computational Fluid Dynamics (CFD) approach is now playing an important role in the engineering process in these days. Generating proper grid system in time for the region of interest is prerequisite for the efficient numerical calculation of flow physics using CFD approach. Grid generation is, however, usually considered as a major obstacle for a routine and successful application of numerical approaches in the engineering process. CFD approach based on the unstructured grid system is gaining popularity due to its simplicity and efficiency for generating grid system compared to the structured grid approaches, especially for complex geometries. In this paper an automated triangular surface grid generation using CAD(Computer Aided Design) surface data is proposed. According to the present method, the CAD surface data imported in the STL(Stereo-lithography) format is processed to identify feature edges defining the topology and geometry of the surface shape first. When the feature edges are identified, node points along the edges are distributed. The initial fronts which connect those feature edge nodes are constructed and then they are advanced along the CAD surface data inward until the surface is fully covered by triangular surface grid cells using Advancing Front Method. It is found that this approach can be implemented in an automated way successfully saving man-hours and reducing human-errors in generating triangular surface grid system.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2007.11a
• /
• pp.47-48
• /
• 2007

• Journal of the Korean Society of Industry Convergence
• /
• v.11 no.2
• /
• pp.83-91
• /
• 2008

GMAW(Gas Metal Arc Welding) processes are usually used in industrial side in order to get its high productivity. But those are only adopted in the semi-automated welding equipment because of a lot of welding spatters. Many industrial robot actually percents from being engaged in the welding processes. The welding spatter problem of causes blocking them being a fully automated welding process.This study was carried out to investigate the optimal conditions for minimizing welding spatter generation at GMAW robot. The spatter can be significantly reduced below 2% of welding spatter generation at the following conditions ; First, below 18V at the wire-feed rate 2.0mm/min Second, below 23V at the wire-feed rate 3.6mm/min Third, below 24V at the wire-feed rate 5.5mm/min.