• Journal of KIISE:Software and Applications
• /
• v.30 no.10
• /
• pp.925-937
• /
• 2003

The input of digital TV software is the Transport Stream, which utilizes the moving picture compression technique, MPEC-2 (Moving Picture Experts Groups-2). MPEG-2 TS consists of the complicated table hierarchy and internal relationships, as well as the various restrictions with regards to system standard of digital TV software in determining the field values of transport stream. However, the general MPEG-2 TS generation tool produces transport streams solely based on the MPEG-2 TS specification itself, and does not consider the interaction between modulo features or modules themselves, which construct digital TV software. In this paper, we propose a method to systematically generate MPEG-2 TS test data, namely‘Test Stream’, for digital TV software. We present the experiment result where the test stream derived from our developed tool according to the proposed method was applied to the actual digital TV software settop-box, and then analyze the result. Apart from other existing MPEG-2 TS generation tools, the advantage of our method is that not only is it capable of generating various levels of test streams including digital TV software module, integration, and system testing, but also detecting errors and analyzing their causes.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.400-403
• /
• 2002

디지털 방송 시대가 개막되었다. Digital TV 소프트웨어는 디지털 방송을 위한 수신기 시스템이다. 복잡한 입력 데이터를 처리하기 때문에 시스템 자체도 복잡하고 방대해 Digital TV 소프트웨어를 테스트하는 것은 쉽지 않다. 본 논문은 MPEG-2 TS 표준 형식의 입력 데이터를 이용하여 테스트 데이터를 생성했던 기존 연구를 확장하여 Digital TV 소프트웨어의 특정 모듈을 테스트 하는 방안에 대해 제안한다. Digital TV 소프트웨어의 모듈을 분석하여 테스트 시나리오를 추출하고 테스트 시나리오에 MPEG-2 TS와의 연관관계를 적용하여 데스트 데이터를 생성한다. 본 논문에서 제안만 기법을 사용하면 D-TV 소프트웨어의 특정 모듈을 테스트 하는데 적합한 테스트 데이터를 선정할 수 있을 것이다

• Journal of KIISE:Software and Applications
• /
• v.30 no.11
• /
• pp.1015-1024
• /
• 2003

In [1] we proposed a method to generate a test model (GFSM) from a set of scenarios of embedded software. Each scenario describes the interaction sequences for an external input event. Although these external events are generated and accepted alternatively and concurrently by embedded software, we considered only the alternative relations. In this paper, we describe an improved algorithm to generate GFSM from concurrent scenarios, and propose methods to reduce the number of transitions in the GFSM. The first is the synchronous interpretation of message passing instead of asynchronous one considering the real behavior of tasks in embedded software. The others apply the partial order techniques to the GFSM using independent regions. We apply the method to generate a reduced GFSM of embedded software running on a digital TV.