• The KIPS Transactions:PartC
• /
• v.14C no.4
• /
• pp.313-320
• /
• 2007

In this paper, we propose a method to analyze security vulnerabilities of MS word-processor by checking the validation of its input files. That is, this study is to detect some vulnerabilities in the input file of the word processor by analyzing the header information of its input file. This validation test can not be conducted by the existing software fault injection tools including Holodeck and CANVAS. The proposed method can be also applied to identify the input file vulnerabilities of Hangul and Microsoft Excel which handle a data file with a header as an input. Moreover, our method can provide a means for assessing the fault tolerance and trustworthiness of the target software.

• Journal of Korea Multimedia Society
• /
• v.18 no.12
• /
• pp.1501-1508
• /
• 2015

In this paper, we describe a case study to improve performance through the load testing of multi-tired system for financial accounts before the system opening. The load test was conducted after the data collection tools(Performance Monitor, DB PSSDiag) were installed. By analyzing the collected log, we were able to identify the main sector requiring performance improvements among the presentation tier, web tier, business logic tier and data tier. The ASP.NET server-down on the web tier could be improved by modifying the parameter values in the configuration file. Some server downs occurred on the business logic tier when a large number of users access at the same time, were more difficult to be solved. By analyzing the hang-dump at the server-down time, we were able to find a process that caused the problem. and we had to modify the relevant codes. For major performance improvements of the data-tier, indices of some queries was optimized by using the built-in DBMS query analyzer, after analyzing the log of long-response-time queries. The problems and solutions considered in this case study will be a reference for the performance improvement of a multi-layer system with the similar structure.

• Proceedings of the KIEE Conference
• /
• 2005.07b
• /
• pp.1739-1741
• /
• 2005

Many photovoltaic(PV) systems are being developed and installed. For a PV developer, simulations are required before the experimental testing. However, most simulation tools do not offer data libraries for PV systems, so that some Institutes who try to use such software will be in difficulty. In this paper, simulations of performance and stability have been carried out using the software PSPICE. In this paper, the modelling of solar cell arrays, photovoltaic modules, PV generators, batteries and drive systems is carried out based on mathematical equivalence circuits and available data, and the models are converted into a data library for PSPICE that is user friendly. System variations can be modeled by simple parameter variation. To verify the accuracy of the simulation library, various models were run and compared to known systems.

• Journal of The Korean Astronomical Society
• /
• v.52 no.5
• /
• pp.207-216
• /
• 2019

In this paper we introduce a software package, the Very long baseline interferometry Network SIMulator (VNSIM), which provides an integrated platform assisting radio astronomers to design Very Long Baseline Interferometry (VLBI) experiments and evaluate the network performance, with a user-friendly interface. Though VNSIM is primarily motivated by the East Asia VLBI Network, it can also be used for other VLBI networks and generic interferometers. The software package not only integrates the functionality of plotting (u, v) coverage, scheduling the observation, and displaying the dirty and CLEAN images, but also adds new features including sensitivity calculations for a given VLBI network. VNSIM provides flexible interactions on both command line and graphical user interface and offers friendly support for log reports and database management. Multi-processing acceleration is also supported, enabling users to handle large survey data. To facilitate future developments and updates, all simulation functions are encapsulated in separate Python modules, allowing independent invoking and testing. In order to verify the performance of VNSIM, we performed simulations and compared the results with other simulation tools, showing good agreement.

• The KIPS Transactions:PartD
• /
• v.14D no.5
• /
• pp.517-530
• /
• 2007

Recently web applications have growl rapidly and have become more and more complex. As web applications become more complex, there is a growing concern about their quality. But very little attentions are paid to web applications testing and there are scarce of the practical research efforts and tools. Thus, in this paper, we suggest the automated testing methods for web applications. For this, the methods generate an analysis model by analyzing the HTML codes and the source codes. Then test targets are identified and test cases are extracted from the analysis model. In addition, test drivers and test data are generated automatically, and then they are depleted on the web server to establish a testing environment. Through this process we can automate the testing processes for web applications, besides the automated methods makes our approach more effective than the existing research efforts.

• Annual Conference of KIPS
• /
• 2017.04a
• /
• pp.1183-1184
• /
• 2017

라즈베리파이와 같은 경량 시스템이 보급되면서, 기존의 서버 중심의 분석 기법에서 경량 시스템에서 경량/순간 분석을 하고, 누적/중량 분석은 서버에서 수행할수 있는 계층적 협업 분석에 대한 연구를 진행하고 있으며, 이를 통해 IoT Thing을 논리적으로 묶어서 Cloud of Things과 같이 센서 데이터 수집/처리를 용이하게 하기 위해 구현된 계층적 협업 분석 SW에 대한 시험 검증 사례에 대한 연구 내용을 담고 있다.

• Coupled systems mechanics
• /
• v.5 no.1
• /
• pp.21-39
• /
• 2016

Wastewater process models are the essential tools for understanding relevant aspects of wastewater treatment system. Wastewater process modeling provides more options for upgrades and better understanding of new plant design, as well as improvements of operational controls. The software packages (BioWin, GPS-X, Aqua designer, etc) solve a series of simulated equations simultaneously in order to propose several solutions for a specific facility. Research and implementation of wastewater process modeling in combination with computational fluid dynamics enable testing for improvements of flow characteristics for WWTP and at the same time exam biological, physical, and chemical characteristics of the flow. Application of WWTP models requires broad knowledge of the process and expertise in modeling. Therefore, an efficient and good modeling practice requires both experience and set of proper guidelines as a background.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.123-125
• /
• 2012

임베디드 소프트웨어에서의 테스팅은 하드웨어에 의존도가 높기 때문에 일반적인 소프트웨어에서의 테스팅과 달리 다양한 테스트 기법과 도구를 활용한 기술 집약적 테스트가 미약하고, 다른 펌웨어에서 테스팅 할 경우 테스팅이 제대로 되지 않는다. 본 논문에서는 하드웨어 의존도가 높은 임베디드 소프트웨어의 모듈을 펌웨어가 다른 x86의 환경에서 테스팅 할 수 있도록, 레지스터, 포트 등을 참조하는 부분을 로그로 출력하고, 모듈끼리의 의존성이 없도록 소스 코드를 수정하여, 공개 소스 테스팅 도구를 활용하여 단위 테스트 할 수 있도록 하였다.

• International Journal of Advanced Culture Technology
• /
• v.7 no.3
• /
• pp.158-165
• /
• 2019

Knowledge based system includes tools for constructing, testing, validating and refining the system along with user interfaces. An important issue in the design of a complete knowledge based system is the ability to produce explanations. Explanations are not just a series of rules involved in reasoning track. More detailed and explicit form of explanations is required not only for reliable reasoning but also for maintainability of the knowledge based system. This requires the explanation mechanisms to extend from knowledge oriented analysis to task oriented explanations. The explicit modeling of problem solving structures is suggested for explanation generation as well as for efficient and effective reasoning. Unlike other explanation scheme such as feedback explanation, the detailed, smaller and explicit representation of problem solving constructs can provide the system with capability of quality explanation. As a key step to development for explanation scheme, the problem solving methods are broken down into a finer grained problem solving primitives. The system records all the steps with problem solving primitives and knowledge involved in the reasoning. These are used to validate the conclusion of the consultation through explanations. The system provides user interfaces and uses specific templates for generating explanation text.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.05a
• /
• pp.603-606
• /
• 2004

Automatic test case generation for testing an embedded software is considered. Existing tools for test case generation such as finite state machine or mutant test usually adopt top down approach and depend upon graphical transition and decision table, which makes it difficult to find out where the bugs exist. Also it is hard to describe the special features of embedded systems such as concurrent execution of individual components. Most of embedded systems interacts with the real world, receiving signals through sensors or switches and sending output signals to actuators that somehow manipulate the environment. Embedded software controls the entire system based on the logics such as interpreting the sensor inputs and making the actuators to start or stop their intended operation. This study proposes an automatic test case generation procedure that tests the system starting from the control logics of sensors, switches and actuators and then their concurrent execution controls, and finally the entire system operation. Such a stepwise approach makes it easy to generate test cases to tell where the bugs of embedded software exist.