• 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.

• Review of KIISC
• /
• v.29 no.2
• /
• pp.29-35
• /
• 2019

CPS(Cyber Physical System)에 대한 사이버 공격이 다양해지고 고도화됨에 따라 시그니쳐에 기반한 악성행위 탐지는 한계가 있어 기계학습 기반의 정상행위 학습을 통한 비정상행위 탐지 기법이 많이 연구되고 있다. 그러나 CPS 보안 연구는 보안상의 이유로 CPS 데이터가 주로 외부에 공개되지 않으며 또한 실제 비정상행위를 가동 중인 CPS에 실험하는 것이 불가능하여 개발 기법의 검증이 어려운 문제가 있다. 이를 해결하기 위해 2015년 SUTD(Singapore University of Technology and Design)의 iTrust 연구소에서 SWaT(Secure Water Treatment) 테스트베드를 구성하고 36가지의 공격을 수행한 데이터셋을 공개하였다. 이후 국 내외에서 SWaT 테스트베드 데이터를 사용하여 다양한 보안 기법을 검증한 연구결과가 발표되고 있으며 CPS 보안에 기여하고 있다. 따라서 본 논문에서는 SWaT 테스트베드 데이터 및 SWaT 테스트베드 데이터에 기반한 비정상행위 탐지 연구를 분석한 내용을 설명하고, 이를 통해 CPS 비정상행위 탐지 설계의 주요 요소를 분석하여 제시하고자 한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.2
• /
• pp.748-751
• /
• 2005

This paper introduces the testbed configuration for telematics wireless communications using terrestrial digital multimedia broadcasting (T-DMB) network. The testbed for telematics wireless communications is consisted of indoor laboratory testbed and outdoor field testbed. As a result of research, are derived testbed configurations for individual function verification at the indoor laboratory and performance test at the outdoor test road. In addition, a return channel configuration is described for interactive protocol as necessary for telematics services using T-DMB.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2012.05a
• /
• pp.690-692
• /
• 2012

This pape presents the efficient test data compression method considering test power dissipation in scan test of IP core. There are many researches about test data compression using scan slice selective encoding except power dissipation. We present the new algorithm that assigns the don't care value to be a minimal hamming distance between adjacent slices. Experimental results show that the power dissipation is reduced.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.40 no.10
• /
• pp.1912-1921
• /
• 2015

In this paper, we introduce a testbed for testing the RF energy transfer technology in the Internet of Things (IoT) environment, and provide experimental results obtained by using the testbed. The IoT environment considered in this paper consists of a power beacon, which is able to wirelessly transfers energy via microwave, and multiple sensor nodes, which makes use of the energy received from the power beacon. We have implemented the testbed to experiment the RF energy transfer in such IoT environment. We have used off-the-shelf hardware components to build the testbed and have made the tesbed controlled by software so that various energy and data transmission protocol experiments can easily be conducted. We also provide experimental results and discuss the future research direction.

• KIPS Transactions on Computer and Communication Systems
• /
• v.3 no.10
• /
• pp.365-370
• /
• 2014

Although Internet of Things already became a new paradigm on service on network, we should pay more effort for studying about its testing method, since humans, things and environments in IoT are connected to each other without any restrictions. Earlier researches based on emulators showed that such virtual devices on emulators had unavoidable gap between them and real things. Furthermore, growth of connection complexity between the devices and loosing of restrictions make the gap wider. Accordingly, in this paper, we suppose a method of test coverage measurement based on BitTorrent for IoT environment. It has cooperation features among homogeneous devices with avoiding the overlapping on each part of whole test process.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.3
• /
• pp.681-689
• /
• 2008

Graphic User Interface(GUI) of mobile application is the working environment exchanging informations and almost functions on mobile are operated by it. In order to increase the productivity and to develop reliable mobile software, GUI test is absolutely needed. In this paper, we introduce the scenario based GUI test method and automatic tool(MoGuT). The MoGuT can detect the functional faults using scenarios and operate in SKVM environment.

• The Journal of the Korea Contents Association
• /
• v.5 no.1
• /
• pp.229-236
• /
• 2005

Testing time and power consumption during testing System-On-a-Chip (SOC) are becoming increasingly important as the IP core increases in a SOC. We present a new algorithm to reduce the scan-in power and test data volume using the modified scan latch reordering. We apply scan latch reordering technique for minimizing the hamming distance in scan vectors. Also, during scan latch reordering, the don't care inputs in scan vectors are assigned for low power and high compression. Experimental results for ISCAS 89 benchmark circuits show that reduced test data and low power scan testing can be achieved in all cases.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.39 no.12
• /
• pp.1045-1054
• /
• 2002

We present a new low power scan testing and test data compression mothod lot System-On-a-Chip (SOC). The don't cares in unspecified scan vectors are mapped to binary values for low Power and encoded by adaptive encoding method for higher compression. Also, the scan-in direction of scan vectors is determined for low power. Experimental results for full - scanned versions of ISCAS 89 benchmark circuits show that the proposed method has both low power and higher compression.

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

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