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

  • 2004.10b
  • /
  • Pages.346-348
  • /
  • 2004
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

A Design and Implementation of the Check Module for the Test of Embedded Software

임베디드 SW의 블랙박스 테스트를 위한 검증 모듈의 디자인 및 구현

  • 김범모 (아주대학교 정보통신전문대학원, 아주대학교 산업시스템공학부, 아주대학교 전자공학부) ;
  • 백창현 (아주대학교 정보통신전문대학원, 아주대학교 산업시스템공학부, 아주대학교 전자공학부) ;
  • 장중순 (아주대학교 정보통신전문대학원, 아주대학교 산업시스템공학부, 아주대학교 전자공학부) ;
  • 정기현 (아주대학교 정보통신전문대학원, 아주대학교 산업시스템공학부, 아주대학교 전자공학부) ;
  • 최경희 (아주대학교 정보통신전문대학원, 아주대학교 산업시스템공학부, 아주대학교 전자공학부) ;
  • 박승규 (아주대학교 정보통신전문대학원, 아주대학교 산업시스템공학부, 아주대학교 전자공학부)
  • Published : 2004.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

최근 개발되는 임베디드 시스템의 경우 하드웨어와 소프트웨어의 구조가 매우 복잡해짐에 따라, 시스템에 탑재되는 소프트웨어의 신뢰성 확보를 위한 테스트 절차가 요구되고 있다. 특히 시스템에 탑재되는 소프트웨어는 다중 함수에 의해 의사결정이 되면서. 시스템 디자인 단계에서 요구되는 스펙(Specification)을 만족하지 못하는 경우가 빈번하게 발생한다 본 논문에서는 임베디드 소프트웨어의 자동화된 테스트를 위해 요구되는 검증 모듈을 디자인하고 구현하였다 검증 모듈은 요구사항 기반으로 설계되었으며, 각각의 요구사항을 만족하는 검증 모듈을 구현하여 실제 상용화 제품에 대한 테스트를 진행하였다.

Keywords