• 전기전자학회논문지
• /
• 제18권3호
• /
• pp.305-312
• /
• 2014

기존의 Verilog테스트벤치로 원전용 안정등급 제어기기와 같이 복잡하고 높은 신뢰도를 요구하는 모듈의 테스트는 수작업으로만 수행된 결과를 가지고 RTL단계의 검증을 마무리하기에는 현실적으로 많은 시간과 노력이 필요하다. UVM은 기존의 테스트벤치의 한계점을 보완하는 계층적 테스트벤치의 구조를 갖고 있어 DUT의 검증을 위한 테스트개선에 대해 테스트벤치의 수정을 간편하게 할 수 있다. 비록 구축과정이 다소 복잡하긴 하지만 테스트 벤치의 컴포넌트들인 driver나 sequence 등을 사용함으로 constraint random test를 가능하게 하여 test vector 작성을 편리하게 한다. 본 논문에서는 기존의 테스트벤치와 계층적 테스트벤치인 UVM테스트벤치를 사용하여 실제 시뮬레이션 하고 커버리지를 분석하여 코드커버리지를 간편하게 향상 할 수 있음을 보였다.

• 정보보호학회논문지
• /
• 제30권6호
• /
• pp.1079-1085
• /
• 2020

라이브러리 구현의 결함을 발견하기 위해 동적 분석 방법인 퍼징(fuzzing)이 사용되고 있다. 라이브러리 대상 퍼징은 구현된 함수만 테스트를 할 수 있으므로 더 높은 코드 커버리지를 달성하기 위해서는 구현되지 않은 함수들을 추가로 구현해주어야 한다. 하지만 라이브러리 함수들의 호출 관계를 고려하지 않고 함수를 추가하면 이미 테스트를 수행한 함수가 추가되는 문제가 발생할 수 있다. 본 논문에서는 라이브러리 퍼징의 코드 커버리지 성능을 향상시키기 위한 개선 방법을 제안한다. 먼저, 라이브러리 퍼징의 대상 함수를 효율적으로 추가하기 위해 라이브러리의 함수 호출 그래프 분석하고 구현되지 않은 라이브러리 함수를 추가 구현한다. 그리고 라이브러리의 해결하기 어려운 제약조건을 가진 분기를 탐색하는 방법으로 하이브리드 퍼징을 적용한다. OpenSSL, mbedTLS, Crypto++을 대상으로 실험한 결과, 제안한 방법이 코드 커버리지를 증가에 효과적인 것을 확인하였다.

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

프로그램의 코드에 있어서 실행되지 않은 영역은 미지의 영역으로써 각종 에러와 오류의 잠재적 가능성을 지니고 있다. 개발자는 이러한 영역을 모두 검증, 테스팅 해봐야 이후 프로그램의 실행에서 예상치 못한 치명적 오류들에 대응할 수 있을 것이다. 우리는 본 논문에서 소프트웨어 테스팅의 두 가지 기법에 대하여 소개를 하고 이 두 가지를 이용하여 미실행된 영역을 실행시킬 수 있는 방법론을 제안하고자 한다. 실험에서 JaCoCo와 SPF를 사용하여 방법론을 적용하였고 이를 통하여 미실행 영역이 커버되는 테스트 케이스를 자동으로 얻어 낼 수 있었다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2003년도 춘계학술대회 논문집
• /
• pp.1306-1309
• /
• 2003

In the present paper, finite element analyses were carried out to evaluate the most important feature of a stent, that is. high radial strength and flexibility. Palmaz-Schatz 154 stent and two new models(stent A, stent B) were selected because they are the most representatives of tubular stents. Finite element analyses for the stent system were performed using ABAQUS/Explicit code. As a result, Palmaz-Schatz 154 stent shows sufficient radial strength but it needs some improvement in general properties such as high flexibility, low elastic recoil, low longitudinal contraction and low metal coverage area. Other two models show that sufficient flexibility, foreshortening and longitudinal recoil.

• 정보보호학회논문지
• /
• 제24권3호
• /
• pp.437-444
• /
• 2014

본 논문에서는 그래프 기반의 바이너리 코드 동적 실행 경로 탐색 플랫폼을 제안한다. 바이너리 코드의 조건 분기 명령어를 노드(Node), 그 외의 명령어를 에지(Edge)로 구성된 그래프를 정의하며, 이 그래프를 기반으로 하여 실행 경로 탐색을 수행하는 방안을 제안한다. 실험을 통해 제안하는 그래프 기반 바이너리 코드 실행 경로 탐색 플랫폼의 프로토타입이 실행 경로 탐색을 올바르게 수행함을 확인하였으며, 본 논문에서 제안하는 방안을 통해 소프트웨어 테스팅을 보다 효과적으로 수행하여 소프트웨어 보증, 시큐어 프로그래밍 및 악성 프로그램 분석 등을 보다 효과적으로 수행할 수 있을 것으로 기대한다.

• 한국통신학회논문지
• /
• 제36권3C호
• /
• pp.127-132
• /
• 2011

본 논문은 이동 네트워크의 다중 페이딩 환경에서 고속 전송 효율성과 범위 확장을 위한 협력 통신을 제안한다. 제안된 전략은 가상 MIMO 전송 다이버시티를 이용한 수신 성능 향상을 위해 STBC(Space-Time Block Code)를 이용한다. 또한 시뮬레이션 결과를 보면 제안된 전략이 가상 다중 안테나 시스템 (virtual MIMO)를 설정 해줌으로써 공간 다이버시티의 좋은 특성과 코팅 이득을 잘 활용하기 때문에, SNR을 향상시켜주고 기존 전략과 비교해보면 제안된 전략의 전송 시간이 훨씬 더 빠르다는 걸 보여준다. 본 논문에서는 연구의 타당성을 보이기 위해 MATLAB을 이용한 UWB 통신 시스템의 시뮬레이션을 제시한다.

• 전기전자학회논문지
• /
• 제19권2호
• /
• pp.186-192
• /
• 2015

본 논문에서는 소프트웨어 개발 과정에서 소프트웨어의 품질향상에 필요한 소스코드의 API를 기반으로 테스트 케이스를 자동으로 생성할 수 있는 기법을 제안한다. 제안된 기법은 Doxygen 오픈소스 툴을 이용한 소스코드 분석 과정, 분석된 결과를 이용한 API 사양 정의 과정, 테스트 디자인 생성 과정, Pairwise Test 기법을 적용한 테스트 케이스 생성 과정 등의 4가지 과정으로 구성된다. Doxygen 오픈소스 툴을 이용한 소스코드 분석 과정은 소스코드의 API 정보인 API 명, 입력 파라미터, 리턴 파라미터 정보 등을 추출하는 단계이다. 분석된 결과를 이용한 API 사양 정의 과정은 추출한 API 정보를 바탕으로 SQLite 데이터베이스를 이용하여 테스트 케이스 생성에 필요한 API 정보들을 데이터베이스화하여 정의하는 단계이다. 테스트 디자인 생성 과정은 정의된 API를 기반으로 입력 파라미터, 리턴 파라미터의 임계치 설정, 제약사항 설정 등을 통해 시나리오를 디자인하여 데이터베이스로 구성하는 단계이다. Pairwise Test 기법을 적용한 테스트 케이스 생성 과정은 테스트 디자인 정보를 바탕으로 Pairwise 조합 기법을 적용하여 실제 테스트 케이스를 생성하여 데이터베이스로 구성하는 단계이다. 제안된 기법의 효율성을 평가하기 위하여 기존의 명세서 기반의 테스트 케이스 생성 방법과 비교한 결과 비슷한 시간 내에 훨씬 더 많은 테스트 케이스가 생성되며, 명세 기반 기법으로는 불가능한 소스코드에 대한 기능 검증도 가능하여 소스코드내 결함 위치도 확인할 수 있다. 따라서 사람의 인력을 통한 수작업에 의존적으로 진행하였던 소프트웨어 개발 품질 향상 과정을 소스코드의 API를 기반으로 자동으로 테스트 케이스를 생성함으로써, 노동력 절감 및 제품 개발 시간 등을 단축 할 수 있으리라 기대된다.

• 대한전자공학회논문지TC
• /
• 제46권6호
• /
• pp.111-117
• /
• 2009

WCDMA 시스템에서는 네트워크 영역의 결정, 셀 인식, 동기화, 채널 추정, 신호 타이밍 포착 및 추적을 위해 파일럿 채널을 사용한다. 이동통신 서비스 수요의 증가로 인해 도심의 WCDMA 망 환경 하에서 단일한 무선 중계기는 다수의 인접 기지국으로부터 파일럿 신호를 수신하지만 각각의 기지국에서 송신하는 파일럿 채널을 구분하지 못하기에 파일럿 간섭 현상이 나타난다. 이러한 파일럿 간섭은 단말기에서의 잦은 핸드오프로 인한 수신 감도의 저하, 전송 효율 및 통화 품질의 저하, 채널용량의 감소와 불필요한 전력 소모 증가 등의 원인이 된다. 따라서 본 논문에서는 적응 추정 알고리즘인 NLMS 기법을 이용해서 WCDMA 무선 중계기에 적용 가능한 파일럿 간섭 제거 기법을 제안한다. 제안된 기법을 적용하여 각각 링크 레벨에서와 네트워크 레벨 에서 모의실험을 수행하여 무선 중계기 시스템에서의 성능 향상을 평가하였다. 그 결과 링크 레벨 관점에서의 BER 성능 향상과 네트워크 레벨 관점에서 시스템의 콜 드랍 확률의 향상을 각각 확인하였다.

• 한국산학기술학회논문지
• /
• 제20권6호
• /
• pp.541-547
• /
• 2019

최근 자동화 되는 해킹 및 분석 기술의 발전으로 인하여 수많은 소프트웨어 보안 취약점이 빠르게 발표되고 있다. 대표적인 취약점 데이터베이스인 NVD(National Vulnerability Database)에는 2010년부터 2015년까지 보안 취약점(CVE: Common Vulnerability Enumeration) 약 8만 건이 등록되었으며, 최근에도 점차 증가하고 있는 추세이다. 보안 취약점은 빠른 속도로 증가하고 있는 반면, 보안 취약점을 분석하고 대응하는 방법은 전문가의 수동 분석에 의존하고 있어 대응 속도가 느리다. 이런 문제점을 해결하기 위해 자동화된 방법으로 보안 취약점을 탐색하고, 패치하여 악의적인 공격자에게 공격 기회를 줄 수 있는 보안 취약점을 사전에 대응 할 수 있는 기술이 필요하다. 본 논문에서는 복잡도 분석을 통해 취약점 탐색 대상 바이너리의 특징을 추출하고, 특징에 적합한 취약점 탐색 전략을 선정하여 취약점을 자동으로 탐색하는 기술을 제안한다. 제안 기술은 AFL, ANGR, Driller 도구와 비교 검증 하였으며 코드 커버리지는 약 6% 향상, 크래시 개수는 약 2.4배 증가, 크래시 발생율 약 11% 향상 효과를 볼 수 있었다.

• 한국통신학회논문지
• /
• 제36권11C호
• /
• pp.673-681
• /
• 2011

본 논문에서는 직교 주파수분할 다중화 기반 시스템에서 공간 다양성을 높이기 위한 복잡도가 낮은 다중 안테나 릴레이 전송 방식을 설계한다. 기반이 되는 릴레이 전송 방식은 직교 주파수분할 다중화 신호를 주파수 영역변환 없이 시간 영역에서의 신호 처리만으로 시공간 부호화를 이룸으로써 IFFT와 FFT를 필요로 하지 않는다. 본 논문에서는 기존의 낮은 복잡도를 갖는 시공간 부호화 직교 주파수분할 다중화 릴레이 전송 방식을 상용 직교 주파수분할 다중화 시스템에 호환 기능하도록 전송 방식을 수정하고 다중 릴레이 환경에서 성능 향상을 위한 방법을 안테나별 수신 품질 정보 유무에 따라 제공한다. 제안하는 기법의 성능 평가 결과 다양성 이득이 향상되어 아웃티지 확률과 부호화 비트오류율 줄이는 것을 볼 수 있다. 이에, 직교 주파수분할 다중화 시스템을 적용하는 무선랜 및 해상 통신 시스템에서 서비스 품질 향상 또는 커버리지 확장에 유용할 것으로 판단된다.