English : Japanese : Contact : Sitemap
고객게시판  
제품 문의  
공지사항  
보도자료  
공지사항

[WhitePaper] 정적분석의 기술 차이가 도구의 차이
작성자 : 운영자 등록/수정일 : 2022-05-04 17:26:59 추천수 : 0 조회수 : 292
첨부파일 : 정적분석의 기술 차이가 도구의 차이.pdf (612,173 Byte) : [설명 없음]
정적 프로그램 분석(Static Program Analysis)은 프로그램을 실행하지 않고 프로그램의 run-time 행위 등을 분석하는 방법이기 때문에, 정적분석의 기술 차이(Inter vs. Intra procedural analysis)가 코드 점검의 정확도(accuracy)의 수준을 결정합니다.

Accuracy = (True Positive + True Negative) / (True Positive + False Negative + True Negative + False Positive)

특히, 높은 정확도는 오탐(False Positive), 미탐(False Negative)이 없으며, 낮은 정확도는 오탐(False Positive), 미탐(False Negative)이 많이 발생한다는 것입니다.
따라서, 1세대 정적분석도구인 Open Source 도구와 코딩 표준 가이드 점검 상용 도구 등은 정확도가 낮으며, 고급 또는 최상위 상용도구는 높은 정확도를 제공합니다.

첨부 참조) ˝정적분석의 기술 차이가 도구의 차이.pdf˝

목록으로 게시물내용 수정하기

본사: 06732 서울시 서초구 서운로1길34 한국산업기술보호협회 3층
Tel 02-553-9464
Copyrightⓒ2016 ㈜Soft4Soft, All rights reserved. Designed by Meettech.