테스트 도구
"독보적인 기술의 정적분석 도구"로 임베디드 SW 품질 확보
다양한 분석 기능을 하나의 플랫폼에서 제공합니다.
실시간 성능 예측, 경쟁 조건 검출, 스택 분석까지 효율적으로 수행하세요.
다양한 분석 기능을 하나의 플랫폼에서 제공합니다. 실시간 성능 예측, 경쟁 조건 검출, 스택 분석까지 효율적으로 수행하세요.
왜 필요한가?
임베디드 SW 분석,
이런 어려움을 겪고 계신가요?
테스트 환경에서는 발생하지 않던 오류가 실제 환경에서 발생하나요?
실시간 시스템에서는 타이밍, 경쟁 조건, 스택 오버플로우 등 예측하기 어려운 문제가 발생합니다. 정적분석으로 실행 전에 이러한 문제를 예측할 수 있습니다.
코드를 수정할 때마다 어떤 모듈에 영향을 미치는지 파악하기 어렵나요?
복잡한 임베디드 코드에서는 변경의 영향 범위를 수작업으로 파악하기 어렵습니다. 자동화된 의존성 분석이 필요합니다.
글로벌 정적분석 도구의 라이선스 비용이 부담되시나요?
국산 솔루션인 HKSAT는 합리적인 가격에 필수 기능을 제공합니다. 기술 지원도 국내에서 직접 받을 수 있습니다.
제품 소개
HKSAT - 임베디드 SW 분석 도구
HKSAT는 다양한 정적분석 기법을 하나의 플랫폼에서 제공합니다.
코드 구조 분석부터 실시간 성능 예측까지, 임베디드 개발에 필요한 분석 기능을 통합 제공합니다.
다양한 분석 통합
구문 분석, 데이터 흐름 분석, 제어 흐름 분석, 타이밍 분석 등 다양한 분석을 하나의 플랫폼에서 수행합니다.
직관적인 시각화
분석 결과를 그래프, 다이어그램 등 시각적으로 표현합니다. 복잡한 코드 구조를 한눈에 파악할 수 있습니다.
자동 보고서 생성
분석 결과를 문서화하여 보고서로 자동 생성합니다. 심사 대응이나 품질 증빙에 활용할 수 있습니다.
국내 기술 지원
국산 솔루션으로 국내에서 직접 기술 지원을 받을 수 있습니다.
주요 기능
코드 구조 분석
소스 코드 구문 및 구조 추출
- 함수/변수/타입 정보 추출
- 호출 그래프 생성
- 제어 흐름 그래프 생성
- 코드 의존성 분석
실시간 성능 분석
실시간 소프트웨어 성능 예측
- WCET(Worst Case Execution Time) 분석
- 시간 제약 준수 여부 검증
- 타이밍 다이어그램 생성
- 병목 구간 식별
코딩 규칙 검사
코딩 표준 준수 검증
- API 사용 규칙 검사
- 전역 변수 초기화 검증
- 명명 규칙 검사
- 코드 스타일 검증
잠재적 위험 검출
런타임 오류 사전 예측
| 분석 항목 | 설명 |
|---|---|
| 경쟁 조건 (Race Condition) | 멀티태스크 환경 동시 접근 문제 검출 |
| 재귀 호출 | 무한 재귀 및 깊은 재귀 검출 |
| 최대 스택 사용량 | 스택 오버플로우 위험 예측 |
| 중복 코드 | 유지보수 위험 코드 식별 |
| 초기화 오류 | 미초기화 변수 사용 검출 |
변경 영향 분석
코드 변경 시 재시험 범위 파악
- 변경 모듈 의존성 분석
- 영향받는 테스트케이스 식별
- 회귀 테스트 범위 최적화
- 변경 이력 추적
사용자 인터페이스
직관적인 GUI 환경
- 메뉴바/툴바 기반 쉬운 조작
- 다중 뷰 동시 표시
- 뷰 배치 커스터마이징
- 프로젝트/모듈/분석 정보 연동 표
분석 결과 시각화
- 호출 그래프 시각화
- 의존성 다이어그램
- 타이밍 차트
- 코드 하이라이팅
기대 효과
실질적 효과
- 런타임 오류 사전 예측
- 테스트 환경에서는 발생하지 않던 경쟁 조건, 스택 오버플로우가 양산 환경에서 발생하면 큰 문제입니다. 정적분석으로 실행 전에 이러한 위험을 미리 발견합니다.
- 변경 영향 파악
- 코드를 수정할 때 어떤 모듈에 영향을 미치는지 자동으로 분석합니다. 회귀 테스트 범위를 최적화하여 필요한 테스트만 수행할 수 있습니다.
- 합리적인 비용
- 국산 솔루션으로 해외 도구 대비 합리적인 라이선스 비용을 제공합니다. 필요한 기능을 합리적인 비용으로 확보할 수 있습니다.
- 국내 기술 지원
- 국산 솔루션으로 기술 지원, 교육을 국내에서 직접 받을 수 있습니다. 해외 본사에 문의하지 않고 빠르게 대응받을 수 있습니다.
도입 지원
세온이앤에스는 HKSAT 파트너로서 다음 서비스를 제공합니다:
- 도입 상담 : 귀사 환경에 맞는 활용 방안 제안
- 설치 및 설정 : 개발 환경 연동 및 초기 설정
- 사용자 교육 : 기능별 활용 교육
국산 정적분석 도구, HKSAT
국산 정적분석 도구,
HKSAT
합리적인 비용으로 임베디드 소프트웨어 품질을 확보하세요.
도입 상담을 통해 귀사 환경에 맞는 활용 방안을 안내해 드립니다.
합리적인 비용으로 임베디드 소프트웨어 품질을 확보하세요. 도입 상담을 통해 귀사 환경에 맞는 활용 방안을 안내해 드립니다.