한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2011년도 추계학술발표대회
- /
- Pages.201-204
- /
- 2011
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
프로그램 검증을 위한 중간표현 언어의 분석
Analysis of the intermediate representation langauge for program verification
- Kim, SeonTae (Dept of Computer and Information Engineering, Inha University) ;
- Kim, JeMin (Dept of Computer and Information Engineering, Inha University) ;
- Park, JoonSeok (Dept of Computer and Information Engineering, Inha University) ;
- Yoo, WeonHee (Dept of Computer and Information Engineering, Inha University)
- 발행 : 2011.11.11
초록
소프트웨어의 비중이 커짐에 따라 소프트웨어가 안전하게 실행되는 것이 보장되어야 한다. 이를 위해 다양한 검증 도구를 통해 검증이 수행된다. 하지만 소스 코드와 명세를 입력으로 받는 검증도구는 검증조건 생성이 어렵기 때문에 검증 조건 생성에 용이하도록 입력 값을 중간 표현 언어로 변환해 주는 것이 필요하다. 본 논문에서는 검증의 정확성을 위해 다양하게 존재하는 중간 표현 언어의 특성을 분석하고 예제를 통해 비교한다. 중간 표현 언어의 비교 분석 결과를 통해 검증을 수행할 때 검증의 목적과 환경에 적합한 중간 표현 언어 선택으로 검증의 효율성과 정확성을 향상시킨다.
키워드