- HOME
- 홈페이지 이용안내
논문 기본정보
CodeAnt : 소프트웨어 검증 효율 향상을 위한 코드 슬라이싱 도구
논문 개요
| 기관명 | NDSL |
|---|---|
| 저널명 | 정보처리학회논문지. KIPS transactions on software and data engineering. 소프트웨어 및 데이터 공학 |
| ISSN | 2287-5905, |
| ISBN |
논문저자 및 소속기관 정보
| 저자(한글) | 박민규,김동우,최윤자 |
|---|---|
| 저자(영문) | |
| 소속기관 | |
| 소속기관(영문) | |
| 출판인 | |
| 간행물 번호 | |
| 발행연도 | 2015-01-01 |
| 초록 | 고안전성이 요구되는 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 하지만 모든 가능한 실행경로를 고려해야 하는 안전성 검증은 고비용이 발생한다는 단점이 있다. 본 논문에서는 안전성 검증의 고비용 문제를 개선하기 위해 안전성 특질을 기준으로 코드 슬라이싱 기법[1]을 구현한 도구를 개발하였다. 개발한 도구를 OSEK/VDX[2] 기반의 개방형 차량 전장용 운영체제인 Trampoline[3] 소스코드에 적용한 결과 분석 대상의 코드의 크기를 평균 71% 줄일 수 있었고, 실제 검증을 수행했을 시에도 도구 적용 이전보다 검증 비용을 절감할 수 있었음을 보였다. |
| 원문URL | http://click.ndsl.kr/servlet/OpenAPIDetailView?keyValue=03553784&target=NART&cn=JAKO201506960268107 |
| 첨부파일 |
추가정보
| 과학기술표준분류 | |
|---|---|
| ICT 기술분류 | |
| DDC 분류 | |
| 주제어 (키워드) | 코드 슬라이싱,안전성 검증,차량 전장용 운영체제,Program Slicing,Safety Checking,Automotive OS |