• 정보처리학회논문지A
• /
• 제16A권4호
• /
• pp.245-254
• /
• 2009

임베디드 프로세서 사용이 증가함에 따라 임베디드 프로세서를 위한 컴파일러를 시기 적절히 개발해야 할 필요성이 증가하고 있다. 컴파일러 후단부를 수정하여 새로운 컴파일러를 구성하는 재겨냥 기법이 이에 적합한 기법으로 채택되고 있다. 이 논문에서는 재겨냥성 C 컴파일러를 테스트하기 위한 테스트 집합 생성 시스템을 제안한다. 제안한 시스템은 문법 커버리지 개념을 이용하여 테스트 집합을 생성한다. 일반적으로 원시 프로그래밍 언어의 문법을 이용하여 테스트 집합을 생성하면 방대한 크기의 테스트 집합이 얻어진다. 그러나 신속히 컴파일러를 출시해야하는 상황에서는 방대한 테스트 집합 크기가 문제가 될 수 있다. 이에 이 논문에서 제안한 시스템은 중간 코드를 고려하여 테스트 집합을 축약하는 기능을 탑재하고 있다. 실험 결과에 따르면, 비록 축약된 테스트 집합 크기는 원본 테스트 집합 크기의 평균 10%에 불과하지만 원본 테스트 집합이 검출할 수 있는 컴파일러 오류의 75% 정도를 검출할 수 있음을 알 수 있었다. 이는 본 논문에서 제시한 축약 기법이 임베디드 컴파일러 개발 초기 단계에서 효과적으로 사용될 수 있음을 의미한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2005년도 추계종합학술대회
• /
• pp.997-999
• /
• 2005

블루투스 베이스밴드를 효율적으로 테스트하기 위하여, 블루투스 버전 1.1에서는 TSS를 (Test Suite Structure) 제공한다. TSS에서 정의한 part.1-3의 부분에 대한 테스트를 구현함으로써 블루투스 베이스밴드가 인증을 받을 수 있는 것이다. 본 고에서는 TSS vl.0에서 제시하는 테스트 스펙에 근거하여 블루투스 베이스밴드에 대한 설계를 검증하고 테스트 하는 방법에 대해서 논한다. 또한 테스트를 수행하기 위한 다양한 시나리오와 가능성에 대해서 논한다.

• 제어로봇시스템학회논문지
• /
• 제16권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.

• 정보보호학회논문지
• /
• 제23권2호
• /
• pp.231-242
• /
• 2013

최근 소프트웨어의 취약점을 찾기 위해 퍼징과 같은 자동화된 테스팅 방법을 이용한 많은 연구가 진행되고 있다. 퍼징은 소프트웨어의 입력을 특정 규칙에 따라 자동으로 변형시켜 소프트웨어의 오작동 여부를 탐지하고 그 결과로부터 취약점을 발견하는 것이다. 이 때 소프트웨어에 입력되는 입력 값, 즉 테스트 케이스에 따라 취약점을 발견할 수 있는 확률이 달라지기 때문에 취약점 발견 확률을 높이기 위해서는 테스트 케이스의 집합인 테스트 슈트 축약 문제를 해결하여야 한다. 이에 본 논문에서는 파일과 같은 대용량 테스트 케이스를 대상으로 효과적으로 테스트 슈트 축약 문제를 해결할 수 있는 방법을 제안하고자 한다. 이를 위해 기존 연구에서 주로 사용되었던 커버리지와 중복도 이외에 새로운 척도인 테스트 케이스의 길이를 제시하고, 본 척도에 적합한 축약 알고리즘을 설계하였다. 실험을 통해 본 논문에서 제안한 알고리즘이 기존 연구의 알고리즘보다 높은 크기와 길이 축약율을 나타냄을 보임으로써 제안하는 알고리즘의 효율성을 증명할 수 있었다.

• 한국컴퓨터그래픽스학회논문지
• /
• 제12권1호
• /
• pp.37-42
• /
• 2006

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

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2003년도 춘계종합학술대회
• /
• pp.749-752
• /
• 2003

HLA(High Level Architecture)는 미 국방성에서 제안한 분산 시뮬레이션을 위한 실시간 분산 데이터 공유를 위한 객체, 시간, 인터페이스 규격을 말한다. 이 HLA는 (1) Rules, (2) Interface Specification, (3) Object Model Template 둥의 3가지 구성요소로 정의되며, 인터페이스 명세를 구현한 것이 RTI(Run-Time Infrastructure)이다. RTI는 분산 운영체계가 응용 프로그램에게 서비스를 제공하는 것과 유사한 방법으로 Federation을 구성하고 있는 Federate들에게 상호연동에 필요한 서비스를 제공한다. 모든 서비스들이 표준에 적합하게 구현되었는지 테스트하기 위한 방법은 DMSO에서 제안한 RTI를 검증하기 위한 2단계 과정을 통해 테스트된다. 본 논문에서는 1단계 테스트를 위한 테스트 절차와 그 방법에 대해 논한다 테스트 결과를 토대로 각 영역에서 DMSO에서 제안한 Level One Test Procedures에 따라 RTI가 Interface Specification에 적합하게 구현되었는지 확인하며, 각 단계마다 올바른 명령과 예상된 결과가 나오는지 테스트하기 위한 Test Suite를 개발한다.

• Journal of Information Processing Systems
• /
• 제6권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.

• 한국정보처리학회논문지
• /
• 제5권1호
• /
• pp.128-136
• /
• 1998

프로토콜에 대한 적합성시험을 기술하기 위한 국제 시험 표준 언어인 TTCN(Tree and Tabular Combined Notation)은 추상시험스위트의 전체적인 구조, 시험 목적의 표현 그리고 각 시험 기술 요소에 대한 개념과 표기법을 제공하고 있다. 이 논문에서는 TTCN을 사용하여 프로토콜 시험 규격 즉 추상시험스위트를 기술함에 있어서 추상시험스위트의 각 요소에 대해 고려하여야 할 점을 설명하고, 실제적인 시험 기술 경험을 토대로 시험 적용범위의 검증이 용이하고 사용자에게 많은 정보를 줄 수 있는 시험제약과 시험경우에 대한 명명법을 제안하였다. 또한 이 논문에서는 추상시험스위트를 수행 가능한 형태로 변환하여 시험대상에 대해 적용할 때 실제 환경의 제한으로 인하여 발생할 수 있는 문제점을 분석하고 이를 추상 시험스위트 작성 단계에서 미리 해결하는 방안을 제시하였다. 이 논문에서는 ATM Forum UNI 3.1 신호방식 프로토콜 스택 중 AAL(ATM Adaptation Layer)계층의 부계층인 SSCOP(Service Specific Connection Oriented Protocol) 프로토콜을 대상으로 하여 사례를 제시하고, 이를 바탕으로 TTCN 사용의 문제점을 고찰하고 그 해결 방안을 제시하였다.

• 한국언어정보학회지:언어와정보
• /
• 제4권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.

• 정보보호학회논문지
• /
• 제16권3호
• /
• pp.129-141
• /
• 2006

본 논문은 BioAPI(Biometric Application Programming Interface) v2.0 기반의 BSP(Biometric Service Provider) 표준 적합성 시험 도구의 설계 및 구현을 목적으로 한다. 제안한 BioAPI 적합성 시험 도구는 프레임워크(Framework) 없이 독립적으로 BSP를 시험할 수 있으며, 향후 XML 형태의 Test Assertion을 이용할 수 있도록 테스트 스케줄링 툴을 구현하였다. 또한 적합성시험 도구를 검증하기 위해 상용 지문 인식 검증(verification) 및 식별(identification) BSP를 이용하여 실험을 수행하였다. 이에 따라 BioAPI v2.0을 기반으로 한 BSP들이 요구사항에 적합하게 개발되었는지를 판단 할 수 있었다.