정적 분석 도구
· Mission Critical 도메인 소프트웨어의 검수 요건
· 도구를 통한 코딩 규칙 검사 자동화로 생산성 증대
· 프로그램 구동 중 발생하는 오류 ▶ 오동작 및 성능 저하, 시스템 재부팅, 정지
· 일반적인 코딩 스타일 검사로는 검출 불가
도메인별로 준수해야 하는 코딩 규칙을 자동으로 검사
검출 가능한 결함(실행시간 오류) 유형
· 여러 PC의 여유 자원을 활용하여 분석에 드는 시간과 비용을 분산
· 대용량 소스를 빠르게 분석(약 300개 C++ 소스파일 1분 이내 분석 가능)
프로젝트 관리자와 실무자의 관심 있는 영역 분리
·결함 위치 확인 및 담당자/상태 변경
·결함 수정을 위한 가이드 제공
·결함 필터를 사용한 빠른 검색
·결함 진행 상황 추적을 통한 관리
Differentiation
Strength
Benefit