Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2014.04a
- /
- Pages.586-589
- /
- 2014
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
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)
- Published : 2014.04.22
Abstract
고안전성이 요구되는 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 모든 가능한 실행경로를 고려해야 하는 안전성 검증은 시간과 비용이 오래 걸리는 단점이 있다. 본 논문에서는 안전성 검증의 고비용 문제를 개선하기 위해 안전성 특질을 기준으로 코드 자르기 기법[2]을 구현한 도구를 개발하였다. 개발한 도구를 OSEK/VDX[1] 기반의 개방형 차량 전장용 운영체제인 Trampoline[3] 소스코드에 적용한 결과 분석 대상의 코드의 크기를 83% 줄일 수 있음을 보였다.
Keywords