• The Transactions of the Korea Information Processing Society
• /
• v.5 no.10
• /
• pp.2546-2555
• /
• 1998

Existing Systems need to be modified due to the change of environment, the emergence of new technology and the requirement of change. One of the features of system transformation is how functions of the old system is preserved in the transformed system after reverse-engineering. But, the techniques to evaluate and verigy the transformed system have proceeded more partially and fragmentarily. In this paper, we have proposed the functional coverage and developed the tool and techniques for verifying functional euivalence between a procedural software and a transformed object-oriented software. The tool and methods are efficiently used to verigy whehter the transformed program preserves the same functionality as the existing program.

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

기존 소프트웨어 테스팅 기법은 개발자가 수동으로 테스트 케이스를 작성해야 하는 비효율성으로 인해 임베디드 소프트웨어의 안정성 확보에 어려움이 있다. Concolic 테스팅 기법은 자동으로 소프트웨어 테스트 케이스를 생성함으로써 기존 소프트웨어 테스팅 기법의 문제를 해결했지만, 임베디드 소프트웨어 테스트에 필수적인 bitwise 연산을 지원하지 않는 등의 문제가 있었다. 본 논문에서는 임베디드 소프트웨어를 위해 bitwise 연산을 지원하는 Concolic 테스팅 개선 방법에 대한 연구를 수행하고 오픈 소스 임베디드 소프트웨어 Busybox에 적용하여 기존 연구와 결과를 비교하였다. Busybox의 10개 유틸리티에 적용한 결과 기존 연구 결과 대비 평균 33%의 분기 커버리지 향상이 있었다.

• The KIPS Transactions:PartD
• /
• v.17D no.4
• /
• pp.297-310
• /
• 2010

Recently, a new testing technique called concolic testing receives lots of attention. Concolic testing generates test data by combining concrete program execution and symbolic execution to achieve high test coverage. CREST is a representative open-source test tool implementing concolic testing. Currently, however, CREST only deals with integer type as input. This paper presents a new rule for automated test data generation in presence of inputs of pointer type. The rules effectively handles multi-level stack-directed pointers that are mainly used in C programs. In addition, we describe a tool named vCREST implementing the proposed rules together with the results of applying the tool to some C programs.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.382-384
• /
• 2005

소프트웨어 테스팅에서 테스트 스위트(suite)의 수를 줄이면서도 테스트 커버리지나 오류검출에 있어서 효과적인 방법을 찾기 위한 많은 연구가 시도되어 왔다. 안정성이 높은 설계가 되도록 설계 조건을 결정하기 위하여 제어인자들의 직교 배열을 사용하는 시험방법인 교호작용 테스팅 기법이 소프트웨어의 테스트에서도 효과가 매우 높다는 것이 실험으로 증명되고 있다. 소프트웨어는 상대적으로 몇 안 되는 조건들의 조합들로 오류가 발생할 가능성이 높다는 특징을 가지고 있다. 따라서, 파라미터 간 교호작용 강도 t를 갖는 t-way 테스팅을 통해 효과적으로 테스트 스위트를 줄이면서 많은 오류를 검출할 수 있다. 그러나 t값을 증가시키면 테스트 스위트의 수가 늘어난다는 단점이 발생한다. 또한, 어떠한 파라미터들이 서로 교호작용을 일으키는 것인지 알수 없는 상황을 가정한 단순한 교호작용 테스팅은 자칫 서로 관련 없는 파라미터들도 교호작용 테스팅에 참여하기 때문에 테스트의 낭비가 있을 수 있다는 단점이 있다. 이에, 본 논문에서는 소프트웨어의 입력과 출력간의 관계를 바탕으로 시스템 I-O관계도를 작성한 후, 이를 바탕으로 각 출력에 대한 교호작용을 일으킬 수 있는 파라미터를 중심으로 테스트 스위트를 생성하는 Selective Covering Array를 제안한다.

• Journal of Broadcast Engineering
• /
• v.10 no.4 s.29
• /
• pp.587-598
• /
• 2005

KBS and ETRI have co-developed an advanced DOCR(Digital On Channel Repeater) which has an equalization and pre-distortion function and can be operated properly under lower isolation of reception and transmission antennas. Field tests of the DOCR were performed twice in Suwon area in 2004 and 2005. This paper summarizes the characteristics of the DOCR system and field test results in Suwon. The changes in DOCR coverage according to the different generations of ATSC DTV receivers were also analyzed. Basic concept to apply the DOCR system in DTV broadcasting networks in Korea is suggested through test results.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.46 no.5
• /
• pp.29-36
• /
• 2009

Cost and Time for software test is gradually increasing as the software complexity increases. To cope with this problem, it is very important to reduce the number of test cases used in the software test. The interaction strength number is especially important in decision of the number of test cases for the unit test, where the interaction strength number means the number of arguments which affect the results of a function by the analysis of their combination used in source code of the function. This paper proposes the algorithm that computes the number of the interaction strength, where analyzes the patterns used in the source code of a function and increase its number when the pattern matches one of the specified patterns. The proposed algorithm is validated by some experiments finding coverage and the number of fault detection.

• Journal of Software Engineering Society
• /
• v.28 no.1
• /
• pp.23-28
• /
• 2019

Recently, in order to effectively test deep neural network model for image processing application, researches have actively conducted to automatically generate data in corner-case that is not correctly predicted by the model. This paper proposes test data generation method that selects arbitrary words from input of system and transforms them into synonyms in order to test the bug reporter automatic assignment system based on sentence classification deep neural network model. In addition, we compare and evaluate the case of using proposed test data generation and the case of using existing difference-inducing test data generations based on various neuron coverages.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.40 no.2
• /
• pp.126-136
• /
• 2003

We propose a new technique to improve the parametric fault coverage of oscillation test method (OTM). The OTM has been popular as a vectorless scheme for analog circuit test, both as a general defect-oriented technique, as well as an oscillation built-in self- test (BIST) scheme. However, it still requires improvement in several aspects. This paper analyzes the limitation of OTM, and proposes new signature analysis scheme to improve its performance.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.2
• /
• pp.232-241
• /
• 1999

기존의 연구는 FSM을 기본으로 제어흐름만을 분석하거나 시험목적을 시험열 생성 단계에서 고려하지 않음으로써 시험열의 실제 적용에 있어 많은 문제점을 갖는다. 따라서 이 연구에서는 SDL로 기술된 프로토콜 명세서를 시멘틱 모델인 LTS로 변환 후 LTS로부터 서브투어 단위로 시험열을 생성하였다. 그리고 생성된 시험열을 TTCN으로 변환하고 단위 테스트를 위한 추가 정보로서 프리앰블, 포스트앰블, 리셋 정보등을 LTS로부터 생성하였다. 또한 LTS로부터 한 노드에서 전이 가능한 모든 경로를 트리로 표현함으로서 향상된테스트 커버리지를 갖는 서브투어를 생성하였으며 SDL을 시맨틱 모델인 STS로의변환 EH한 기존의 입력과 출력만을 고려하는 FSM에서 발생하는 비결정성 문제를 해결할 수 있다. 따라서 이 연구에서의 테스트 목적이 고려된 TTCN 표현의 테스트 케이스 생성은 적합성 시험을 위한 테스스 케이스의 실제 적용 및 프로토콜 구현의 생산성을 높일 수 있으며 테스팅 환경의 기반을 제공한다.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.8
• /
• pp.401-410
• /
• 2017

This paper proposes a method to generate test cases in an automatic manner, based on checklist containing test cases used for testing embedded systems. In general, the items to be tested are defined in a checklist. However, most test case generation strategies recommend to test a system with not only the defined test items but also various mutated test conditions. The proposed method parses checklist in Korean file and figures out the system inputs and outputs, and operation information. With the found information and the user defined test case generation strategy, the test cases are automatically generated. With the proposed method, the errors introduced during manual test case generation may be reduced and various test cases not defined in checklist can be generated. The proposed method is implemented and the experiment is performed with the checklist for an medical embedded system. The feasibility of the proposed method is shown through the test cases generated from the checklist. The test cases are adequate to the coverages and their statistics are correct.