• Journal of Aerospace System Engineering
• /
• v.18 no.2
• /
• pp.79-86
• /
• 2024

We have developed software for the SMFD that utilizes a range of graphic design tools. These tools enable us to effortlessly create graphic elements by defining their attributes, such as position and motion. Subsequently, we can convert these designs into source code and execute the resulting software on the target system, leveraging the graphic engines provided by the tools. However, when it comes to developing the displaying software for the SMFD using multiple graphic design tools on a single system, we face various challenges. In this paper, we will delve into these challenges and propose solutions for developing the displaying software for SMFD based on heterogeneous display design tools.

• Journal of Information Processing Systems
• /
• v.6 no.2
• /
• pp.235-252
• /
• 2010

Regression testing is a very costly process performed primarily as a software maintenance activity. It is the process of retesting the modified parts of the software and ensuring that no new errors have been introduced into previously tested source code due to these modifications. A regression test selection technique selects an appropriate number of test cases from a test suite that might expose a fault in the modified program. In this paper, we propose both a regression test selection and prioritization technique. We implemented our regression test selection technique and demonstrated in two case studies that our technique is effective regarding selecting and prioritizing test cases. The results show that our technique may significantly reduce the number of test cases and thus the cost and resources for performing regression testing on modified software.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1853-1856
• /
• 2003

모든 소프트웨어 시스템은 시스템 확장 및 아키텍쳐의 변화로 인한 잠재적 이주 필요성을 안고 있다. 그런데, 이 소프트웨어 이주 요구가 갖는 문제점은 새로운 시스템이 기존 시스템의 도메인 지식을 손상시키지 않도록 요청 받는다는 점이다. 이로 인해 역공학의 필요성이 제기되나 하나의 소프트웨어 시스템은 다양한 측면의 시스템 요소를 갖고 있으므로 역공학을 통하여 직관적으로 이해가능 한 설계정보를 유도해내는 것은 어려움에 직면한다. 따라서 본 연구에서는 하나의 레거시 시스템을 역공학 하기 위하여 필요한 프로세스를 제안하고, 역공학 결과물을 정형명세인 UML로 표현하는 사례를 통하여 검증하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.10a
• /
• pp.704-707
• /
• 2019

오늘날 객체지향 코드 내부 복잡도가 지속적으로 증가하는 데에 반해 IT 벤처/중소기업에서는 요구사항 및 설계문서 미비의 코드 개발과 테스트 중심의 경우가 빈번하다. 이는 시스템의 코드를 이해하고 수정, 유지보수를 하는데 많은 시간과 비용이 투자되고 있다. 본 연구는 객체지향 코드의 내부 구조 시각화를 위해 Tool-Chain방법을 이용한 정적 분석기 구축 및 가시화를 제안 한다. 이를 통해, 역공학 도구, 테스트 프로세스 등을 도입이 어려운 중소기업의 소프트웨어 품질 향상에 도움을 줄 수 있을 것으로 기대된다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.15 no.9
• /
• pp.1932-1938
• /
• 2011

Public source code distribution form is done by mainly by limited class user and it was too hard to install. But companies are increasing who distribute software as open source, mass of people's interest also became high and it is coming about installation related methods have been changing. Not only traditional compile based installation, it is entrance on the stage of user friendly technique that is package installation, network based install, file execution after uncompression and cmake method to give easily to developer various platform support. This paper will analyze open source operating system Linux based public open source distributed application installation trend.

• Journal of KIISE:Computing Practices and Letters
• /
• v.9 no.2
• /
• pp.123-132
• /
• 2003

The quality certification test is usually conducted by a certifying organization to determine and guarantee the quality of software after the software development phase, commonly without the actual source code, but with by going against the product's manual. In this paper, we implement a Manual-based Automatic Test data generating tool: MaT, the test technique based on manual, that automatizes producing the test data from analysis data of software package and manual. The input data of MaT are the result of the analysis of software and manual. We propose 'menu-based test analysis model' in order to generate the input data. We believe that the proposed technique and tool he]p improving quality and reliability of the software.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.20 no.2
• /
• pp.106-118
• /
• 1992

The landscape architecture construction cost estimation includes the repeated calculation and updating. Thus, it is time-consuming, and one of the jobs which needs to be automated first. In Korea, the IBM compatible personal computer(PC) is the most widely used one in the landscape architecture firms. However, the software for landscape architecture construction cost estimation is not being used in the PC environment. Therefore, the purpose of this study is to develop the software which can be used to automate the calculation for the landscape architecture construction cost estimation, and runs in the IBM compatible personal computers(PC). The clipper '88 summer is one of the DBMS software packages, and it has many commands and functions and functions which reduces program lines and makes the programing efficient, especially in the programing work whose total source code lines do not exceed over 10,000 lines. So, it was used in this study. The software developed in the this study was tested using the real data, and it was found that it can be efficiently used in the following jobs. They are: (1) to calculate exactly and rapidly. (2) to use resources repeatedly. (3) to print out the results. (4) to store data files for the future use. The software, as discussed in this paper, reduces the time and efforts to be spent in the calculation for the landscape architecture construction cost estimation compared with the traditional approach using the pocket calculator.

• Interdisciplinary Bio Central
• /
• v.1 no.1
• /
• pp.5.1-5.4
• /
• 2009

This article is an addendum to the authors’ previous article (Kim, J. et al. (2008) Plant Cell 20, 307-319). The instrumentation and software described in this article were used to analyze the circadian leaf movement in the previous article. Here, we provide detailed and practical information on the instrumentation and the software. The source code of the LMA program is freely available from the authors. The circadian clock regulates a wide range of cyclic physiological responses with a 24 hour period in most organisms. Rhythmic leaf movement in plants is a typical robust manifestation of rhythms controlled by the circadian clock and has been used to monitor endogenous circadian clock activity. Here, we introduce a relatively easy, inexpensive, and simple approach for measuring leaf movement circadian rhythms using a USB-based web camera, public domain software and a Leaf Movement Assay (LMA) program. The LMA program is a semi-automated tool that enables the user to measure leaf lengths of individual Arabidopsis seedlings from a set of time-series images and generates a wave-form output for leaf rhythm. This is a useful and convenient tool for monitoring the status of a plant's circadian clock without an expensive commercial instrumentation and software.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.11
• /
• pp.46-52
• /
• 2017

Along with the expansion of areas in which ICT and Internet of Things (IoT) devices are utilized, open source software has recently expanded its scope of applications to include computers, smart phones, and IoT devices. Hence, as the scope of open source software applications has varied, there have been increasing malicious attempts to attack the weaknesses of open source software. In order to address this issue, various secure coding programs have been developed. Nevertheless, numerous vulnerabilities are still left unhandled. This paper provides some methods to handle newly raised weaknesses based on the analysis of histories and patterns of previous open source vulnerabilities. Through this study, we have designed a weaknesses analysis system that utilizes weakness histories and pattern learning, and we tested the performance of the system by implementing a prototype model. For five vulnerability categories, the average vulnerability detection time was shortened by about 1.61 sec, and the average detection accuracy was improved by 44%. This paper can provide help for researchers studying the areas of weaknesses analysis and for developers utilizing secure coding for weaknesses analysis.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.