• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권4호
• /
• pp.526-532
• /
• 1999

본 논문에서는 마이크로프로그램을 위한 테스트 데이타를 자동으로 생성하는 시스템을 제안하였다. 이 시스템에서는 주어진 경로를 따라 마이크로프로그램을 기호수행(symbolic execution)시켜 경로조건식을 구하고 이 식를 풀어서 테스트 데이타를 생성한다. 기호수행 방법을 이용하여 테스트 데이타를 생성하기 위해서는 경로조건식이 선형이어야 한다. 따라서 본 논문에서는 마이크로프로그램의 테스트 데이타를 생성하기 위하여 마이크로프로그램에서 사용되는 연산자들을 선형 연산자로 변환하는 방법을 제안하였다. Abstract In this paper, we propose an automated test data generation system for microprogram. This system symbolically executes microprogram along a given path, extracts path conditions for the given path, and generates test data by solving the path conditions. To generate test data using symbolic execution, the path conditions must be linear. Therefore, we propose a linearization method which transforms operators used in the microprogram into linear operators.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2018년도 제58차 하계학술대회논문집 26권2호
• /
• pp.29-30
• /
• 2018

전 세계적으로 급증하고 있는 에너지 수요로 인해 오일, 가스 등의 에너지 생산 매체를 운송 할 수 있는 수송 수단인 배관에 대한 수요도 증가하고 있는 추세이다. 그러나 이러한 배관을 장시간 사용할 경우 노후화로 인해 발생되는 파공은 배관에 흐르는 유체 누설의 원인이 되고, 나아가서 경제 및 재난 피해를 야기할 수 있다. 따라서 다양한 배관 누설 검출 기술들이 개발되고 있는 추세이며, 이를 위해서는 신뢰성 있는 결함 모사 데이터의 확보가 매우 중요하다. 본 논문에서는 신뢰성 있는 데이터 수집을 위해 배관의 누설 상황을 모사 할 수 있는 테스트베드를 제어하고, 테스트베드에서 데이터를 안정적으로 취득할 수 있는 테스트베드 제어 및 데이터 취득 시스템을 제안한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2000년도 제12회 한글 및 한국어 정보처리 학술대회
• /
• pp.210-215
• /
• 2000

HANTEC1.0은 12만 건의 문서집합과 30개의 질의집합, 그리고 각 질의에 대한 적합문서로 구성된 정보검색용 한글 테스트 컬렉션이다. 본 연구에서는 HANTEC1.0의 확장 및 보완하기 위해 과학기술분야 20개의 질의를 추가하였는데, 질의 추가를 위해서 일본 NACSIS 테스트 컬렉션의 질의를 번역하여 사용함으로써 한일 교차언어 검색환경을 조성하고자 하였다. 추가된 각 질의에 대해서는 여러 검색기에서 총 41가지 검색방법으로 검색한 후, 각 검색조합의 상위 50개 문서로 구성된 중간 결과집합을 만들었으며, 이를 대상으로 적합성판정에 대한 평가기준 및 절차 교육이 이루어진 평가자가 각 질의에 대한 적합성평가를 실시하였다 이렇게 구축된 HANTEC 테스트 컬렉션의 적합문서 집합의 객관적 품질 평가와 시스템 성능평가를 위하여 통계적인 방법을 적용하므로써 공신력있고 일반화된 테스트 컬렉션을 구축하고자 하였다. 현재 HANTEC2.0은 검색분야 연구자 및 개발자에게 자유롭게 배포 중이며 정보검색 시스템의 신뢰도 측정을 목적으로 하는 학술대회의 연구결과 발표 및 제품 비교 등에 활용되어질 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (상)
• /
• pp.367-370
• /
• 2001

최근 다양한 어플리케이션과 전용 임베디드 시스템의 개발 필요성이 증가하고 있으며 이는 Smart Community를 추구하는 디지털 지식사회의 중요한 이슈가 되고 있다. 현재 상용화되고 있는 대부분의 실시간 임베디드 시스템들을 다양한 측면에서 자사의 제품 기준에 따르는 기술적 특징과 성능 지표를 제공하고 있으며 이를 통한 성능 품질 등의 판단 근거로 제시되고 있다. 그러나 각 자료들이 공인 기관에서 제공되지 않아 자료의 신뢰도가 낮으며 따라서 성능측정 및 품질척도로 비교하는데는 어려움이 있다 따라서 본 연구는 이러한 문제점을 착안하여 자바 카드 API의 품질 평가를 위해서 사전에 테스트를 거쳐 좀더 신뢰성과 안전성이 높은 자바 카드 애플릿을 개발하고자 한다. 이에 가장 중요한 부분 중에 하나인 에러체크를 통해 임의적으로 에러 처리 시나리오를 작성해서 그 시나리오를 거친 테스트 데이터를 생성한 후, 그 데이터를 가지고 API의 풀질 평가를 하고자 하는데 목적이 있다. 이에 본 논문에서는 테스트 데이터 생성 시나리오를 제안하였다. 단지 제안만 해 놓았기 때문에 향후 이 시나리오를 거친 테스트 데이터 생성을 연구하고자 한다. 또한, Verification을 위해 수학에 기초를 둔 정형 기법(Formal Method)을 이용하여 좀더 깊이 있고, 정확한 검증을 수행 하고자 한다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2010년도 추계학술발표논문집 1부
• /
• pp.163-167
• /
• 2010

최근 컴퓨터시스템으로 전환되고 있는 열차제어시스템에서 소프트웨어에의 의존성이 급격히 증가함에 따라 임베디드화된 열차제어 소프트웨어 신뢰성과 안전성의 검증이 중요한 문제로 대두되기 시작했다. 이에 따라 열차제어 소프트웨어 관련 국제표준에서도 각종 소프트웨어 테스트 및 검증활동을 요구하고 있으며, 이에 대응하여 본 논문에서는 열차제어시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석과 개발 결과에 대해 제시하고 있다. 본 논문에서는 열차제어 소프트웨어 안전성 검증을 위한 정량적인 항목으로 매우 중요한 테스트 커버리지를 자동으로 측정할 수 있는 제어흐름 분석도구를 개발하였으며, 본 도구의 결과를 실제 철도 산업 현장에서 활용하기 위해 타분야 제시 기준 등을 분석하여 철도 소프트웨어 안전무결성레벨(SWSIL)에 따른 판단 기준을 제시하였다.

• 인터넷정보학회논문지
• /
• 제4권6호
• /
• pp.1-11
• /
• 2003

이 논문은 유스 케이스 기반 실시간 시스템을 위한 디자인 지향 테스트를 소개한다. 우리는 디자인 스키마를 기능적 컴포넌트의 계층적 디자인 컴포넌트 아키텍처(즉 디자인 컴포넌트)로 분할 하는 실시간 소프트웨어 개발을 위한 확장 유스 케이스에 초점을 둔다. 실행 순차의 다양한 유스 케이스의 액션 단위를 기술하는 관련된 시나리오를 포함하는, 즉 실시간 시스뎀 설계의 동적 특성을 반영하는, 유스 케이스 액션 메트릭스를 제안한다. 실시간 시스템을 제안한 디자인 지향 테스트에 적용 시도를 통해 생산성 향상을 위한 시나리오 순서화를 생성하고 기존의 테스트 케이스 재사용을 진작시킨다.

• 방송공학회논문지
• /
• 제21권5호
• /
• pp.792-802
• /
• 2016

최근 사용이 늘어나고 있는 멀티밴드 사운드바 설계 시, 설계검증은 시뮬레이션으로 확인이 되지 않거나 되기 힘든 검증요소들이 다수 존재한다. 따라서 본 논문에서는 프로세서 내장 사운드바 SoC를 위한 FPGA 검증시스템을 구현하였다. 이를 통해 설계단계의 시뮬레이션으로 검증할 수 없는 실시간 성능테스트와 청취테스트를 실시간 검증하였다. 즉, 구현된 FPGA 검증시스템을 이용해서 SNR, THD+N, 주파수응답과 같은 정량적 항목들의 측정 및 청취테스트를 시행하였고, 테스트 결과가 설계목표를 만족함을 확인하였다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2011년도 춘계학술논문집 1부
• /
• pp.416-420
• /
• 2011

무선센서네트워크 시스템의 확산에 가장 큰 장애물인 한정된 전원으로 동작하는 특성에 따라 주기적인 배터리 교체에 소요되는 비용이다. 이러한 문제를 해결하기 위하여 원격지에서 에너지를 무선으로 공급하는 자기유지 지원 기술이 연구되고 있다. 본 논문에서는 무선에너지전송을 통해 무선센서네트워크 노드에 에너지를 전송하는 환경을 구축하고 환경에 따라 에너지 수신의 결과를 측정하는 테스트베드를 구축하였다. 구축된 테스트베드는 Powercast사의 915MHz 대역에서 3W EIRP (Equivalent Isotropic Radiated Power) 에너지 송신장치, RF (Radio Frequency) 에너지 획득 모듈 그리고 TI사의 CC2530기반의 무선센서네트워크 노드로 구성되어있다. 또한 수신된 에너지의 양을 측정하고 기록하는 LabView기반의 모니터링 시스템이 구현되었다. 구현된 테스트베드는 다양한 환경에서 RF를 기반의 무선에너지전송을 통한 자기유지(Self-sustainable) 시스템의 전원공급 상태를 모니터링에 활용될 수 있다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제11권4호
• /
• pp.305-311
• /
• 2005

휴대전화와 PDA 등에서 수행되는 플래시 메모리 소프트웨어는 돌발적인 전원 중단이나 기록매체 폴트에 대처하기 위하여 충분히 테스트되어야 한다 이러한 테스트를 위하여, 폴트 삽입 기능을 가지는 플래시 메모리 에뮬레이터를 설계하고 구현하였다. 폴트 삽입을 통한 테스트 기법은 FTL(Flash Translation Layer)과 플래시 메모리 기반 파일 시스템의 폴트 회복 기법을 설계하고 폴트로 인한 피해를 분석하는데 유용한 도구로 사용되었다. 본 논문에서는 플래시 메모리에서 관찰되는 폴트의 유형과 플래시 메모리 에뮬레이터에서 구현된 폴트 삽입 기능에 대해 설명한다. 그리고 폴트 삽입 테스트 과정에서 밝혀진 디자인 결함에 대하여 설명한다. 특히 신뢰성을 향상하기 위하여 도입된 기능이 신뢰성을 향상하기 보다 피해를 유발하는 것으로 밝혀졌다. 마지막으로 FTL과 파일 시스템의 "폴트 후 동작"에 대해 설명한다

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2009년도 춘계학술대회
• /
• pp.87-90
• /
• 2009

무선 메쉬 네트워크는 네트워크 구성의 용이성과 비용적인 장점으로 각광받고 있는 무선 백본 네트워크 기술이다. 최근 상용화된 제품이 출시되고 있지만, 대부분의 기존 연구 기술은 시뮬레이션을 통해 성능을 분석하였다. 본 논문에서는 실제 상황을 고려하여 무선 메쉬 네트워크 테스트베드를 구축하였다. 본 테스트 베드는 무선 분산 시스템(Wireless Distribution System)과 브릿지를 응용하여 멀티 채널 멀티 인터페이스와 동적인 위치기반 라우팅 프로토콜을 지원한다. 위치기반 라우팅 프로토콜은 링크 채널 변화와 물리적 거리를 고려한 메트릭을 이용하여 무선 간섭에 강하게 설계하였다. 그리고 메쉬 클라이언트들은 중앙 집중 주소 관리 서버를 통해 주소를 할당 받아 통신하며, 간이 망 네트워크 관리 프로토콜을 통해 망을 관리하도록 설계 및 구현하였다.