• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.24 no.2
• /
• pp.327-333
• /
• 2014

The rapid expansion of the software industry has brought a serious security threat and vulnerability. Many softwares are constantly attacked by exploit codes using security vulnerabilities. Smart fuzzing is automated method to find software vulnerabilities. However, Many resources are consumed in fuzzing, because the fuzzing needs to create data model for target software and to analyze a data file and software binary. Therefore, The automated method for efficient smart fuzzing is needed to develop the automated data model. In this paper, through analysing the input file format and optimizing the data structure, we propose an efficient data modeling framework for smart fuzzing and implement the framework for detect software vulnerabilities.

• IE interfaces
• /
• v.9 no.1
• /
• pp.25-40
• /
• 1996

It is a time-consuming work to develop a control software for AGVS considering different physical arrangements and transport requirements in automated manufacturing systems. An integrated software environment is suggested to support the development of the control software by utilizing a simulation software which imitates changes in the target shop floor. First, the basic functions of the controller are defined and interactions between modules(function) are identified to enhance the modularity of the controller. Prototype software is developed for the simulation station and the control station, respectively, which are connected with each other by a communication link to transmit predefined messages.

• Journal of Information Technology Services
• /
• v.7 no.1
• /
• pp.103-116
• /
• 2008

Efficiency and objectiveness are the most critical issues in the evaluation of software projects. It is beneficial not only to software companies participated in bids, but to administrators of projects. This study attempts to find an improvement in the evaluation process by connecting the historical data of bidding companies in the software company report system with the governmental procurement system. The proposed means will eliminate unnecessary and repetitive submission step of bidding companies and provide the administrator with objective evaluation process. Also, this paper proposes an automated process for quantifying the business experience of bidding companies.

• Journal of KIISE:Software and Applications
• /
• v.36 no.9
• /
• pp.697-705
• /
• 2009

A GUI automated test can be divided into two areas. The first one is a regression test automation and the second one is an automated test. The former includes generating test cases manually and executing them automatically but the latter includes both generating test cases and executing them automatically. Costs of a software test are increasing more and more. Many companies are searching for a test automation method but most used things are limited to regression test automation. So, when testing at first, there should be test cases which are drawn up by a human. This paper explains to make test cases based on a source code and execute them automatically. In this paper, the study proceeds with a digital television set-top box application and explains to test without any effort of human. Of course, this study is far from a realization to industries. But this paper has a contribution at reducing more human efforts than the previous regression test automation and showing that later, fully automated test can be possible.

• KIISE Transactions on Computing Practices
• /
• v.22 no.11
• /
• pp.547-558
• /
• 2016

Construction of multi-site Cloud Infrastructure with OpenStack, the most popular cloud open source project with various ICT infrastructure technologies, has operational inefficiency due to installation complexity and geographical limitation. To address this inefficiency, we gradually developed automated installation/configuration tools to automate installation/configuration of Linux and OpenStack by complying with DevOps methodology over a multi-site OpenStack testbed called OF@KOREN SmartX Playground. However, the pre-developed installation tools can be used only for limited cases. Therefore, we designed and developed a prototype of SmartX Provisioning Framework which could conducts Playground-wide provisioning flexibly by following three steps of resource management in Software-defined Infrastructure. We verified the efficiency of the provisioning functionality of the framework by demonstrating an example of automated multi-site cloud construction.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.5
• /
• pp.3213-3219
• /
• 2014

Currently, increase of greenhouse gas has had a signigicant impact on climate change in urbanization. As a result, the government has been looking for ways to take advantage of the trees that generate oxygen and reduce carbon dioxide for the prevention of climate change. It is essential to extract individual tree for calculating the amount of carbon dioxide reduction of trees. Aerial LIDAR data have three-dimensional information of building as well as trees as form of point clouds. In this study, automated model was developed to extract individual tree using aerial LIDAR data. For this purpose, we established a methodology for extracting trees and then proceeded the process of developing it as an automated model based on model builder of ArcGIS Software. In order to evaluate the applicability of the developed model, the model was compared with commercial software in study area located in Yongin City. Through the experimental result, the proposed model was extract trees 9.91% higher than commercial software. From this results, it was found that the model effectively extracted trees.

• International journal of advanced smart convergence
• /
• v.1 no.1
• /
• pp.57-60
• /
• 2012

In this paper, we have performed a safety analysis on an automotive evaporator inspection system. We performed the bi-directional analysis on the manufacturing line. Software Fault Tree Analysis (SFTA) as backward analysis and Software Failure Modes, Effects, & Criticality Analysis (SFMECA) as forward analysis are performed alternately to detect potential cause-to-effect relations. The analysis results indicate the possibility of searching and summarizing fault patterns for future reusability.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.8 no.12
• /
• pp.119-125
• /
• 1985

It is very important to assure the software quality. The static and dynamic testing are to be performed on the program to find some error in it, and it's purposes are to assure the software quality with cost-effectiveness. For it we use the automated tool. In this paper, it suggest the design of the software tool for COBOL static testing.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.2
• /
• pp.185-198
• /
• 1995

The development of automated quality evaluation tool is desperately needed to decrease the cost of maintenance, to measure quality of source program in developing course for the purpose of developing high quality software. Main goal in this paper is to develop the automated tool for software quality evaluation related with high quality and high reliability of software. In this paper, we proposed the four software quality model to evaluate software quality; functional -size model, understandability model, complexity model and object-oriented model. Also, we made a scanner and a parser to analyze the c and C＋＋ source program and to produce the metrics and function value. The measurement value is statistically analyzed for the distribution of the measurement value. we can extracted the characteristics of measurement value and this one is assisted to make scores of software quality evaluation. Finally, we made a software quality evaluation tool to support software evaluation activities.

• Journal of Information Technology Application
• /
• v.3 no.4
• /
• pp.63-92
• /
• 2001

This paper makes an attempt to look at the process of automatically generating an application software system based on the Entity-Relationship (E-R) model. Basically, the process consists of five steps as follows: First, the designer develops an E-R model of an real-world system. Second, the software generator automatically generates a stereo-type application system. Third, the generator produces database schema and link information between application programs. Fourth, the designer designs the user interface including menu, screen design and so on. Finally, the generator completes the process integrating all the elements of an application system. Five basic program generation rules, three extended rules and a database generation rule have been suggested. By following each rule with the generator, the designer can build an application with an extremely efficient manner compared with traditional approaches. A case study has been included in order to show the applicability of the automated software generation process suggested in this paper. 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 worked well.