• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2000년도 정기총회 및 학술대회
• /
• pp.113-118
• /
• 2000

본 논문의 목적은 Electronic Program Guide(EPG)용 응용프로그램을 위한 Application Program Interface(API) 및 이를 위한 Middleware의 구현이다. 이를 위해 Windows 환경 하에서 프로그램 정보 전송 프로토콜인 Program and System Information Protocol(PSIP)을 해석하는 Parser를 구현하고, 해석한 자료를 저장하는 Database를 설계하였다. 구현된 프로그램의 테스트를 위해 디지털 방송 수신 카드를 사용한 테스트베드를 구축하였고, 지상파 디지털 방송에서 수신된 MPEG-2 Transport Stream을 사용하여 구현된 시스템을 검증하였다. 본 논문에서 개발된 Middleware는 EPG를 위한 응용프로그램 및 향후 예약시청, 예약녹화 등의 부가 서비스를 위해 활용될 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.346-348
• /
• 2003

본 논문에서는 2004년 12월 발사 예정인 다목적실용위성 2호의 탑재소프트웨어의 구성과 전반적인 개발 과정 및 개발 환경에 관련된 내용을 서술한다. 다목적실용위성 2호 탑재소프트웨어 개발은 다목적실용 위성 1호 탑재소프트웨어를 근간으로 2호기 요구사양에 따라 요구사양 분석, 설계. 코딩 및 단위 테스트, 통합 테스트와 검증 시험 등을 거쳐 진행되었으며 일련의 모든 개발과정은 국내 연구진에 의해 수행되었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
• /
• pp.348-349
• /
• 2011

무선네트워크 테스트베드는 근래 성공적으로 사용되는 무선네트워크 관련 연구의 검증을 위해 활발히 사용되고 있다. 무선네트워크 테스트베드는 현실적 환경을 반영하는 실험결과를 제공하지만, 주어진 환경에서의 이론적 최대 성능을 계산하기 위해서는 테스트베드 환경을 수학모델에 반영하여 이를 계산하는 번거로운 작업이 필요하다. 본 논문은 무선네트워크 테스트베드에서 실험되는 플로우들의 정보 및 주변환경 정보를 모니터링 하여, 이를 최대 쓰루풋 계산 모델에 삽입 후, 이로부터 플로우별 최대 쓰루풋 정보를 한번의 명령으로 수행 가능한 이론적 플로우 최대 쓰루풋 자동 계산 툴을 제안한다.

• 대한전자공학회논문지SD
• /
• 제37권1호
• /
• pp.60-66
• /
• 2000

본 논문에서는 자체 테스트기능과 보안기능을 각춘 공중전화 가드 IC를 검증함으로써 향후 공중전화 시스템의 국산화에 응용 가능성을 확인한다. 본 연구에서 설계된 공중전화용 IC는 개의 명령어를 지원하고 금액 등 여러 가지 정보를 저장할 수 있는 비휘발성 메모리를 갖는다. 하나의 직렬 I/O로써 이루어지는 외부와의 통신 때문에 야기되는 테스트 시간 문제를 보완하기 위해 대부분의 테스트가 칩 내부에서 동작하도록 자체 테스트 기능을 추가하였다. 또한 여러 가지 보안기능이 소프트웨어, 하드웨어적으로 구현되었다.

• 스마트미디어저널
• /
• 제4권4호
• /
• pp.47-55
• /
• 2015

최근 ICT 분야의 컴퓨팅 패러다임의 변화와 다양한 서비스를 지원하기 위한 VoIP 기술이 재조명 받고 있다. 본 논문에서는 Secured mobile VoIP 기반의 음성 서비스를 지원하기 위한 경량 가상화 기술인 Docker를 이용하여 소프트웨어 PBX인 오픈소스 Asterisk와 하드웨어 플랫폼, 그리고 모바일 단말기간의 시스템들을 설계 및 구현하였다. 그리고 이를 기반으로 네트워크 트래픽의 지연 테스트와 음성 보안 테스트를 글로벌 실환경에서 실증 테스트를 통해 검증하였다.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2009년도 추계학술대회
• /
• pp.343-350
• /
• 2009

대규모 금융권 차세대 프로젝트에서 테스트에 대한 중요성은 재무RISK 관점에서 뿐만 아니라 소프트웨어 품질향상을 위한 결함의 제거 관점에서도 그 의미가 크다. 대규모 차세대 프로젝트는 일반 프로젝트에 비하여 개발되는 소프트웨어의 양이 방대하고 개발참여인원도 일반적인 관리수준을 넘어 수작업에 의한 테스트만으로는 충분한 품질을 보장하지 못한다. 또한 테스트를 수행한 이후에도 지속적으로 변경이 발생하고 이를 반영하는 과정에서 많은 결함이 유입되는 현재의 SI 프로젝트 특성상 지속적인 테스트 및 반복적인 검증만이 소프트웨어의 품질을 보장할 수 있다. 본 논문에서는 code coverage testing기법을 활용하여 동적 테스트 수행결과를 log로 도출하고, log 분석 결과를 통해 소프트웨어 품질의 향상을 기대할 수 있는 방안을 제시한다.

• 한국정보통신학회논문지
• /
• 제22권7호
• /
• pp.949-955
• /
• 2018

HIL 시뮬레이션은 복잡한 실시간 임베디드 시스템을 개발하고 테스트하는 데 사용되는 기법이다. HIL 테스트는 해양플랜트와 같은 고부가가치 선박인 LNGC의 PMS 성능 검증을 위한 효율적인 플랫폼이 된다. 그러나 국내 조선소를 비롯한 연구기관에서 스스로 HIL 테스트를 수행하기에는 시간이 필요하다. 이 문제를 해결하기 위해, 본 연구는 전력 공급 장치 / 소비 장치, 제어콘솔, MSBD 로 구성된 FPGA 기반의 PMS-HIL 시뮬레이터를 제안한다. 제안된 HIL시뮬레이션 플랫폼은 실제 장비 데이터를 사용하였고, PMS의 부하 공유 테스트를 수행하였다. 제안된 시스템은 대칭, 비대칭 및 고정 부하분배를 통해 검증하였고 공장수락시험 대체 가능성을 보여 준다. 또한 향후 에너지관리시스템 개발을 비롯한 선박 자동화 및 자율운항을 위한 추가 시스템 개발 시 많은 도움을 줄 것으로 사료된다.

• 한국컴퓨터정보학회지
• /
• 제2권1호
• /
• pp.121-129
• /
• 1995

결함 시뮬레이션은 테스트 생성의 중요한 과정이며 테스트가 올바른지 검증하거나 결함사전을 작성하는 데에 쓰인다. 본 논문에서는 회로의 신뢰성을 검증하기 위해 사용되는 테스트 패턴을 효율적으로 생성하기 위하여 역추적 결함 시뮬레이션 알고리즘을 제안하였다. 제안한 알고리즘의 기본구성은 초기화 과정, 역추적 결함 시뮬레이션 과정 및 입력패턴의 변화가 생겼을 때 즉 리스트변화가 있을때의 재계산 과정 등 3부분으로 되어 있다. 기본개념은 역추적 과정에서 출력선을 제어하지 못하는 입력을 커팅하므로서 최소의 결함리스트를 유지하는 것이며 리스트의 변화가 생겼을 때 논리변화가 일어나는 신호선만 재계산한다. 제안한 알고리즘은 기억장소의 요구도를 O(n)으로 줄이고 수행시간을 향상시켜 효율적임을 보인다.

• 한국산학기술학회논문지
• /
• 제11권11호
• /
• pp.4460-4467
• /
• 2010

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

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 제39회 하계학술대회
• /
• pp.1877-1878
• /
• 2008

고품질, 고 신뢰도를 지향하는 미래 지능형 전력시스템에 대한 기대와 함께 전력 기기 및 설비의 디지털화에 관심이 집중되면서, 전력시장에서는 전력정보의 양방향 교환 표준을 위한 공통정보모델(CIM : Common Information Model)의 개발 및 활용이 새로운 화두로 부상하였다. CIM은 차세대 전력시스템과 미래형 부가서비스 등의 전반적인 운영측면에서 혁신을 이루는데 사용할 수 있도록 표준화된 데이터교환 모델이다. 이는 전력시스템 내 모든 다양한 객체(변전소, 송전선, 변압기, 차단기, 설비자산, 작업지시, 작업원 등)들이 어떻게 상호 연결되는지를 표현하는 방식이다. 최근 CIM/GID(GID : Generic Interface Definition)에 대한 관심이 고조되면서 CIM/GID를 어떻게 도입하고 활용할 것인가에 대한 논의가 활발하다. 그 활용 방안의 일환으로 개발된 시스템에 대한 상호 운용성 테스트를 수행함으로써 제품 또는 시스템의 표준화 준수 여부와 활용성에 대한 검증이 가능하다. CIM/GID 상호운용성 테스트는 UCA International Users Group에서 가입 회원들을 대상으로 지속적으로 진행되고 있다. 본 논문에서는 미국 클리블랜드에서 2003년 11월 18일$\sim$20일 사이에 진행되었던 5차 CIM/GID 상호운용성 테스트 결과를 토대로 CIM/GID와 CIM XML의 상호 운용성 테스트 방안을 소개하고자 한다.