연구장비 소개
CodeSonar (코드 기반 표준SW 개발/검증/지원도구)
- 장비사양 - 모든 실행 경로의 SW 결함 분석 - 코드의 치명적인 결함 방지 및 해결 - 개발 비용 감소 및 개발자의 능력 향상 - Dead Code 검출을 통한 Code Coverage 조기확보 - 시각적인 Visualization으로 코드의 연관 관계 확인 및 구조 파악 - 변수와 함수 등의 사용정보 자동 추적 - Eclipse Plug-in 지원 및 분석 결과 리포트 자동 생성
장비소개
장비개요
CodeSonar(코드 기반 표준SW 개발/검증/지원도구)
주요용도□ 빠르고 강력한 SW 결함 검출 / 쉽고 편리한 Review를 위한 솔루션 - Inter-Procedural 방식의 SW 통합 정적 분석 도구 - CWE Compatible 인증 획득 - 방위사업청 SW 신뢰성 평가(실행시간 오류 분석) 완벽 지원 - 안정행정부 시큐어 코딩 룰 지원 - 국제 표준에 명시된 Verification을 위한 Data/Control Flow와 Semantic 분석 기법 적용 - MISRA 2012 지원
첨부파일
CodeSonar.PNG
장비담당자 : 게시글담당자 :