• 한국인터넷방송통신학회논문지
• /
• 제15권1호
• /
• pp.147-155
• /
• 2015

본 논문에서는 인력이 접근하기 힘든 오염지역 감시를 위하여 다수 무인기 기반 이동센서네트워크를 고려한다. 개별 무인기의 센싱 범위는 제한되어 있으므로 효과적인 지역 감시를 위해서는 무인기가 서로 협력하여 효과적인 센싱 커버리지를 획득하고 보다 많은 유해물질이 검출되는 지점으로 이동할 수 있어야 한다. 본 논문에서는 센싱 및 통신 거리의 제약을 극복하기 위하여 가상력 기반의 알고리즘을 이용하는 감시 네트워크를 제안하고 테스트베드를 구축한다. 감시 네트워크에서 각 무인기는 이웃 무인기의 센싱값과 위치 정보를 바탕으로 최적 커버리지를 획득하고 감시 지역의 센싱 최대치 지점으로 이동하게 된다. 야외 테스트베드를 이용한 시험을 통해 제안하는 유해 물질 감시 센서 네트워크는 오염 지역에 자발적 접근이 가능하고 높은 가중 커버리지(Weighted Coverage) 획득이 가능함을 보인다.

• 정보보호학회논문지
• /
• 제31권4호
• /
• pp.587-604
• /
• 2021

라이브러리는 독립적으로 실행되지 않고 많은 응용 프로그램에서 사용되므로, 라이브러리의 취약점을 사전에 탐지하는 것은 중요하다. 라이브러리 취약점을 탐지하기 위해 동적 분석 방법인 퍼징이 사용되고 있다. 퍼징 기술은 코드 커버리지 및 크래시 발생 횟수 측면에서 개선된 결과를 보여주지만, 그 효과를 라이브러리 퍼징에 적용하기는 쉽지 않다. 특히, 라이브러리의 다양한 상태를 재현하려면 특정 함수 시퀀스를 호출하고 퍼저의 입력을 전달하여 라이브러리 코드를 실행하는 퍼징 대상 파일과 시드 코퍼스가 필요하다. 그러나 퍼징 환경(시드 코퍼스, 퍼징 대상 파일)을 준비하는 것은 라이브러리에 대한 이해와 퍼징에 대한 이해가 동시에 필요한 어려운 일이다. 이에, 본 논문에서는 테스트 프레임워크를 활용하여 라이브러리 퍼징의 용이성을 확보하고, 코드 커버리지와 크래시 탐지 성능을 향상하기 위한 개선 방법을 제안한다. 본 논문에서 제안한 시스템은 9개의 오픈 소스 라이브러리에 적용하여 기존 연구들과 비교를 통한 개선 효과를 검증하였다. 실험 결과 코드 커버리지 31.2%, 크래시 탐지 기준 58.7%의 개선효과를 확인하였고, 3개의 알려지지 않는 취약점을 탐지하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
• /
• pp.160-162
• /
• 2006

소프트웨어의 구조가 점차 복잡해짐에 따라 소프트웨어 테스트 과정에서 테스트가 일정 수준 이상의 테스트 커버리지를 갖게하기 위해서는 많은 수의 테스트 케이스 실행이 불가피하며, 이로 인해 테스트 수행의 시간 비용이 증가되고 있다. 하지만 테스트 프로세스 안에서 어느 시점에 소프트웨어 결함을 발견하느냐에 따라 소프트웨어 배포 시점에서의 오류 수정 비용이 달라진다. 이를 위해 각각의 테스트 케이스에 우선순위를 부여하여, 보다 빠른 시간 내에 결함을 찾고자 하는 테스트 케이스 순서화 기법에 대한 연구 가 활발히 진행되고 있다. 본 논문에서는 임베디드 소프트웨어의 시스템 테스트 결과를 활용한 과거 이력기반 테스트 케이스 순서화 기법을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• pp.112-115
• /
• 2010

차량전장용 소프트웨어에 대한 합리적인 설계 및 테스트가 중요해졌다. 차량전장용 소프트웨어의 신뢰성을 검증하기 위해 AUTOSAR Conformance Test 표준이 마련되었는데, AUTOSAR Conformance Test 표준에는 테스트 대상, 테스트 커버리지, 테스트 요구조건 & 케이스 정의 및 테스트 아키텍처 환경에 대한 정의방법을 기술하고 있다. 본 논문에서는 차량전장용 소프트웨어의 안정성을 테스트하기 위해 소프트웨어가 저장되는 EEPROM 메모리에 대한 시뮬레이션 테스트를 수행하였으며, AUTOSAR 표준에 맞게 제작된 EEPROM Abstraction 시뮬레이션 모듈을 이용하였다. 또한 EEPROM Abstraction 시뮬레이션 모듈 위에서 AUTOSAR Conformance Test 표준에 정의된 적합성 테스트를 수행하기 위한 테스트 어댑터와 타겟 어댑터의 기능을 기술하고, EEPROM Abstraction 시뮬레이션 모듈에서 리얼타임 요소를 만족하기 위해 필요한 개선 사항을 제안하고자 한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권10호
• /
• pp.768-772
• /
• 2010

콘콜릭 테스트는 높은 테스트 커버리지를 달성하기 위해 실제 프로그램 수행과 심볼릭 수행을 결합하여 테스트 데이터를 생성한다. CREST는 콘콜릭 테스팅을 구현한 대표적인 open-source인 테스트 도구이다. 그러나 현재 CREST는 기본적으로 프로그램의 모든 가능한 실행 경로들을 탐색하는 것을 목적으로 한다. 이 때문에 특정 분기 또는 블록만을 테스트하는 경우에는 비효율적일 수 있다. 이 논문에서는 프로그램 상의 한 분기 또는 블록을 주고 이률 실행할 수 있는 테스트 데이터를 생성하는 목적 지향 콘콜릭 테스트 방법을 제안한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 제40회 하계학술대회
• /
• pp.1891_1892
• /
• 2009

정밀한 소프트웨어 테스팅에서 테스트 케이스의 생성과 테스트 수행 작업은 많은 시간과 노력을 필요로 한다. 따라서 경험 있는 테스터 들은 적은 수의 테스트 케이스를 선택적으로 사용하여 보다 정확한 테스트를 수행할 수 있기를 요구한다. 테스트 케이스의 수를 줄이기 위해 수많은 연구가 진행되었다. 소프트웨어 테스팅에서 가장 기본이 되는 테스트는 단위 테스트이다. 본 논문에서는 블랙박스 테스팅에 사용되는 잘 알려진 테스트 후보 값 생성 및 조합 기법에 관한 기존 연구를 살펴보고 성능을 비교해 본다. 성능 비교를 위해 몇몇 예제 코드를 실험적으로 이용하였다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2005년도 학술대회
• /
• pp.73-76
• /
• 2005

한국방송(KBS)은 전자통신연구원(ETRI)과 공동으로 송수신 안테나의 낮은 분리도(isolation)하에서도 운용이 용이하며 중계기 내부의 왜곡을 보상할 수 있는 DOCR(Digital On-Channel Repeater)을 개발하였다. 개발된 DOCR의 성능과 서비스 커버리지를 측정하기 위하여 수원 지역에서 2004년과 2005년 두 차례의 필드테스트를 공동으로 실시하였다. 본 논문에서는 개발된 DOCR시스템에 대하여 그 특징을 설명하고 수원 지역에서 실시된 필드테스트 결과를 분석한다. 또한, 다양한 세대의 ATSC 수신기를 측정에 사용함으로써 수신기 성능에 따른 DOCR 서비스 커버리지의 변화를 측정하였다. 측정결과에는 DOCR의 사용에 따른 수신성공률, 수신마진, 수신용이성(수신가능각도)등이 포함되며 측정 지역의 수 년간의 테스트 결과를 종합하여 서비스 범위내의 수신성능을 분석한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 제40회 하계학술대회
• /
• pp.1931_1933
• /
• 2009

NoC 기반 시스템이 적용되는 설계는 시스템 크기가 커짐에 따라 칩 테스트 문제도 동시에 제기 되고 있다. 이에 따라 NoC 기반의 시스템의 테스트 시간을 줄일 수 있는 internal test 방식의 새로운 BIST(Built-in Self-Test) 구조에 관한 연구를 하였다. 기존의 NoC 기반 시스템의 BIST 테스트 구조는 각각의 router와 core에 BIST logic과 random pattern generator로 LFSR(Linear Feedback Shift Register)을 사용하여 연결하는 individual 방식과 하나의 BIST logic과 LFSR을 사용하여 각각의 router와 core에 병렬로 연결하는 distributed 방식을 사용한다. 이때, LFSR에서 생성된 테스트 벡터가 router에 사용되는 FIFO 메모리를 통과하면서 생기는 테스트 타임 증가를 줄이기 위하여 shift register 형태의 FIFO 메모리를 변경하였다 제안된 방법에서 테스트 커버리지 98%이상을 달성하였고, area overhead면에서 효과를 볼 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2016년도 추계학술발표대회
• /
• pp.429-432
• /
• 2016

전통적인 태스팅은 테스트케이스를 만드는데 많은 시간과 비용이 들기 때문에 시기적절한 출시를 해야 하는 휴대전화, TV와 같은 제품을 테스팅하는데 많은 어려움을 겪고 있다. 이러한 문제를 해결하려는 노력으로 관련 학계 및 산업체에서는 동적 심볼릭 수행을 이용한 커버리지가 높은 테스트케이스 자동생성 연구가 진행 중이다. 특히, Microsoft Research에서 만든 동적 심볼릭 수행도구인 PEX는 C#언어로 작성된 웹 또는 윈도우 프로그램의 테스트케이스를 자동 생성한다. 그러나 PEX의 사용자들로부터 테스트케이스가 부족하다는 피드백올 받았고, 그 결과로 경계 값 테스트케이스를 추가하는 연구를 진행하여 경계 값 테스트케이스를 추가하지 않았을 때 보다 더 많은 오류를 찾았다. 본 논문에서는 소프트웨어 오류가 있을 경우 엄청난 재산, 인명 피해가 발생하는 임베디드 소프트웨어 분야에서 자주 사용하는 언어인 C언어를 지원하는 동적 심볼릭 수행 도구 CREST를 수정하여 경계 값 테스트 케이스를 생생하는 연구를 진행한다.

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

일반적으로 컴포넌트 기반의 SW는 바이너리 파일로 구성되어 있다. 즉, 블랙박스 형식이다. 따라서 컴포넌트 테스팅 시에 코드기반의 화이트박스 테스트 기법을 적용하기가 어렵다. 그래서 컴포넌트 테스팅 시에는 소스코드기반이 아닌 명세기반의 테스트를 수행해야 한다. 그러나 컴포넌트 제공자는 고객에게 바이너리 파일과 일부분의 명세만을 제공한다 즉, 컴포넌트 제공자는 컴포넌트 안에서의 테스트 범주와 테스트 메트릭에 대한 정보를 제공하지 않는다. 이에 따라 고객은 컴포넌트의 테스트 적절성, 테스트 커버리지, 그리고 테스트 품질을 이해하는 것이 어렵다. 그리고 효과적인 테스팅을 위해서는 적절한 테스팅 모델이 있어야 한다. 따라서 본 논문에서는 컴포넌트 테스팅을 효율적으로 하기 위하여 컴포넌트 테스팅 모델을 제안하였고, 테스팅을 위한 명세 요소를 식별하였다.