• 한국IT서비스학회:학술대회논문집
• /
• 2009.11a
• /
• pp.343-350
• /
• 2009

대규모 금융권 차세대 프로젝트에서 테스트에 대한 중요성은 재무RISK 관점에서 뿐만 아니라 소프트웨어 품질향상을 위한 결함의 제거 관점에서도 그 의미가 크다. 대규모 차세대 프로젝트는 일반 프로젝트에 비하여 개발되는 소프트웨어의 양이 방대하고 개발참여인원도 일반적인 관리수준을 넘어 수작업에 의한 테스트만으로는 충분한 품질을 보장하지 못한다. 또한 테스트를 수행한 이후에도 지속적으로 변경이 발생하고 이를 반영하는 과정에서 많은 결함이 유입되는 현재의 SI 프로젝트 특성상 지속적인 테스트 및 반복적인 검증만이 소프트웨어의 품질을 보장할 수 있다. 본 논문에서는 code coverage testing기법을 활용하여 동적 테스트 수행결과를 log로 도출하고, log 분석 결과를 통해 소프트웨어 품질의 향상을 기대할 수 있는 방안을 제시한다.

• Journal of Internet Computing and Services
• /
• v.12 no.5
• /
• pp.63-72
• /
• 2011

Binary translation is a kind of the emulation method which converts a binary code compiled on the particular instruction set architecture to the new binary code that can be run on another one. It has been mostly used for migrating legacy systems to new architecture. In recent, binary translation is used for instrumenting programs without modifying source code, because it enables inserting additional codes dynamically, For general application, there already exists some instrumentation software using binary translation, such as dynamic binary analyzers and virtual machine monitors. On the other hand, in order to be benefited from binary translation in kernel-level, a few issues, which include system performance, memory management, privileged instructions, and synchronization, should be treated. These matters are derived from the structure of the kernel, and the difference between the kernel and user-level application. In this paper, we present a scheme to apply binary translation and dynamic instrumentation on kernel. We implement it on Linux kernel and demonstrate that kernel-level binary translation adds an insignificant overhead to performance of the system.

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

A software birthmark is a set of characteristics that are extracted from a program itself to detect code theft. A dynamic API birthmark is extracted from the run-time API call sequences of a program. The dynamic Windows API birthmarks of Tamada et al. are extracted from API call sequences during the startup period of a program. Therefore. the dynamic birthmarks cannot reflect characteristics of main functions of the program. In this paper. we propose a functional unit birthmark(FDAPI) that is defined as API call sequences recorded during the execution of essential functions of a program. To find out that some functional units of a program are copied from an original program. two FDAPIs are extracted by executing the programs with the same input. The FDAPIs are compared using the semi-global alignment algorithm to compute a similarity between two programs. Programs with the same functionality are compared to show credibility of our birthmark. Binary executables that are compiled differently from the same source code are compared to prove resilience of our birthmark. The experimental result shows that our birthmark can detect module theft of software. to which the existing birthmarks of Tamada et al. cannot be applied.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2015.10a
• /
• pp.906-909
• /
• 2015

The smart educational environment using the IWB(Interactive White Board) system has been built and developed since e-learning industry was developed significantly in the early 2000's. Basically the IWB system includes the board writing software, and instructors can further increase the training effect by handwriting on the IWB. In this paper we propose new menu layout mechanism of board writing software that only a few menu buttons are displayed based on the frequency of menu usage and the position of menu layout is dynamically moved according to user's writing position. The implementation of our proposed mechanism shows that it is simple and easy to use without user's unnecessary movement. Therefore it is expected to contribute greatly to the development of a future smart education.

• Convergence Security Journal
• /
• v.6 no.1
• /
• pp.13-23
• /
• 2006

It is more desirable to execute AV software on server systems rather than on clients for the minimization of damages due to malicious codes. AV software on server system, however, may aggravate the load of server system. In this paper, we propose a new AV software executed on server system without additional loads with a monitor and multi-agent model. The new AV software supports dynamic load balancing that reflects the features of AV engine, and thus it can be executed efficiently on server systems. The results of performance evaluation on the AV software attest to the strong points of the new AV software.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.79-82
• /
• 2011

무인기용 비행제어 소프트웨어는 인터럽트 핸들러에서 비결정적인 수행결과를 조래하는 경합이 발생될 수 있다. 이러한 유형의 경합을 탐지하기 위한 기존 방법은 원시 프로그램의 인터럽트 핸들러를 스레드로 변환하여 정적 경합탐지 도구를 사용하므로 프로그램 수행 시 실제 발생하지 않는 부정확한 경합(false positives)를 보고한다. 본 연구는 부정확한 경합 보고를 줄이기 위해서 원시 프로그램을 POSIX 실시간 스레브 프로그램으로 변환하고 Lockset기반 탐지기법 의해서 탐지된 공유변수를 대상으로 Happens-before 관계 분석기법을 이용하여 경합을 탐지하는 동적 경합탐지 도구를 사용한다. 제시된 방법의 실험을 위해서 Knob Assembly에 탑재되는 비행제어 소프트웨어를 대상으로 정적 경합탐지 도구와 동적 경합탐지 도구의 경합탐지 결과를 비교 분석한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.11 no.6
• /
• pp.477-487
• /
• 2005

As embedded system grows in size and complexity, the importance of the technique for dynamic memory allocation has increased. The objective of this paper is to measure the performance of dynamic memory allocation by varying both hardware and software design parameters for embedded systems. Unlike torrent performance evaluation studies that have presumed the single threaded system with single address spate without OS support, our study adopts realistic environment where the embedded system runs on Linux OS. This paper contains the experimental performance analyses of dynamic memory allocation method by investigating the effects of each software layer and some hardware design parameters. Our quantitative results tan be used to help system designers design high performance, low power embedded systems.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.22 no.3
• /
• pp.68-74
• /
• 2014

As the number of ECUs (Electronic control units) are increasing, reliability and functional stability of a software in an ECU is getting more important. Therefore the application of functional safety standards ISO 26262 is making the software more reliable. Software fault injection test (SFIT) is required as a verification technique for the application of ISO 26262. In case of applying SFIT, an artificial error is injected to inspect the vulnerability of the system which is not easily detected during normal operation. In this paper, the basic concept of SFIT will be examined and the application of SIFT based on ISO26262 will be described.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2020.07a
• /
• pp.585-586
• /
• 2020

본 논문에서는 동적 웹 어플리케이션의 기능 구현에 사용되는 모듈 구현과 모듈 결합 방식에 따른 효율성은 시스템 운영을 위한 매우 중요한 요인이 된다. 사용자들 간의 인터넷 이용률이 높아지면서 웹 어플리케이션에 다양한 기능들이 추가되어 모듈간의 복잡성이 매우 높은 상태에서 정보를 제공하고 있다. 이러한 복잡성을 줄이기 위해 제시된 방법들을 검증하기 위해 만들어진 웹 어플리케이션을 통해 시뮬레이션의 결과를 제안한다. 소프트웨어 개발에 최소한의 비용으로 최대의 효율성을 내기 위해서는 각 모듈의 여러 가지의 구현 방식과 모듈 간 결합을 테스트한 결과를 MVC 패턴 방식으로 구현된 웹 어플리케이션을 통하여 확인하였다. MVC 패턴의 단점인 모델과 뷰 사이 의존성이 높은 문제를 완화하고, 유지보수성과 결함 허용성을 높이는 모듈 구현 및 통합방식의 연구를 위해 외부 모듈과 내부에서 객체로 구현된 모듈을 사용한 웹 어플리케이션의 결합도에 따른 테스트를 통해 각 모듈의 구현 및 통합 방식에 따른 장단점을 서술한다.

• Aerospace Engineering and Technology
• /
• v.12 no.1
• /
• pp.173-181
• /
• 2013

In this paper, the design result of the trajectory-based air traffic analysis software which is going to be used to assess air-traffic efficiency in case that some modification's made in dynamic airspace configuration, is described. The software has been developed to make statistical data about air-traffic in Incheon FIR based on the RPL, and to analyze the airway utilization and controller workload using the trajectory modeling data which are derived from the aircraft type, cruise speed, cruise altitude, and routes and fixes in the RPL. Since it batch-processes the long-term trajectory data with other inputs such as airspace, route information and so on, it has the advantage of quickly predicting the traffic variation when some change in airspace and route information is made.