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

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

• 디지털콘텐츠
• /
• 11호통권78호
• /
• pp.80-81
• /
• 1999

데이터웨어 테크놀러지사는 (주)한국지식웨어와 지식관리 솔루션인 Dataware II KM Suite의 공급계약을 맺고 국내에 공급하기 시작했다. Dataware II KM Suite는 세계적 지식경영학자인 일본의 노나까 교수가 책임을 맡고 있는 일본의 JAIST KM 연구소에서 도입, 사용중인 제품이다.

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

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

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 춘계학술대회 논문집
• /
• pp.1420-1424
• /
• 2011

When it developes the railway system, safety is one of the most important and necessary things. SCADE SUITE has been used in many systems, like plane, transportation, nuclear power, etc, who have high priority to safety. This document introduces where SCADE SUITE has been used and describes how develope safety-critical system with SCADE.

• 정보처리학회논문지C
• /
• 제18C권4호
• /
• pp.265-278
• /
• 2011

이 논문의 목적은 시뮬레이션 소프트웨어인 OPNET Modeler Wireless Suite를 이용하여 WiFi (IEEE 802.11g)와 WiMAX (IEEE 802.16e)를 가상 무선망으로 모델링 후 종단간 패킷 통계를 시뮬레이션하여 그 특성을 분석한 연구이다. 국내외 무선망에 대한 시뮬레이션이 가능한 툴인 Remcom's Wireless InSite Real Time (RT) 모듈, WinProp: W-LAN, Fixed WiMAX, Mobile WiMAX, SMI 시스템은 무선 전파 신호 세기 분석에 비중을 두었고 이러한 무선 전파 신호 세기로 데이터 전송률을 고려할 수 있도록 설계되었다. 그러나 우리는 이들 시뮬레이션 툴(들)의 특성과 달리 다른 관점으로 본 연구를 접근하였다. 즉, 무선 전파 신호 세기 분석이 아닌 유무선 통합망을 기반으로 한 종단간 가상망 모델링이 가능하고 각 구간(예: 무선사용자, 기지국 또는 AP, HTTP 서버)마다 얼마만큼의 패킷이 전달되었는지를 시각적으로 분석할 수 있는 OPNET Modeler Wireless Suite를 활용한 연구로 접근하였다. 왜냐하면 패킷 통계는 무선서비스 성능 매트릭 중 하나의 지표로 종단간 중요한 QoS 분석 척도가 되기 때문이다. 특히나 WiMAX와 같이 QoS를 보장하는 무선사용자에겐 패킷 통계 지표는 더더욱 필수적인 항목임에 틀림이 없다. OPNET Modeler Wireless 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를 개발한다.

• 한국컴퓨터산업학회논문지
• /
• 제2권3호
• /
• pp.407-416
• /
• 2001

본 논문에서는 C++ 프로그램을 측정하기 위하여 제안된 척도 $\pi_{java}$ c++/를 기반으로 Java 프로그램 복잡도를 측정하기 위한 척도 $\pi_{java}$ Java/을 제안한다. C++를 측정하기 위해 많은 척도들이 제안되어 왔으나 이들은 Java 프로그램만이 가지는 특성들을 고려하지 않았기 때문에 C++ 프로그램과 다른 성질을 가지고 있는 Java프로그램에 이들을 그대로 적용하는 것은 어렵다. 따라서, 본 논문에서는C++와 Java 언어의 공통점과 차이점을 분석한 결과와 본 연구팀이 C++ 프로그램의 복잡도를 측정하기 위해 제안했던 척도 $\pi_{java}$ c++/을 바탕으로 Java 프로그램의 복잡도를 측정하기 위한 새로운 척도 $\prod$$_{Java}$을 제안한다. 마지막으로 제안한 척도를 Weyuker의 성질에 적용하여 분석하며, 기존의 척도들과도 비교한다.

• 한국정보처리학회논문지
• /
• 제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.

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