Reviewing Polyspace Results
일정 예약 문의교육과정 세부 정보
본 1일 교육과정에서는 알고리즘 결함을 제거하고 소프트웨어의 품질 지표 향상 및 제품의 신뢰성 향상을 위해 Polyspace Access에서 Polyspace Bug Finder 및 Polyspace Code Prover 결과를 해석하고 검토하는 방법을 다룹니다. 본 교육과정은 Polyspace Access에서 결과를 검토하고 그 결과에 대한 대응으로 소프트웨어를 변경해야 하는 엔지니어를 대상으로 합니다. 본 교육과정에서 다루는 주요 내용은 다음과 같습니다.
- 분석 결과 검토 및 이해
- 검증되지 않은 코드 관리(Polyspace Code Prover에 의해 코드가 주황색으로 표시됨)
- 코딩 규칙 위반 관리
- 웹 인터페이스에서 동료와 협업
1일차
Polyspace Bug Finder 분석
학습목표: 결함과 코딩 규칙 위반을 해결합니다.
- Polyspace Access 대시보드 개요
- Polyspace Bug Finder 결함 분석 및 관리
- 코딩 규칙 위반 검토
- 코드 메트릭 검토
Polyspace Code Prover 결과 분석
학습목표: Polyspace Code Prover 결과 해석에 능숙해집니다.
- 요약 해석 개요
- 호출 트리 분석
- 소스 코드 탐색
- 실행 경로
- 변수 범위
- 전역 변수
Polyspace Code Prover 결과 관리
학습목표: 검증되지 않은 검사 항목이 포함된 검증 결과를 처리합니다. 올바른 설정을 통해 실행 컨텍스트에 대한 정보를 추가할 수 있는 방법을 이해합니다.
- 검증 활동 결정
- 가정 확인
- 선택적인 주황색 검토 수행
- 주황색 검사 항목에 우선 순위 지정 및 검토
- 제약 조건이 적용된 컨텍스트별 결과 검토
- 분석 옵션을 변경해야 함을 나타내는 표시자 찾기
통합 및 애플리케이션 분석
학습목표: Polyspace Bug Finder 및 Polyspace Code Prover에서 발견된 통합 문제를 해석합니다. 단일 단위 검증과 통합 컴포넌트 검증을 비교합니다.
- 통합이 검증에 미치는 영향 이해
- 컴포넌트 통합 후 명백해진 문제 검토
- 웹 인터페이스에서 동료와 협업
