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