• The KIPS Transactions:PartA
• /
• v.16A no.4
• /
• pp.245-254
• /
• 2009

With the increasing adoption of embedded processors, the need of developing compilers for the embedded processors with timely manner is also growing. Retargeting has been adopted as a viable approach to constructing new compilers by modifying the back-end of an existing compiler. This paper proposes a test suite generation system for testing retargetable C compilers. The proposed system generates the test suite using the grammar coverage concept. Generally, the size of the test suite satisfying the grammar coverage of the source language is very large. Hence, the proposed system also provides the facility to reduce the size of the test suite. According to the experimental result, the reduced test suite can detect 75% of the compiler faults detected by the original test suite though the size of the reduced test suite is only 10% of that of the original test suite in average. This result indicates that the reduction technique proposed in this paper can be effectively used in the prior phase of the development procedure of the embedded compilers.

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

In order for efficient Bluetooth Baseband functional test, Bluetooth SIG (Special Interest Group) provides with Test Suite Structure (TSS) in the Bluetooth specification version 1.1. Bluetooth Baseband hardware which needs to be authenticated should implement the test specification defined in the TSS part I.1 through I.3. In this paper, we discuss the method to verify and test a Bluetooth Baseband implementation based on the TSS version 1.0. Also, we describe various senario and implementation possibilities to perform the Bluetooth Baseband authentication test.

• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.8
• /
• pp.786-793
• /
• 2010

This paper proposes a new method called the path-history coverage to generate a test suite to test the state transition behavior of the robot SW component. The proposed method generate a test suite which includes abnormal state transitions based on FSM of target component. Especially the proposed method covers the disadvantage of the mutation test method that the size of the test suite is explosively increasing. Examples including OPRoS Component[1] show the validity of the proposed method.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.23 no.2
• /
• pp.231-242
• /
• 2013

Recently, automated software testing methods such as fuzzing have been researched to find software vulnerabilities. The purpose of fuzzing is to disclose software vulnerabilities by providing a software with malformed data. In order to increase the probability of vulnerability discovery by fuzzing, we must solve the test suite reduction problem because the probability depends on the test case quality. In this paper, we propose a new method to solve the test suite reduction problem which is suitable for the long test case such as file. First, we suggested the length of test case as a measure in addition to old measures such as coverage and redundancy. Next we designed a test suite reduction algorithm using the new measure. In the experimental results, the proposed algorithm showed better performance in the size and length reduction ratio of the test suite than previous studies. Finally, results from an empirical study suggested the viability of our proposed measure and algorithm for file fuzzing.

• Journal of the Korea Computer Graphics Society
• /
• v.12 no.1
• /
• pp.37-42
• /
• 2006

OpenVG는 Khronos Group 에 의해 제정된 2D 벡터 그래픽스를 위한 하드웨어 가속 표준이다. OpenVG 적합성 테스트 도구(conformance test suite)는 다양한 기관에서 구현된 OpenVG 엔진이 OpenVG 표준에서 정의한 요구사항들을 만족하는가를 측정하는 도구이다. 적합성 테스트의 통과 여부는 시장에서 해당 제품의 기술적 우위성 및 안정성을 보장하는 지표가 되기에 적합성 테스트 개발 과정에서 형평성 및 객관성을 확보하는 것은 대단히 중요한 일이다. 본 논문에서는 OpenVG Conformance Test Suite의 설계 및 구현 과정을 소개함으로써 표준의 제정과 더불어 꼭 필요한 과정인 적합성 테스트 도구 개발 시에 형평성과 객관성을 유지하기 위한 바람직한 개발 모델을 제시한다. 이를 통해 향후 타 표준의 적합성 테스트 개발 시에 참고가 되고자 한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2003.05a
• /
• pp.749-752
• /
• 2003

The HLA is defined by three components: (1) Rules, (2) the HLA Interface Specification, and (3) the Object Model Template(OMT). The RTI(Run-Time Infrastructure) software implements the interface specification. It provides services in a manner that is comparable to the way a distributed operating system provides services to applications. A way to test whether is suitable for a standard, and all service was implemented is tested through two phases of processes to verify the RTI which proposed in DMSO. In this paper, we discuss Level One Test Procedures and a method. Confirms whether RTI was implemented in Interface Specification according to Level One Test Procedures appropriately through a test. Develops Test Suite for every each step to test whether a correct command and the expected results are occur.

• Journal of Information Processing Systems
• /
• v.6 no.2
• /
• pp.197-208
• /
• 2010

Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria. We are proposing to apply Formal Concept Analysis (FCA) in analyzing the association between a set of test scenarios and a set of transitions specified in a state machine model. By utilizing the properties of concept lattice, we are able to determine incrementally a minimal set of test scenarios with adequate test coverage.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.1
• /
• pp.128-136
• /
• 1998

TTCN(Tree and Tabular Combined Notation), as an international standard, provides a concept and notation to describe a protocol test specification. In this paper, we explain some considerations on each components of Abstract Test Suite and propose naming conventions for Constraints and Test Cases based on the experience of describing Test Suite for real protocol. We also analyze some problems on real application of Test Suite and propose an approach to avoiding such problems in the stage of Test Suite specification. In this paper, we use the SSCOP(Service Specific Connection Oriented Protocol) protocol, that is a sub-layer of ATM Forum UNI 3.1 protocol stack, as an example to proposals on naming conventions on Constraints and Test Cases.

• Language and Information
• /
• v.4 no.2
• /
• pp.1-26
• /
• 2000

The purpose of this paper is to establish the standard method of evaluation English-to-Korean MT systems We focus on test suites, evaluation procedure and evaluation results. Four computer programs on the market are tested on a test suite consisting of 1,501 sentence, The quality of translation and the capacity of MT system are the key points for evaluation . The sentences in the suite are classified according to the grammatical properties they reveal. The classificatory scheme has the structure of a directory: each sentence belongs to a subclass, which belongs to a major class,. We place the sentences in the test suite on a scale of difficulty (hard ordinary easy) and each output sentence is graded on a scale of four accuracy levels. We also test the programs with respect to their speed.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.16 no.3
• /
• pp.129-141
• /
• 2006

The purpose of this paper is to design Conformance Test Suite for BSP(Biometric Service Provider) based on BioAPI(Biometric Application Programming Interface) v2.0. The proposed BioAPI Conformance Test Suite enables users to test BSP with framework independently. A test scheduling tool has been embodied to use Test Assertion in the form of XML. In order to demonstrate the performance of the Conformance Test Suite, the experiment was performed by using both verification and identification BSPs. As the results of this experiment, we were able to determinate whether BSPs based on BioAPI v2.0 satisfied standard requirements or not.