코드 정형검증을 위한 특성기반 코드추출기

홈 > 연구문헌 > 학술대회 프로시딩 > 한국정보처리학회 학술대회 > 2010년 추계 학술대회

한글제목(Korean Title)	코드 정형검증을 위한 특성기반 코드추출기
영문제목(English Title)	A Property-based Code Extractor for Formal Code Verification
저자(Author)	박민규 최윤자 김진삼 Min-Gyu Park Yunja Choi Jinsam Kim
원문수록처(Citation)	VOL 17 NO. 02 PP. 0283 ~ 0286 (2010. 11)
한글내용 (Korean Abstract)	안전중요 소프트웨어 코드의 검증은 1%의 잠재적 가능성을 가진 오류조차 허용하지 않는 철저한 검증방식을 요구한다. 이러한 요구에 부응하여 최근 수학적 모델을 사용한 정형검증 기법이 코드검증에 활발하게 적용되고 있으나, 코드의 복잡도와 크기의 증가에 따른 검증비용의 기하급수적 증가가 해결과제로 부각되어왔다. 본 연구에서는 검증하고자 하는 특성을 중심으로 검증대상 코드를 추출, 정형검증의 대상을 자동으로 축소하는 코드추출기를 개발하였다. 개발된 코드추출기는 자동차 전장용 운영체제의 검증에 보조적으로 활용되어 검증비용을 90% 이상 절감하고 검증 사용성을 높이는데 기여하였다.
영문내용 (English Abstract)
키워드(Keyword)
파일첨부	PDF 다운로드