• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권10호
• /
• pp.925-937
• /
• 2003

디지털 TV 소프트웨어의 입력은 MPEG-2(Moving Picture Experts Groups-2) 동영상 압축 기술을 이용한 전송 스트림(Transport Stream)이다. MPEG-2 TS는 복잡한 계층 구조와 내부 연관관계를 가지고 있으며, 스트림의 필드 값 결정 시 디지털 TV 소프트웨어의 시스템 규격과 관련된 다양한 제약 사항이 존재한다. 그러나, 일반적인 MPEG-2 스트림 생성 도구들은 MPEG-2 TS 자체의 명세만을 가지고 스트림을 생성하므로 디지털 TV 소프트웨어를 구성하는 모듈의 기능이나 모듈 사이의 상호 작용은 고려하지 않는다. 본 논문에서는 디지털 TV 소프트웨어의 테스트를 위해 체계적으로 테스트 스트림을 생성하는 방법을 제안한다. 또한 제안한 방법을 적용하여 생성한 테스트 스트림을 실제 디지틸 TV 수신기 시스템에 적용한 실험 결과를 제시한다 본 방법을 이용하면 기존의 스트림 생성기와 달리 디지털 TV 소프트웨어의 시스템 테스팅 뿐 아니라, 모듈 및 통합 테스팅을 위한 테스트 스트림의 생성이 가능하며 발견된 오류의 원인 분석이 가능하다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.400-403
• /
• 2002

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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권11호
• /
• pp.1015-1024
• /
• 2003

[1]에서 우리는 내장 소프트웨어의 시나리오들을 합성하여 테스트 모델 (GFSM)을 구하는 방법을 제안하였다. 이때 사용된 각각의 시나리오는 내장 소프트웨어가 받아들이는 외부 입력 사건에 대한 태스크들 사이의 상호작용을 기술하고 있다. 외부 입력 사건은 선택적 또는 병행적으로 발생할 수 있는데, [1]에서는 선택적인 관계만을 고려하였다. 본 논문에서는 병행적 시나리오들을 합성하여 GFSM을 생성할 때 발생하는 전이 수의 급격한 증가를 줄이기 위한 방법을 제안한다. 비동기적 메시지 전송을 수행하는 태스크들의 행위를 보존하도록 하면서 동기적으로 해석함으로써 GFSM의 전이 수를 줄이고, 또한 시나리오 기술에 사용된 MSC 명세로부터 독립 구역을 자동으로 찾아내어 인터리빙의 수를 줄이는 방법을 제안한다. 독립 구역은 최종 시스템의 상태에 변화를 주지 않는 메시지 전송들을 포함한다. 제안된 방법을 디지털 TV 소프트웨어의 시나리오에 적용하여 전이 수의 감소 효과를 얻을 수 있었다.