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

  • 2014.04a
  • /
  • Pages.586-589
  • /
  • 2014
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Code Slicing Tool for Effective Software Verification

효과적인 소프트웨어 검증을 위한 코드 자르기 도구의 개발

  • Kim, Dongwoo (School of Computer Science and Engineering, College of IT engineering Kyungpook National University) ;
  • Park, Mingyu (School of Computer Science and Engineering, College of IT engineering Kyungpook National University) ;
  • Choi, Yunja (School of Computer Science and Engineering, College of IT engineering Kyungpook National University)
  • 김동우 (경북대학교 IT대학 컴퓨터학부) ;
  • 박민규 (경북대학교 IT대학 컴퓨터학부) ;
  • 최윤자 (경북대학교 IT대학 컴퓨터학부)
  • Published : 2014.04.22
Download PDF
⟨ Previous Next ⟩

Abstract

고안전성이 요구되는 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 모든 가능한 실행경로를 고려해야 하는 안전성 검증은 시간과 비용이 오래 걸리는 단점이 있다. 본 논문에서는 안전성 검증의 고비용 문제를 개선하기 위해 안전성 특질을 기준으로 코드 자르기 기법[2]을 구현한 도구를 개발하였다. 개발한 도구를 OSEK/VDX[1] 기반의 개방형 차량 전장용 운영체제인 Trampoline[3] 소스코드에 적용한 결과 분석 대상의 코드의 크기를 83% 줄일 수 있음을 보였다.

Keywords