BROWSE
Detail
Conference Paper
코드 정형검증을 위한 특성기반 코드추출기
Cited - time in 
Share 
Share
- Authors
- 박민규, 최윤자, 김진삼
- Issue Date
- 2010-11
- Citation
- 한국정보처리학회 학술 대회 (추계) 2010, pp.283-286
- Publisher
- 한국정보처리학회 (KIPS)
- Language
- Korean
- Type
- Conference Paper
- Abstract
- 안전중요 소프트웨어 코드의 검증은 1%의 잠재적 가능성을 가진 오류조차 허용하지 않는 철저한 검증방식을 요구한다. 이러한 요구에 부응하여 최근 수학적 모델을 사용한 정형검증 기법이 코드검증에 활발하게 적용되고 있으나, 코드의 복잡도와 크기의 증가에 따른 검증비용의 기하급수적 증가가 해결과제로 부각되어왔다. 본 연구에서는 검증하고자 하는 특성을 중심으로 검증대상 코드를 추출, 정형검증의 대상을 자동으로 축소하는 코드추출기를 개발하였다. 개발된 코드추출기는 자동차 전장용 운영체제의 검증에 보조적으로 활용되어 검증비용을 90% 이상 절감하고 검증 사용성을 높이는데 기여하였다.