Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2005.11a
  • /
  • Pages.285-288
  • /
  • 2005
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

Automated Checking of Specification Consistency

사양 정합성 자동 검사 방법

  • Kim, Young-Soo (Graduate School of Information and Communication, Ajou University) ;
  • Kim, Jang-Bok (Graduate School of Information and Communication, Ajou University) ;
  • Choi, Kyung-Hee (Graduate School of Information and Communication, Ajou University) ;
  • Jung, Gi-Hyun (School of Electronics Engineering, Ajou University) ;
  • Jang, Joong-Soon (Industrial and Information Systems Engineering, Ajou University) ;
  • Park, Seung-Kyu (Graduate School of Information and Communication, Ajou University)
  • 김영수 (아주대학교 정보통신전문대학원) ;
  • 김장복 (아주대학교 정보통신전문대학원) ;
  • 최경희 (아주대학교 정보통신전문대학원) ;
  • 정기현 (아주대학교 전자공학부) ;
  • 장중순 (아주대학교 산업정보시스템공학부) ;
  • 박승규 (아주대학교 정보통신전문대학원)
  • Published : 2005.11.18
Download PDF
⟨ Previous Next ⟩

Abstract

최근 임베디드 시스템의 안정성이 제품의 상품성에 매우 중요한 요인이 되면서, 임베디드 시스템의 내장된 소프트웨어의 품질 검증이 중요해졌다. 내장된 소프트웨어를 검증을 위해서 자동 테스트 방식을 사용할 때, 테스트 오라클이 필요하다. 테스트 오라클을 정확하게 구축하기 위해서는 시스템의 요구사항을 정확하고 수행 가능한 형태로 기술하여야 한다. 따라서 테스트 오라클 생성의 기반이 되는 시스템 사양에서 오류를 검출하는 작업은 매우 중요한 작업이다. 본 논문에서는 사양에 내재가 가능한 다양한 오류 중에서 정합성 오류를 검출하는 방법을 제안한다.

Keywords