• 인터넷정보학회논문지
• /
• 제15권5호
• /
• pp.107-121
• /
• 2014

분산 시스템은 물리적으로 분산된 컴퓨터들이 네트워크에 의해 유기적으로 연결된 것을 의미한다. 유무선 인터넷의 보편적인 사용으로 인해 사용자는 언제 어디서나 분산 서비스의 이용이 가능하게 되었다. 분산 서비스의 폭발적인 증가는 서비스의 기능적 측면에서의 검증뿐만 아니라 서비스 품질과 관련된 비기능적 요소의 검증도 강하게 요구하고 있다. 분산 서비스를 검증하기 위해서는 분산 시스템에 맞는 테스트 환경을 구축해야 한다. 하지만 분산 시스템은 물리적으로 분산된 노드로 구성되기 때문에 테스트 환경을 구축함에 있어서 단일 시스템의 테스트 환경보다 많은 노력이 요구된다. 이 논문에서 우리는 분산 시스템의 기능 및 비기능 요소의 검증을 위한 테스트 프레임워크를 제안한다. 제안하는 테스트 프레임워크는 메시지 시퀀스 차트(Message Sequence Chart)를 기반으로 테스트 케이스를 자동 생성하며, 물리적으로 분산된 노드를 흉내 낼 수 있는 가상의 분산 노드로 구성된 테스트 드라이버를 포함한다. 테스트 수행 결과는 다양한 그래프와 GUI를 통해서 쉽게 확인할 수 있다. 이 논문에서 제안하는 테스트 프레임워크를 통해 분산 시스템 테스트에 드는 노력을 감소할 수 있고 시스템의 신뢰성을 향상 시킬 수 있을 것이다.

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

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

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2022년도 추계학술대회
• /
• pp.341-343
• /
• 2022

전 세계적으로 자율운항선박 기술개발을 추진 중이며, 자율운항선박 핵심 기술뿐 아니라, 상용화의 기틀을 마련하는 평가·검증 관련한 연구도 활발히 수행되고 있다. 이에 따라 자율운항선박의 핵심 기술과 주요 장비의 성능검증을 위한 테스트베드의 개발이 필수적이다. 본 연구에서는 국내외 자율운항선박 기술개발 현황과 자율운항선박의 시뮬레이션 기반 테스트베드가 갖춰야 할 요구사항을 분석하였으며, 자율운항선박의 특수성이 반영된 동역학 모델 기반의 조종 시뮬레이션 테스트베드에서의 성능검증을 위한 기능 분석 및 세분화를 통해 플랫폼 운영에 효과적인 기술들을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.379-381
• /
• 2005

비기능적 테스트 기법 중 하나인 볼륨 테스트의 목적은 테스트 대상 시스템이 명세에 정의된 최대 한도까지 자원을 활용하는 환경에서도 안정적으로 동작하는가를 검증하는 것이다. 본 문서는 이런 볼륨 테스트의 대상과 고려사항을 정의하고, 테스트 우선 순위, 테스트 케이스 구조와 볼륨 증가 패턴 일 그 구현 방법을 상위 레벨에서 기술하여, 재활용 가능한 볼륨 테스트 패턴을 제시한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.1211-1212
• /
• 2012

최근 IT 기기는 GUI를 지원하여 사용자들에게 편의성을 제공하였지만, 개발자들에게는 테스팅에 어려움을 겪게 만들었다. 기존의 GUI 자동화 테스트기법인 Record Play-back 기법과 새로운 GUI 테스트 도구인 Sikuli가 등장 하였지만 기능이 추가되고 변경되는 소프트웨어를 테스팅하기 부족하다. 본 논문에서는 GUI 어플리케이션에서 점진적인 테스팅을 위해 단위 테스트인 각 테스트 케이스를 만들고 연결하는 시나리오 편집기와 시나리오 수행과 테스트 케이스 결과를 검증하는 수행 및 검증기로 구성된 자동화 테스트 도구를 설계한다.

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

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

• 정보보호학회지
• /
• 제29권2호
• /
• pp.29-35
• /
• 2019

CPS(Cyber Physical System)에 대한 사이버 공격이 다양해지고 고도화됨에 따라 시그니쳐에 기반한 악성행위 탐지는 한계가 있어 기계학습 기반의 정상행위 학습을 통한 비정상행위 탐지 기법이 많이 연구되고 있다. 그러나 CPS 보안 연구는 보안상의 이유로 CPS 데이터가 주로 외부에 공개되지 않으며 또한 실제 비정상행위를 가동 중인 CPS에 실험하는 것이 불가능하여 개발 기법의 검증이 어려운 문제가 있다. 이를 해결하기 위해 2015년 SUTD(Singapore University of Technology and Design)의 iTrust 연구소에서 SWaT(Secure Water Treatment) 테스트베드를 구성하고 36가지의 공격을 수행한 데이터셋을 공개하였다. 이후 국 내외에서 SWaT 테스트베드 데이터를 사용하여 다양한 보안 기법을 검증한 연구결과가 발표되고 있으며 CPS 보안에 기여하고 있다. 따라서 본 논문에서는 SWaT 테스트베드 데이터 및 SWaT 테스트베드 데이터에 기반한 비정상행위 탐지 연구를 분석한 내용을 설명하고, 이를 통해 CPS 비정상행위 탐지 설계의 주요 요소를 분석하여 제시하고자 한다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2022년도 춘계학술대회
• /
• pp.98-99
• /
• 2022

해양 산업은 e-Navigation 시스템을 시작으로 체계적인 접근 방식과 다양한 전략을 바탕으로 다양한 해양 서비스를 제공하고 있으며, 서비스 운영에 필수적인 장비 개발 및 스마트 항로표지 서버 구축 등 통합 운영이 가능한 스마트 항만 구축을 목표로 나아가고 있다. 그러나 고도로 자동화된 스마트 항만의 자율 시스템을 검증하기 위한 테스트베드는 기존의 테스트베드와 달리 복잡한 접근 방식과 다양한 요소가 필요하며, 특히 인공지능 등 최첨단 디지털 기술이 적용할 수 있게 됨에 따라 신규 서비스 제공과 이에 따른 잠재적으로 발생이 가능한 치명적인 문제점을 조기에 발견하고 대응하기 위하여 사이버보안체계 연구 및 이를 검증할 테스트베드 구축에 대한 준비가 필요한 시점이다.

• 천문학회보
• /
• 제37권2호
• /
• pp.226.1-226.1
• /
• 2012

위성에 탑재되어 위성의 상태를 모니터링하며, 지상으로부터 명령을 받아 위성 본연의 임무 수행이 가능하게 하는 위성비행소프트웨어는 그 개발단계에서 다양한 검증활동이 이루어진다. 설계 검증 및 리뷰, 인스펙션을 거쳐 소스 코드로 구현된 후, 단위 시험을 통해 가장 낮은 수준의 검증을 거치게 된다. 이러한 단위 시험은 개별 함수에 대해 입력에 따른 해당 출력 및 동작 여부를 검사하게 된다. 단위 시험이 하나의 함수에 대한 시험 항목이라는 점은 검증대상의 스코프가 좁다는 장점이 있으나, 다른 모듈과 연동되었을 경우에 발생할 수 있는 다양한 경우를 고려하여 테스트 케이스를 작성해야 하는 어려움이 있다. 이러한 문제점을 해결하기 위하여 단위 시험과 함께, 연관된 함수가 이미 구현되어 있는 경우, Stubbing을 하기보다는 직접 해당 함수를 사용하며, 또한 동등한 수준의 개별 함수들을 주어진 시나리오에 따라 동작하는 Compound Test를 활용, 그 결과를 확인하는 방법을 도입하였다. 이를 이용하면 단위 시험에서는 검증하기 어려운 상황별 시나리오에 따른 검증 활동을 수행할 수 있고, 또한 전체 위성비행소프트웨어를 빌드할 필요없이 테스트의 대상이 되는 함수만을 이용, 나머지 부분은 기존의 방식을 그대로 적용할 수 있어, 위성비행소프트웨어의 안전성 및 신뢰성을 보다 향상시킬 수 있다.

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

인터넷의 발전으로 새로운 웹 활용 기기들이 등장함에 따라 다양한 기기별 웹브라우저의 개발 사례가 늘고 있다. 웹브라우저의 성공적인 개발을 위해서는 개발된 웹브라우저가 표준 웹 컨텐트를 얼마나 만족시키고 있는지 검증해야 하고 이를 위한 독립적인 테스트 시스템을 갖추는 것이 필요하다. 웹브라우저 테스트시스템은 웹브라우저 테스트 스크립트들을 종합적으로 관리하고 웹브라우저를 테스트할 수 있는 시스템이다. 웹브라우저 테스트 스크립트를 관리하기 위해 데이터베이스로 구축하였고, 향후 추가되는 테스트스크립트를 관리할 수 있다. 웹브라우저 테스트를 용이하게 하기 위해 프레임테스트와 윈도우테스트로 개발하였다. 프레임테스트는 테스트 스크립트와 그 결과를 한 화면에 출력함으로써 동시에 확인할 수 있도록 하였다. 테스트 스크립트는 프로그램 가능한 상태로 사용자가 클라이언트 웹 프로그램의 요소, 속성 및 속성값을 변경하여 파일 저장없이 그 결과를 바로 확인할 수 있게 하였다.