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

GUI는 안정성과 견고성 그리고 사용성을 검증하기 위하여 반드시 테스트가 되어야 한다. 하지만 이러한 GUI 테스팅은 기존 소프트웨어 테스트 과정보다 복잡하고 많은 양의 테스트 작업을 요구하게 된다. 그리하여 많은 자동화된 테스트 도구가 개발 되어왔으며, 많은 산업체에서는 이러한 자동화된 테스트 도구를 사용하여 소프트웨어의 품질을 측정하고 있다. 하지만 모바일 소프트웨어의 GUI를 테스트하기 위한 도구는 현재까지 개발 중이며 많은 연구가 선행 되고 있다. 본 논문은 이러한 모바일 애플리케이션의 GUI를 테스트 하기 위하여 많이 사용되고 있는 오픈 소스 기반의 도구 3개를 선정하여 실제 애플리케이션에 적용하여 보고 분석을 통하여 향후 테스트 도구 개발에 대한 방향을 제시 하고자 한다.

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

자율운항선박기술의 상용화를 위하여 개발되는 요소 및 통합기술의 성능시험과 실증은 필수적이며, 이를 위한 테스트베드 개발이 병행되어야 한다. 현재 국내에서는 자율운항선박 기술개발사업을 통해서 개발되는 기술의 성능검증을 위하여 울산시 고늘지구 인근에 성능실증센터가 구축되고 있으며, 성능실증센터는 시뮬레이션 기반 테스트베드를 비롯한 육상테스트베드와 시험해역과 시험선을 포함한 해상테스트베드로 구성된다. 해상테스트베드 시험선은 설계 단계에서부터 자율운항기술의 해상 실증 및 성능시험을 고려하여 건조되었으며, 본 논문을 통해 해상테스트베드 시험선의 기능과 구성요소에 대해 소개하고자 한다.

• 전기전자학회논문지
• /
• 제15권1호
• /
• pp.86-95
• /
• 2011

본 논문에서는 위성망을 이용한 파워 그리드의 위기관리 시스템을 검증하기 위한 테스트베드 시스템을 제안하였다. 위기관리 시스템의 검증을 위해, 제안된 테스트베드는 위성통신의 통신품질을 기상상황에 맞추어 시뮬레이션 하였으며, 파워 그리드의 동작과 이상상황에 대한 정확한 재현을 위해 FPGA 기반의 Phase Measurement Unit(PMU) 에뮬레이터를 구현하였다. 제안된 위성통신 시뮬레이터는 전국 각 지역의 순간 강수량 및 최대 강수량 데이터를 데이터베이스화하여, 습도와 강수량에 기반을 둔 위성통신의 신뢰성을 모델링 하였으며, 인터넷을 통한 실시간 순간 강수량 데이터를 이용해 실시간 위성통신 신뢰도 맵을 구현하였다. 또한 PMU 에뮬레이터는 FPGA 를 이용한 하드웨어 기반의 에뮬레이터 구현을 통해 동작의 신뢰도를 높였다. 본 논문에서 제안한 테스트베드 시스템은 위성망을 이용한 파워 그리드 위기관리 시스템의 검증과 운영에 적용하였다.

• 한국통신학회논문지
• /
• 제18권5호
• /
• pp.650-662
• /
• 1993

본 논문은 ISO 8073과 ADDENDUM 2 프로토콜에 의해 규정되는 CLNS위에 작용하는 트랜스포트 레이어의 테스트와 구현을 설명하였다. 트렌스포트 레이어의 구현을 위해, 다섯개의 모듈과 인터페이스 프리미티브가 정의되었다. 이 프로토콜은 정식으로 SDL이라 칭하고 C언어로 프로그램 되었다. 소프트웨어 검증을 위해, 프로토콜 테스트가 정의되고 테스트 시나리오가 정의되었다. 검증은 테스트 시나리오를 기초로 구현되었다. 본 논문에 나타난 트랜스포트 레이어 소프트웨어는 약간의 변조로 실상황에서 사용되어 진다. 이 논문에 나타난 프로토콜 테스터는 또한 다른 프로토콜 테스터의 검증을 위해 사용된다.

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

전 세계적으로 자율운항선박 관련 연구가 활발히 수행되고 있으며, 자율운항선박 관련 개발 기술에 대한 시험평가 기술의 개발도 그 필요성이 부각되고 있다. 이와 같은 자율운항선박 관련 개발 기술에 대한 시험평가와 관련하여 현재 다부처사업으로 진행 중인 자율운항선박 기술개발사업에서는 자율운항선박에 탑재되는 장비 또는 알고리즘의 성능을 검증하기 위한 플랫폼으로 시뮬레이션 기반 테스트베드(Simulation-based testbed for autonomous ship, S-TAS)를 개발하고 있다. 본 연구에서는 시뮬레이션 기반 테스트베드의 활용을 위하여 자율운항시스템 구성요소 중 안전운항시스템과 경제운항시스템을 검증하기 위한 시뮬레이션 기반 시나리오 운용기능을 설계하였으며, 향후 개발되는 자율운항시스템을 위한 시나리오 운용 기술의 개발 및 연구를 수행할 예정이다.

• 정보보호학회논문지
• /
• 제11권2호
• /
• pp.45-58
• /
• 2001

암호기술 검증에 대한 연구는 암호 알고리즘의 안전성 및 신뢰성을 검증하는데 집중되어 있는 경우가 대부분이다. 그러나 정보보호 시스템의 수준 향상과 안전성 신뢰성 확보를 위해서는 암호기술 자체에 대한 검증뿐만 아니라, 암호기술을 구현한 구현물에 대한 검증이 필요하다. 특히, 암호기술에 대해서 국내외적으로 폭 넓은 표준화가 진행되고 있는 가운데, 이들 기술표준을 정화하게 구현하는 것은 정보보호 시스템의 안전성 및 신뢰성 향상을 가져올 뿐만 아니라, 정보보호 시스템 간의 상호연동성 확보 및 사용자 편익 증대라는 면에서도 매우 중요하다. 본 논문에서는 RSA, KCDSA, SHA-1, HAS-160 등 국내 공인인증체계 기술표준으로 적용되고 있는 암호기술의 구현물이 기술표준을 정확하게 준용하여 구현되었는지를 테스트할 수 있는 검증도구를 설계 및 구현하였다. 각각의 암호기술에 내한 검증은 여러 개의 세부항목으로 구성되어 있고, 충분한 테스트 항목을 통해 검증의 정확성을 높였으며, 검증도구와 검증 대상이 원격에 위치한 상태에서 검증을 수행한 수 있도록 하였다. 본 논문에서 설계 및 구현한 검증도구는 RSA, KCDSA, SHA-1, HAS-160 등을 구현한 모든 보안 제품에 적용할 수 있으며, 각종 암호제품의 평가 및 인증에 활용한 수 있을 것으로 기대된다.

• 정보처리학회 논문지
• /
• 제13권6호
• /
• pp.243-250
• /
• 2024

생체모방로봇은 조류나 곤충과 같은 생체의 특성을 모방하여 미래 전장에서 은밀한 감시와 정찰 작업에 큰 역할을 할 것으로 기대된다. 이 로봇들의 효과적인 활용을 위해서는 새의 날갯짓이나 바퀴벌레의 움직임 등을 모방하는 기술이 중요하지만, 이를 지원하는 하드웨어 확보와 소프트웨어 개발 및 검증 과정의 복잡성으로 인해 어려움이 따른다. 본 논문에서는 모델링 및 시뮬레이션(M&S) 기술을 적용한 다중 HILS 기반 생체모방로봇 소프트웨어 검증 테스트베드를 설계하고 구현한 결과를 소개한다. 테스트베드를 사용함으로써 개발자들은 하드웨어 부재 문제를 극복하고, 미래 전장 시나리오를 시뮬레이션하며 소프트웨어 개발과 테스트를 수행할 수 있다. 그러나, 다중 HILS 기반 테스트베드는 테스트 대상 로봇 수의 증가에 따른 장치 간 연동 지연 문제를 경험할 수 있으며, 이는 시뮬레이션 결과의 신뢰도에 크게 영향을 미칠 수 있다. 이를 해결하기 위해, 우리는 우선순위 기반 미들웨어인 data distribution service prority (DDSP)를 추가로 제안한다. DDSP는 기존 DDS 대비 1.95 ms의 평균 지연 감소 효과를 보이며, 테스트베드에서 요구되는 데이터 전송 품질을 보장할 수 있음을 입증하였다.

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

임베디드 소프트웨어가 날이 갈수록 그 규모가 커지고 복잡해짐에 따라 임베디드 소프트웨어의 품질에 대한 검증 및 테스트는 중요한 문제로 부각하고 있다. 임베디드 소프트웨어의 신뢰성을 확보와 비용절감을 위한 테스트 자동화 시스템의 개발이 필요하다. 이 문서는 테스트 자동화 시스템을 구축하는 과정에서 테스트 대상인 임베디드 시스템의 입출력 변수들의 조작을 통하여 시스템 의존적인 부분을 효과적으로 일반화 시키는 방법을 제시한다. 이 방법을 통하여 테스트 명령을 간소화 할 수 있었으며 테스트 자동화 시스템의 모델을 보다 일반적이고 쉽게 표현할 수 있었다.

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

복잡하고 난해한 웹 응용을 이해하고 테스트하는 것은 사용자가 요구하는 품질을 만족시키기 위한 필수적인 과정이지만 실제로 이 과정을 제대로 수행하는 것은 쉬운 일이 아니다. 지금까지 웹 응용의 테스트를 위해 여러 가지 프레임워크가 제시되어 사용되고 있지만 이러한 프레임워크의 효율성은 어떤 접근법을 사용하느냐에 의존적인 경우가 많다. 본 논문에서는 웹 응용 상태를 표현하는 도메인 모델과 테스트 활동 그래프를 통해 객체의 활동과 의존성을 표현하여 웹 응용의 정확성을 검증하는 테스트 기법을 제안하고자 한다. 이 기법은 웹 응용을 사용자가 이해하기 쉬운 활동으로 모델링하여 테스트할 수 있도록 도와줄 수 있으므로 업무의 효율성과 편의성을 증대시킬 수 있을 것으로 기대된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
• /
• pp.111-116
• /
• 2007

최근 업계에서는 테스트의 중요성이 대두되면서 테스트 활동에 대한 테스트 성숙도 모델 적용을 통해 테스트 프로세스의 지속적인 개선을 도모하고 있다. 하지만 기존의 모델들이 외국 기업의 소프트웨어 개발 환경을 기반으로 하고 있어 중소 규모의 소프트웨어 개발 업체에서 이를 적용하기에는 비용과 기간 면에서 어려움이 따른다. 또한 체계적인 심사방법을 제시하지 못하고 있어 성숙도 모델의 적용에 대한 평가가 어려운 실정이다. 본 논문에서는 심사의 객관성을 확보하는 동시에 심사 비용 및 기간을 축소할 수 있는 방안을 제시한다. 심사의 객관성 확보를 위해 심사 대상 문서의 연관관계 테이블과 활용 기록을 기준으로 문서 심사를 수행하도록 하였으며, 심사 기간과 비용을 줄이기 위해 검증(Verification) 활동 중심의 문서심사를 문서 활용도에 대한 심사로 대체하고 각종 검토 활동 및 교육 활동을 통폐합 하였다. 개선된 심사모델을 도입함으로써 심사 기간이 단축될 수 있으며, 정형화된 심사 지침서의 활용을 통해 객관성을 확보할 수 있는 효과를 기대할 수 있다.