지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of KIISE Journal of KIISE Vol.46 No.4
- 발행연도
- 2019.4
- 수록면
- 363 - 368 (6page)
- DOI
- 10.5626/JOK.2019.46.4.363
이용수
초록· 키워드
오류제보하기
데이터에 기반한 경로 선별을 통해 상용 정적분석기의 성능을 높이는 방법을 제안한다. 경로에 민감한(path-sensitive) 분석은 상용 정적분석기가 일반적으로 채택하는 기법이며, 어떤 경로를 골라 분석하느냐에 따라 분석비용과 검출하는 오류 수가 달라진다. 이 논문은 손수 튜닝된 경로 선별 휴리스틱을 장착한 기존 상용 정적분석기로부터 비용 대비 효과가 좋은 새로운 경로 선별 휴리스틱을 자동으로 학습하는 방법을 제안한다. 분석기 코드에서 추출한 특징(feature)과 벤치마크 프로그램의 분석결과에 기대어 학습한다. 이 방법을 스패로우(Sparrow)의 상용 C 소스코드 정적분석기와 17개의 C 오픈소스 벤치마크에 적용한 결과, 대표적인 17종 대상오류에 대해 기존 분석 대비 90.8%의 오류를 38%의 분석시간에 검출할 수 있었다. 이는 기존 분석기의 경로 선별 휴리스틱을 따르되 탐색하는 경로의 개수만 유사한 조건으로 제한했을 때보다 더 많은 오류를 더 짧은 시간에 검출한 것이다.
목차
요약
Abstract
1. 서론
2. 문제
3. 제안하는 방법
4. 실험
5. 관련 연구
6. 결론 및 향후 과제
References
참고문헌 (11)
참고문헌 신청
Al Bessey, et al., "A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World," Communications of the ACM, Vol. 53, No. 2, pp. 66-75, Feb. 2010.
Hakjoo Oh, "Data-driven Program Analysis Techniques," Communications of the Korean Institute of Information Scientists and Engineers, Vol. 36, No. 3, pp. 32-35, May. 2018. (in Korean)
Sparrow, [Online]. Available: http://www.Sparrow-Fasoo.com
Tom M. Mitchell, Machine learning, McGraw-Hill, 1997.
Fabian Pedregosa, et al., "Scikit-learn: Machine learning in Python," Journal of Machine Learning Research, Vol. 12, pp. 2825-2830, Oct. 2011.
Hakjoo Oh, "Data-driven Program Analysis Techniques," Communications of the Korean Institute of Information Scientists and Engineers, Vol. 36, No. 3, pp. 32-35, May. 2018. (in Korean)
Sparrow, [Online]. Available: http://www.Sparrow-Fasoo.com
Tom M. Mitchell, Machine learning, McGraw-Hill, 1997.
Fabian Pedregosa, et al., "Scikit-learn: Machine learning in Python," Journal of Machine Learning Research, Vol. 12, pp. 2825-2830, Oct. 2011.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
거대언어모델의 경로 기반 추론을 위한 경로 선택 방법 연구
한국정보과학회 학술발표논문집
2024 .12
-
휴리스틱 유전 알고리즘 경로 탐색에 광선 추적 알고리즘을 활용한 경로 최적화 연구
한국게임학회 논문지
2019 .12
-
학습된 동역학 모델을 공유하여 사용하는 샘플링 기반 경로계획 및 경로추종 프레임워크 설계
제어로봇시스템학회 국내학술대회 논문집
2022 .06
-
휴리스틱 그래프 탐색 기법에 의한 충돌회피 경로계획 방법
대한전기학회 학술대회 논문집
2018 .07
-
원격교육환경의 문제해결을 위한 경로 알고리즘
한국컴퓨터정보학회논문지
2021 .06
-
사용자 유사도 기반 경로 예측 기법
한국정보기술학회논문지
2019 .12
-
경로 동일성이 추가된 경로 기반 타입의 형식화
한국정보과학회 학술발표논문집
2018 .06
-
선박 이동 경로 예측을 위한 연속적 이동 경로 생성 방법
한국정보과학회 학술발표논문집
2020 .07
-
A*와 최적화 기반 경로계획기법을 활용한 무인이동체의 자율주행
대한기계학회 논문집 A권
2022 .04
-
샘플링 기반 경로 계획과 모델 예측 제어를 이용한 자율 주차 시스템
한국자동차공학회 춘계학술대회
2018 .06
-
경로 추종 및 차선 변경 사이의 연속적인 궤적 생성 방법
한국자동차공학회 추계학술대회 및 전시회
2020 .11
-
확률적 위험도 평가가 고려된 자율 주행 차량에서의 지역 경로 계획 전략
한국자동차공학회 추계학술대회 및 전시회
2020 .11
-
자율이동체의 주행 시험을 위한 선분과 원호로 이루어진 경로 자동 생성 방법
전기전자학회논문지
2023 .03
-
재해정보 확산을 위한 끊김없는 N-스크린 서비스 기술
한국정보통신학회논문지
2015 .03
-
경로 비교를 통한 ROS 기반 경로 계획 알고리즘 최적화
한국통신학회 학술대회논문집
2024 .06
-
휴리스틱 기반의 유전 알고리즘을 활용한 경로 탐색 알고리즘
한국게임학회 논문지
2017 .10
-
로봇의 하이브리드 경로계획 전략
제어로봇시스템학회 국내학술대회 논문집
2019 .05
-
최적 네트워크 구조 및 탐색 알고리즘 선정 연구 -대피경로를 사례로-
대한공간정보학회 학술대회
2020 .11
-
A Study on the Partial Path Generation in the A* Path Search
한국컴퓨터게임학회논문지
2019 .01
-
게임 맵에서 위험 제약 하에서의 최단 경로를 찾는 방법
한국게임학회 논문지
2025 .02
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2019-569-000571981