MATLAB 및 Simulink 교육

Polyspace for C/C++ Code Verification

교육과정 세부 정보

본 2일 교육과정은 코드 정확도를 검증하고 소프트웨어의 퀄리티 지표 향상 및 제품의 신뢰성을 높이기 위한 Polyspace Bug Finder™와 Polyspace Code Prover™의 이용 방법을 다룹니다. 본 과정의 주요 내용은 다음과 같습니다.

  • 검증 프로젝트 생성
  • 검증 결과 분석 및 이해
  • Target 실행 환경의 에뮬레이션
  • 누락된 함수 및 데이터 처리
  • 검증되지 않는 코드(Polyspace 제품에서 주황색으로 표시) 관리
  • MISRA-C® Rules 적용
  • 보고서 작성

Day 1 of 2


Polyspace 워크플로 개요

Objective: Polyspace Bug Finder 및 Polyspace Code Prover에 대해 알아보고 기본 예제를 차근차근 살펴봅니다.

  • Polyspace의 소프트웨어 개발 워크플로
  • 간단한 검증 예제
  • 결함 및 런타임 오류 분석

Polyspace Bug Finder 분석

Objective: ANSI C를 준수하지 않고 런타임 환경을 고려하지 않는 코드를 분석하고 Polyspace Bug Finder를 사용하여 결함 및 코딩 규칙 위반을 수정합니다.

  • 일반적인 런타임 환경 아티팩트
  • 프로세서 전용 코드 처리
  • 실행 컨텍스트 정의
  • 타깃 하드웨어 정보 설정
  • Polyspace Bug Finder 결함 분석 및 관리
  • 코딩 규칙 위반 감지
  • 코드 메트릭 측정

Polyspace Code Prover 결과 분석

Objective: Polyspace Code Prover 결과 해석에 능숙해집니다.

  • 요약 해석 개요
  • 호출 트리 분석
  • 소스 코드 탐색
  • 실행 경로
  • 변수 범위
  • 전역 변수

코드 검증 검사

Objective: Polyspace Code Prover에서 진단을 사용하여 런타임 오류를 찾습니다.

  • C 소스 코드 검사 개요
  • 소스 코드에서 검사 항목의 위치
  • 검사 항목 설명
  • 관련된 검증 옵션

Day 2 of 2


Polyspace Code Prover 검증 및 결과 관리

Objective: Polyspace Code Prover에서 진단을 사용하여 런타임 오류를 찾습니다.

  • C 소스 코드 검사 개요
  • 소스 코드에서 검사 항목의 위치
  • 검사 항목 설명
  • 관련된 검증 옵션

Polyspace Code Prover 검증에 정밀도 추가

Objective: Polyspace Code Prover가 검증 도중 누락된 코드를 어떻게 처리하는지, 이 행동을 어떻게 변경해야 보다 유의미한 검증이 이뤄지는지 알아봅니다.

  • 강인성 검증 및 문맥적 검증
  • 함수 스터빙
  • 데이터 범위 사양
  • 수동 스터빙

분석 통합

Objective: Polyspace Code Prover가 검증 도중 누락된 코드를 어떻게 처리하는지, 이 행동을 어떻게 변경해야 보다 유의미한 검증이 이뤄지는지 알아봅니다.

  • 강인성 검증 및 문맥적 검증
  • 함수 스터빙
  • 데이터 범위 사양
  • 수동 스터빙

응용 프로그램 분석

Objective: 완성된 응용 프로그램을 검증할 때 유용한 절차 및 옵션을 검토합니다.

  • 응용 프로그램 검증 설정
  • 응용 프로그램 검증 결과 개선
  • 동시성 문제 감지
  • 강인성 검증과 문맥적 검증 비교
  • 문서 생성

Day 3 (optional, available with private training only)


실습 지침(선택 사항)

Objective: 배운 내용을 돌이켜 보고 Polyspace를 프로젝트에 직접 적용해 봅니다. 본 교육과정에서 다루는 주요 내용은 다음과 같습니다:

  • Polyspace Bug Finder 검사
  • C++ 코드 검증
  • 태스킹 및 공유 데이터 분석
  • 생성된 코드 검증
  • 개발 프로세스 검토
  • 워크플로 통합
  • 클라이언트/서버 소프트웨어 설치
  • 프로젝트 코드용 Polyspace 구성
  • 결과 해석

수준: 중급

수강자 필수조건:

  • C 또는 C++ 에 대한 높은 수준의 지식

기간: 2 일

언어: English, 日本語, 한국어, 中文