• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2014년도 하계학술대회
• /
• pp.18-21
• /
• 2014

본 논문은 한국정보통신기술협회(TTA)에서 제정된 "HTML5 기반 스마트 TV 플랫폼 수신기 적합성 시험" 표준(TTAK.KO-07.0119)에 따라 구축한 표준 적합성 시험환경에서 시험 도구의 테스트 케이스 개발에 활용되는 스마트 TV 테스트 프레임워크 설계와 구현에 대한 내용을 소개한다. 표준으로부터 도출된 많은 개수의 테스트 항목에 대한 테스트 케이스를 효율적으로 개발하기 위해 테스트 내용 외의 공통적으로 수행되는 코드부분(테스트 케이스의 정의, 기본 UI, 서버와의 통신 등)을 추상화하고, 테스트 케이스 개발 자체의 난이도를 줄이기 위해 사용하기 쉬운 API 를 제공하는 프레임워크가 필요하다. 본 논문에서는 스마트 TV 테스트 프레임워크의 소프트웨어 구조를 소개하고, 테스트 케이스 개발에 활용하는 테스트 서술 API, 테스트 결과를 사용자에게 일관되게 보여주는 테스트 프레임워크 UI, 그리고 테스트 결과를 수집하고 서버에 전송하는 테스트 리포터의 설계와 구현 내용에 대해 소개한다.

• 디자인학연구
• /
• 제17권2호
• /
• pp.221-230
• /
• 2004

많은 사용성 평가 방법들, 특히 실험실 기반의 사용성 평가방법이 사용자 인터페이스 개발을 위해 광범위하게 활용되고 있다. 그러나 이러한 사용성 평가 방법들을 수행하기 위해서는 많은 비용과 시간, 노력이 필요하며, 더 나아가 부자연스러운 실험 환경으로 인한 부작용과 사용자들의 직접적인 참여의 부족 등과 같은 여러 가지 문제점들을 가지고 있다. 본 연구는 이러한 문제점들을 해결하기 위해 카드소팅 기법을 기본으로 하는 웹 기반의 참여적 도구를 개발하였다. 개발된 참여적 도구는 사용자들이 자신의 컴퓨터 운용 환경에서 웹을 통하여 자연스럽게 카드소팅 테스트에 참여할 수 있도록 고안되었다. 사용자들은 인터페이스 요소들로 구성된 카드들을 컴퓨터 스크린 상에서 드래깅하고 그룹핑 함으로써 자신만의 인터페이스 구조를 구성할 수 있다. 따라서 해당 웹사이트의 구조에 대해 자신이 가지고 있는 멘탈모델을 자연스럽게 표현해낼 수 있다. 또한 사용자들이 테스트에 참여하는 과정 중에 생성된 모든 데이터들은 자료 수집을 위한 원격 서버에 자동으로 전송되어 저장된다. 본 연구에서 개발된 도구의 활용을 통해 웹 디자이너들은 많은 시간과 노력이 소모되는 번거로운 과정을 거치지 않고도 보다 효과적인 카드소팅 테스트를 수행할 수 있다. 따라서 인포메이션 아키텍처를 설계하는 과정에서 실제 사용자들의 적극적인 참여를 이끌어내기 위한 효과적인 도구로 활용할 수 있을 젓이다.

• 정보보호학회논문지
• /
• 제29권4호
• /
• pp.807-819
• /
• 2019

그레이박스 퍼징은 소프트웨어에 존재하는 알려지지 않은 보안 취약점을 찾는 효과적인 방법으로 최근까지 활발하게 연구되고 있다. 단, 대부분의 그레이박스 퍼징 도구들은 실행파일을 필요로 하기 때문에 직접 실행할 수 없는 라이브러리는 별도의 실행파일을 준비해야 한다. 이러한 실행파일을 만드는 것은 라이브러리에 대한 이해 및 퍼징에 대한 이해가 동시에 필요한 어려운 일이다. 본 연구에서는 라이브러리를 위한 실행파일을 자동으로 생성하는 방법을 제안하고 이를 LLVM 기반의 도구로 구현한다. 제안하는 방법은 대상 라이브러리 프로젝트에 존재하는 유닛테스트에 대한 정적/동적 분석을 통해 라이브러리를 테스트할 수 있는 실행파일 및 시드파일을 자동으로 생성한다. 생성한 실행파일은 기존 그레이박스 퍼징 도구들이 주로 사용하는 인터페이스를 보유하여 AFL과 같은 다양한 그레이박스 퍼징 도구와 호환된다. 우리는 이 도구를 사용해 오픈소스 프로젝트로부터 생성한 실행파일과 시드파일을 바탕으로 코드 커버리지 및 알려지지 않은 취약점을 찾음으로써 제안하는 방법의 성능을 보인다.

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

본 논문에서는 3차원 게임 물리 엔진의 개발을 지원하는 물리 시뮬레이터 및 개발도구에 대해 설계하였다. 3차원 게임 물리 엔진을 개발하는 과정에서 다양한 물리 현상을 실시간으로 테스트하여 인터렉티브한 게임에서의 물리효과와 사용자가 물리 시뮬레이터를 이용하여 테스트한 환경을 시뮬레이터 개발도구를 통해 API를 생성하여 라이브러리 형태로 제공함으로써 좀더 정확한 물리 현상 구현과 개발기간의 단축 및 개발 공정을 효율적으로 처리할 수 있도록 하였다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송∙미디어공학회 2019년도 하계학술대회
• /
• pp.328-330
• /
• 2019

국내를 시작으로 2020년 북미에서도 ATSC 3.0 기반 차세대 방송 서비스를 준비하고 있는 상황에서, 본 논문은 실제 상용 서비스 수신기를 검증하기 위한 비디오 테스트 패턴과 시험도구를 소개하고 있다. 본 논문에서 소개되는 비디오 테스트 패턴은 단순 수신기에서의 수신을 육안으로 확인하는데 그치지 않고 복호화 성능과 관련된 몇 가지 지표들을 평가할 수 있도록 개발되었다. 시험도구의 구조는 방송망(Broadcast)과 통신망(Broadband)을 이용하여 ATSC 3.0 표준에서 정의하고 있는 다양한 Media Essence(비디오, 오디오, 자막, 시그널링)의 복조화 기능에 초점이 맞춰져 있으며, 방송망과 통신망을 동시에 활용할 수 있는 구조로 구성되어 있다.

• 정보처리학회지
• /
• 제18권1호
• /
• pp.33-42
• /
• 2011

컴포넌트의 외부 행위는 파라미터를 가진 인터페이스로 정의된다. 소프트웨어 개발자는 컴포넌트를 테스트하기 위해 인터페이스를 통해 각기 다른 파라미터의 값을 반복적으로 입력하고, 입력값에 따른 출력값을 관찰한다. 테스팅에 소요되는 시간을 줄이기 위해 테스트 케이스를 자동으로 실행하는 테스팅 자동화 도구가 효율적이지 않은 테스트 시퀀스를 수행한다면 테스팅 자동화의 효과는 줄어든다. 유한 상태 머신을 기반으로 하는 기존의 테스트 시퀀스 생성 기법들은 파라미터를 가진 인터페이스 테스팅에 최적화된 테스트 시퀀스를 제공하지 않는다. 이 연구는 컴포넌트 인터페이스를 파라미터를 고려한 상태 모델로 표현하고 최적의 시퀀스 생성 기법을 제안한다. 최적의 시퀀스 생성 기법은 파라미터를 가진 상태 기반의 행위 모델에서 특정 간선을 원하는 회수만큼 수행을 보장하는 시퀀스를 생성하며, 생성된 시퀀스는 최적의 테스트 수행 시간을 갖는다.

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

본 논문에서는 VeriStand 를 이용하여 차량 전자제어장치의 실시간 테스트 환경을 구축한다. 구축한 테스트 환경에서 테스트 케이스의 일괄 실행 및 결과 분석 보고서를 생성하는 테스트 클라이언트를 개발하고 이를 통해 구축한 테스트 환경의 유효성을 검증한다.

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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권5호
• /
• pp.361-375
• /
• 2009

사전 제조된 컴포넌트들을 재사용하여 애플리케이션을 개발하는 컴포넌트 사용자의 관심사는 사용자의 요구사항에 따라 적절히 다른 컴포넌트들과 협동하는지 여부를 확인하는 것이다. 따라서 컴포넌트 기반 소프트웨어의 경우 개발 환경이 아닌 새로운 환경에서 소프트웨어를 구성하는 컴포넌트들이 잘 연동되는지를 테스트할 수 있는 상호운용성 테스트에 관련된 연구가 중요시되고 있다. 본 논문에서는 컴포넌트 기반 소프트웨어의 상호운용성 테스트를 위한 테스트 모델을 정의하고, 유스케이스 명세로부터 테스트 모델을 생성한 후 생성된 모델로부터 테스트 케이스를 생성하는 기법을 제안한다. 또한 테스트 모델로부터 테스트 시퀀스를 생성하는 프로시저를 구현한 도구를 소개한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권11호
• /
• pp.1061-1065
• /
• 2010

최근 세계 자동차 업계는 AUTOSAR 소프트웨어 플랫폼 표준을 제정하여 소프트웨어의 신뢰성과 재사용성을 향상키고 있다. 그러나 테스트 시스템 및 테스트 프로세스의 신뢰성 확보와 테스트에 소요되는 기간 단축을 위하여 테스트의 표준화 및 자동화가 절실하다. 특히 RTE 및 베이직 소프트웨어 모듈은 표준화를 만족하는 설계 도구를 사용함으로써 최소한의 신뢰성이 보장되지만, 여전히 응용 소프트웨어 컴포넌트에 대해서는 철저한 테스트가 필요하다. 본 논문에서는 표준화된 AUTOSAR 설계 정보를 이용하여 소프트웨어 컴포넌트의 유닛 테스트를 위한 테스트 시스템의 생성 및 테스트 케이스 생성 자동화 방법을 제안하였으며, 테스트 시스템은 TTCN-3 테스트 표준을 적용하였다. 본 논문에서 제안한 방법을 적용함으로써 차량 소프트웨어의 개발 기간 단축 및 신뢰성을 향상시킬 수 있었다.