• 인터넷정보학회논문지
• /
• 제17권6호
• /
• pp.61-69
• /
• 2016

테스팅은 시스템의 요구사항을 바탕으로 테스트 케이스를 생성하여 소프트웨어에 내재되어 있는 결함을 발견하는 활동이다. 테스팅을 효과적으로 수행하기 위해서는 충실한 테스트 계획, 잘 작성된 테스트 케이스 생성과 더불어 체계적인 테스트 모니터링 활동이 요구된다. 테스트 자동화 방법에 대한 대부분의 연구들은 테스트 케이스 생성에서 테스트 실행까지의 자동화 방법에 초점이 맞춰져 있다. 본 연구에서는 이와 달리 테스트 모니터링의 자동화 방안에 대하여 연구한다. 이를 위해 테스트 모니터링 자동화를 위해 해결해야 할 요소를 도출하고 이를 기반으로 테스트 모니터링 자동화 프레임워크의 구축 방안을 제시한다.

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

패킷 필터링은 잠재적으로 악의 있는 네트워크 패킷을 필터링하는 것이다. 패킷 필터링의 기능을 테스트하기 위해서 우리는 보안 시스템에 설정된 보안 정책이 의도한 대로 수행되는지 검증해야 한다. 그러나 기존에 이러한 기능을 테스트하기 위한 도구가 거의 없으며, 존재하는 도구는 테스트의 수행 시 테스트 케이스 선정과 테스트 결과의 판단에 있어 많은 사용자의 판단을 요구한다. 대부분의 보안 시스템 운영자는 새로운 보안 정책을 설립할 때 이를 테스트하는데 많은 부담감을 갖는다. 이에 본 논문에서는 사용자의 판단을 최소화 할 수 있는 새로운 테스트 베드를 제안하고 구현한다. 본 논문의 테스트 베드는 테스트 케이스와 테스트 오라클을 자동으로 생성한다. 그리고 생성된 테스트 오라클을 기반으로 테스트 결과를 사용자의 참여 없이 자동으로 판단한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제13권2호
• /
• pp.86-99
• /
• 2007

패킷 필터링이란 악의적인 네트워크 패킷들을 거르는 작업을 말한다. 패킷 필터링의 기능을 테스트하기 위해서는 구축된 보안 정책이 의도했던 대로 정확하게 동작하는가를 검증하여야 한다. 그러나 이런 기능을 테스트하기 위한 도구들은 많지 않으며, 테스트 과정에서 많은 사용자의 노력을 요구한다. 대부분의 보안 관리자들은 보안 정책을 새로 수립하거나 기존의 보안 정책을 수정할 때에 새로운 보안 정책을 체계적으로 테스트하는 것에 부담을 느낀다. 이런 부담을 경감해주기 위해 우리는 사용자의 참여를 최소화하는 새로운 테스트 방법을 제안한다. 제안하는 방법은 테스트 케이스와 테스트 오라클의 생성을 자동화한다. 자동으로 생성된 테스트 케이스는 테스팅 과정의 입력 요소를 선택해야 하는 고민을 덜어주며, 자동으로 생성된 테스트 오라클은 사용자의 도움 없이 테스트 결과에 대한 판단을 가능하게 한다. 우리의 테스트 방법을 구현한 테스트 도구는 테스트 수행의 전체 4단계 중 테스트 준비, 테스트 실행, 테스트 평가의 3단계에 걸쳐 테스트 자동화를 실현하고 있다. 이런 테스트 도구 위에서 테스팅을 수행하게 된다면 결과적으로 테스트 활동의 신뢰도를 보다 높게 향상시킬 수 있다. 이 논문은 우리의 테스트 방법과 테스트 도구의 설계 및 구현에 관한 내용을 기술한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.583-585
• /
• 2001

하이퍼큐브의 정규적이며 계층적인 구조적 특성은 효율적인 진단 알고리즘 개발에 유리하게 적용될 수 있다. Feng et al.의 HADA/IHADA와 Choi와 Rhee의 적응적 큐브 분할 방법은 하이퍼큐브의 전체 노드를 하나의 링으로 임베딩하여 링의 진단 특성을 이용하기 위하여 분할 및 정복 방법을 이용하였다. 또한 Kranakis와 Pelc는 결함을 모두 포함하는 최소의 서브링을 하나의 노드로 하는 하이퍼큐브의 형태로 분할하는 HYP-DIAG 알고리즘을 제안하였다. 또한 최악의 경우에, 테스트 수만을 고려하여 2$^n$+3n/2의 테스트 수를 갖는 FAST-HYP-DIAG 알고리즘과 병렬 시간만을 고려하여 많아야 11테스트 라운드 이내에 진단을 수행하는 EXPRESS-HYF-DIAG 알고리즘을 제안하였다. 본 논문에서는 HYP-DIAG의 첫 번째 단계에서 얻어진 서브링들의 신드롬을 분석하여 테스트의 수와 테스트 라운드를 모두 고려하는 알고리즘을 제안한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제10권2호
• /
• pp.125-133
• /
• 2004

개발 방법론과 도메인의 특성을 반영하여 테스팅 하기 위해서는 프로세스 표준을 테일러링 해야 하며 테일러링 된 프로세스에 따라 테스트를 수행해야 한다. 그러나 상용화된 테스트 도구들은 테일러링 된 프로세스의 일부만을 지원하기 때문에 실제 테스팅 현장에서는 개발 환경에 적합한 테스트 도구를 구입하거나 개발해야 한다. 본 논문에서는 프로덕트 라인 개발 개념을 이용한 테스트 프로세스 수행 도구 개발 방안을 제안하고 이를 ‘테스트 프로세스 수행 도구(Test Process Execution Tool: Test PET)’로 구현한다. 표준에 명시된 테스트 활동의 공통점과 차이점을 추출하여 이를 컴포넌트로 명세 및 구현하고 개발 방법론과 도메인에 맞는 특성을 반영하여 특정 개발 방법론과 도메인에 맞는 테스트 수행 도구를 개발하는 단계를 제안한다. 제안한 방안으로 구현된 Test PET은 개발 방법론과 도메인, 어플리케이션에 맞는 테스트 프로세스를 생성 한 후 생성된 테스트 프로세스에 따라 테스트를 수행할 수 있는 도구이다.

• 대한전자공학회논문지SD
• /
• 제41권3호
• /
• pp.93-100
• /
• 2004

시스템 온 칩의 테스트 스케줄링은 제한된 전력 사용량 내에서 테스트 시간을 최소화하기 위한 방법들 가운데 하나로서 매우 중요하다. 본 논문에서는 테스트 자원들을 선택하여 그룹화하고 코어 기반 시스템 온 칩 전체 전력소비량을 고려하면서 테스트 시간과 전력소모량의 곱의 크기에 기초하여 이들을 배열하여 스케줄링 하는 휴리스틱 알고리듬을 제안한다. 전력소모량은 최대이면서 제한된 전력 소모량을 초과하지 않는 테스트 자원 그룹을 먼저 선택하고 테스트 자원 그룹 내 요소들의 테스트 시작 위치를 테스트 공간의 초기 위치에 배치하여 테스트 자원들의 낭비시간을 최소화한다. ITC02 벤치마크 회로를 사용한 실험을 통해 알고리듬의 유효성을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
• /
• pp.119-123
• /
• 2008

본 논문에서는 요구사항 기반 신뢰성 자동 테스트를 하기 위해서 테스트 수행기를 구현하고, 테스트 수행기 내부의 스케줄링 방법을 제안하였다. 제안한 방법으로 상용 FATC를 테스트한 결과 이산적으로 모델링할 수 있는 임베디드 시스템에서는 잘 동작함을 확인할 수 있었다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2009년도 정기 학술대회
• /
• pp.106-109
• /
• 2009

본 논문에서는 교량의 상태감시 테스트베드 구축을 위한 한-미 국제공동연구의 현황 및 활동 내용들을 논하였다. 이 국제공동연구는 최첨단 센서와 구조건전도 모니터링 방법의 유용성 및 통합화하는데 그 목적을 두고 있다. 테스트베드 구축을 위해 가속도계과 동적 FBG 센서, 압전 센서 등과 같은 스마트 센서를 사용하였으며, 무선 데이터수집 시스템이 도입되었다. 교량 모니터링 기법으로는 압전 센서 및 EM센서로부터 취합된 데이터를 이용하여 국부손상검색을 수행하였으며, 가속도계, 동적 FBG센서 및 이미지 프로세싱을 이용하여 진동기반 전역손상검색을 수행하였다. 테스트베드 교량으로는 PC박스 거더교, 강상자형교, 강판형교, 사장교의 4가지 형식의 교량이 사용되었다. 테스트베드 교량에 최신 이동통신 인터넷 연결기술을 이용하여 교량에 설치된 센서로부터 취합된 데이터와 모니터링 시스템으로부터 교량의 상태를 실시간 감시할 수 있는 네트워크 시스템을 구축하였다. 이러한 원거리 이동통신시스템을 통하여 구조물의 건전성 평가결과를 실시간으로 전송 및 분석할 수 있도록 하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.635-638
• /
• 2002

BIST(Built-In Self-Test)를 이용한 테스트 방식은 정상 동작 모드인 회로에 비해 테스트 모드에서 보다 많은 스위칭이 발생하고, 과도한 전력 소모에 의해 회로가 손상을 받을 수 있는 문제점을 갖고 있다. 본 논문은 test-per-clock BIST 구조에서 전력이 제한되어 있을 때 테스트 적용 시간과 총 에너지 소비를 최소화하기 위한 테스트 스케줄링 알고리즘을 제안한다. 제안된 방법은 테스트 세션을 구성함에 있어 각 세션에 포함되는 각 블록의 테스트 시작 시간을 동적으로 결정하여 기존의 알고리즘에 비하여 전력 소모와 전체 테스트 시간을 줄일 수 있다.

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

산업제어시스템에서 사용되는 소프트웨어의 보안취약점을 테스트하기 위한 방법으로 퍼징(Fuzzing)이 사용되고 있다. 퍼징 시스템은 크게 퍼징 대상을 테스트하는 퍼저(fuzzer)와 퍼징 대상을 모니터링하는 모니터링 모듈로 구성된다. 본 논문에서는 VxWorks 환경에서 효과적인 퍼징을 제공하기 위해 요구되는 퍼징 대상 모니터링 기능을 정의하고 모니터링 모듈을 설계한다.