Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2002.10e
  • /
  • Pages.430-432
  • /
  • 2002
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Verification Test Script Parser for Flight Software using Lexical Analyser in KOMPSAT-2

다목적실용위성 2호에서 구문분석기를 이용한 탑재소프트웨어 검증시험분석

  • Published : 2002.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

다목적실용위성 2호 FSW(Flight Software)의 개발단계에서 통합 및 시험, 검증시험을 위해 실제 위성시스템과 유사한 인터페이스를 제공하는 개발도구인 STB(Software Test Bed)가 제작되었으며, 제작된 STB를 통한 FSW의 검증시험 및 분석을 지원하기 위한 프로그램으로서 구문분석 프로그램을 이용한 VTSP(Verification Test Script Parser)의 개발이 필요하다. 본 논문에서는 구문분석 도구인 FLEX와 BISON을 이용하여 FSW가 실제시스템 상에서 요구조건에 따라 수행되고 있는지를 자동적으로 검증하기 위해 C 언어와 유사한 사용법을 가지며, 다양한 검증시험 환경에 적합한 VTSP를 개발하기 위한 전체적 개발환경 및 VTSP의 기능에 대해 소개한다.

Keywords