HKSAT 사용법
PART 1. 소프트웨어 설치 및 설정
PART 2. 프로젝트 생성 및 모듈 추가
PART 3. 소프트웨어 정적 분석 (SSAT)
PART 4. 최장수행시간 분석(WCET)
PART 5. 스케쥴 가능성 분석
PART 6. 소프트웨어 변경 영향 분석(SCIA)
PART 7. 중복 코드 분석(DBCA)
PART 8. 소프트웨어 동적 분석(SDAT)
PART 9. 정적 스택 사용량 분석(SSUA)
PART 10. 파라미터 매칭 분석(PMAT)
PART 11. HKSAT 프로젝트 관리
PART 12. 보고서 생성
PART 13. 기타