• Convergence Security Journal
• /
• v.11 no.1
• /
• pp.25-32
• /
• 2011

In this study, software products developed in the course of testing, software managers in the process of testing software test and test tools for effective learning effects perspective has been studied using the NHPP software. The Weibull distribution applied to distribution was based on finite failure NHPP. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. As a result, the learning factor is greater than automatic error that is generally efficient model could be confirmed. This paper, a numerical example of applying using time between failures and parameter estimation using maximum likelihood estimation method, after the efficiency of the data through trend analysis model selection were efficient using the mean square error and $R_{sq}$.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.17 no.4
• /
• pp.3-10
• /
• 2007

In this paper, we proposed the methodology for security testing using block-based file fault injection. When fault is inserted into software, we consider the format of file in order to efficiently reduce the error that is caused by mismatch of format of file. The Vulnerability the methodology focuses on is related to memory processing, such as buffer overflow, null pointer reference and so on. We implemented the automatic tool to apply the methodology to image file format and named the tool ImageDigger. We executed fault-injection focused on WMF and EMF file format using ImageDigger, and found 10 DOS(Denial of Service) in Windows Platform. This methodology can apply to block-based file format such as MS Office file.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.9 no.5
• /
• pp.496-502
• /
• 2016

In this study, we investigated the comparative NHPP software model based on learning techniques that operators in the process of software testing and development of software products that can be applied to software test tool. The life distribution was applied Makeham distribution based on finite fault NHPP. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. As a result, the learning factor is larger than automatic error that is usually well-organized model could be established. This paper, a trust characterization of applying using time among failures and parameter approximation using maximum likelihood estimation, after the effectiveness of the data through trend examination model selection were well-organized using the mean square error and $R^2$. From this paper, the software operators must be considered life distribution by the basic knowledge of the software to confirm failure modes which may be helped.

• KIPS Transactions on Computer and Communication Systems
• /
• v.8 no.5
• /
• pp.119-126
• /
• 2019

Typical software developed and used by North Korea is Red Star and internal application software. However, most of the existing research on the North Korean software is the software installation method and general execution screen analysis. One of the ways to identify software vulnerabilities is file fuzzing, which is a typical method for identifying security vulnerabilities. In this paper, we use file fuzzing to analyze the security vulnerability of the software used in North Korea's Seogwang Document Processing System. At this time, we propose the analysis of open document text (ODT) file produced by Seogwang Document Processing System, extraction of node based on Document Object Mode (DOM) to determine test target, and generation of mutation file through insertion and substitution, this increases the number of crash detections at the same testing time.

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

소프트웨어 시스템의 안전성을 보장하기 위해 여러 안전성 분석 기법들이 사용되고 있으며, 안전성 분석의 결과인 안전성 요구사항을 시스템이 만족하고 있는지 확인하는지 확인하는 안전성 평가과정이 수행되고 있다. 안전성 평가는 많은 시간과 비용이 드는 문제점을 가지고 있다. 본 논문은 안전성 평가에 드는 시간과 비용을 줄이기 위해 테스트 케이스를 이용하여 안전성 요구사항을 소프트웨어 개발의 가장 기본적인 검증기법인 테스팅을 이용하여 시스템이 만족하는지 확인하는 방법을 제안하고 핸드폰의 카메라 컨트롤러 예제를 이용한 사례 연구를 진행하였으며 이를 지원 위한 도구인 TC2SMV를 개발하였다. TC2SMV는 UML의 state chart diagram에서 생성된 test case들을 SMV 입력 프로그램으로 자동으로 변환하여 사용자가 SMV 모델체킹을 수행할 수 있는 환경을 제공한다.

• Journal of the Korean Data and Information Science Society
• /
• v.20 no.6
• /
• pp.1061-1073
• /
• 2009

Stock price index option investing is a scientific investment method and various index and investment strategies have been developed. The purpose of this study is to apply the variety of option investment strategies that have been introduced in the market and validate them using past option trading data. Option data was based on an actual stock exchange market tick data ranging from September 2001 to January 2007. Visual Basic is used to propose an option back-testing model. Validation process was carried out by transferring the tick data into ten-minute intervals and empirically analyzed. Furthermore, most option-related strategies have been applied to the model, and the usefulness of each strategies can be easily evaluated. As option investment has high leverage followed by high risks and profit, the optimal option investment strategy should be used according to the market condition at the time to make stable profit with minimum risk.

• Convergence Security Journal
• /
• v.11 no.6
• /
• pp.73-80
• /
• 2011

In this study, software products developed in the course of testing, software managers in the process of testing software and tools for effective learning effects perspective has been studied using the NHPP software. The delayed software S-shaped reliability model applied to distribution was based on finite failure NHPP. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. As a result, the learning factor is greater than automatic error that is generally efficient model could be confirmed. This paper, numerical example of applying using time between failures and parameter estimation using maximum likelihood estimation method, after the efficiency of the data through trend analysis model selection were efficient using the mean square error and $R^2$(coefficient of determination).

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.12 no.10
• /
• pp.4543-4549
• /
• 2011

In this study, software products developed in the course of testing, software managers in the process of testing software test and test tools for effective learning effects perspective has been studied using the NHPP software. The Burr distribution applied to distribution was based on finite failure NHPP. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. As a result, the learning factor is greater than automatic error that is generally efficient model could be confirmed. This paper, a numerical example of applying using time between failures and parameter estimation using maximum likelihood estimation method, after the efficiency of the data through trend analysis model selection were efficient using the mean square error and $R^2$.

• Convergence Security Journal
• /
• v.13 no.1
• /
• pp.71-78
• /
• 2013

In this study, software products developed in the course of testing, software managers in the process of testing software test and test tools for effective learning effects perspective has been studied using the NHPP software. The doubly bounded power law distribution model makeup Weibull distribution applied to distribution was based on finite failure NHPP. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. As a result, the learning factor is greater than automatic error that is generally efficient model could be confirmed. This paper, a numerical example of applying using time between failures and parameter estimation using maximum likelihood estimation method, after the efficiency of the data through trend analysis model selection were efficient using the mean square error and $R^2$.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.10a
• /
• pp.439-443
• /
• 2004

최근 임베디드 시스템 기술은 마이크로프로세스의 저가, 소형화, 고성능화에 따라 제품 경쟁력의 핵심이 H/W 생산기술에서 S/W 시험$\cdot$품질보증기술로 이동하고 있다. 그러나 마켓-플레이스의 다양한 임베디드 S/W 아키텍처 및 개발환경은 임베디드 S/W 자동차 시험방법에 대한 제약을 지닌다. 이에 본 논문에서는 동적 인스트루멘테이션(Dynamic Instrumentation)을 기법 및 그에 대한 디자인 프레임워크(Design Framework)를 제시한다. 이러한 동적 인스트루멘테이션 기법을 적용한 프레임워크는 다양한 임베디드 시스템 환경을 추상화(Abstraction)하여 임베디드 S/W 시스템의 신시간 수행과정에서 고품질달성과 관련된 데이터를 수집하고 분석하는데 이용되어질 수 있다.