HKSAT
제품 소개
- 임베디드 소프트웨어를 다양한 방법으로 분석하는 도구입니다.
- 분석으로 검출된 오류를 시각화·문서화하여 관리할 수 있습니다.
- 개발 초기 단계에서 빠르게 오류를 검출해 품질을 향상합니다.
HKSAT 용도
- 소스 코드 구문 및 구조 추출
- 실시간 소프트웨어의 성능 예측
- 실시간 소프트웨어의 시간제약 준수 보장
- 코딩 규칙 준수여부 검사 (API 사용 규칙, 전역 변수 초기화)
- 잠재적 구현 위험 요소 검출 (경쟁 조건, 재귀 호출, 최대 스택 사용량, 중복 코드)
- 코드 변경 후 재시험 필요 모듈 파악
HKSAT 특징
- 소프트웨어 오류를 개발 초기 단계에 검출
- 소스 코드를 다양한 방법으로 분석하고 보고서 자동 생성
- 분석 결과 시각화로 빠른 이해 지원
- 하나의 플랫폼에서 다양한 분석 수행
- 메뉴바·툴바·여러 뷰로 구성된 GUI 제공
- 뷰 배치 커스터마이징 및 프로젝트/모듈/분석 정보 연동 표시
HKSAT 주요 기능
