Polyspace用于C/ c++代码验证

1일차

---

Polyspace워크플로개

학습목通讯录:Polyspace错误发现者및Polyspace代码验证에대해알아보고기본예제를차근차근살펴봅니다。

• 코드검워크플로
• Bug Finder분석실행
• Code Prover검실행
• 소프트웨어문제분석및수정

Polyspace Bug Finder분석

학습목通讯录:ANSI C를준수하지않고런타임환경을고려하지않는코드를분석하고Polyspace错误发现者를사용하여결함및코딩규칙위반을수정합니다。

• Polyspace프로젝트생성
• 일반적런타임환경아티팩트
• 프로세서전용코드처리
• 타깃하드웨어정보설정
• Polyspace Bug Finder의결함분석
• Misra규칙위반분석
• 코드메트릭측정
• 템플릿프로젝트

Polyspace Code Prover결과분석

학습목通讯录:Polyspace Code Prover결과해석에능숙해집니다。

• 약해석개
• 호출트리분석
• 소스코드탐색
• Polyspace Code Prover결과해석
• 소스코드에서전역변수사용내역보기

코드검검사

학습목通讯录:Polyspace Code Prover에서진단을사용하여런타임오류를찾습니다。

• C소스코드검사개
• Polyspace Code Prover런타임오류검사
• 관련된검옵션

2일차

---

Polyspace Code Prover검및결과관리

학습목通讯录:검되지않은검사항목이다수포함된검결과를처리합니다。

• Code Prover검워크플로
• 프로그램실행순서제어
• 주황색런타임오류검사에우선순위지정

Polyspace Code Prover검에정밀도추가

학습목通讯录:Polyspace代码验证가검증도중누락된코드를어떻게처리하는지,이행동을어떻게변경해야보다유의미한검증이이뤄지는지알아봅니다。

• 강성검
• 자동스터빙
• 데이터범위사양
• 수동스터빙

Polyspace Access를사용한통합분석

학습목通讯录:Polyspace访问™를사용하여복잡도가증가하는코드의검증결과를관리하는방법을배우고,통합분석과강건성분석을비교하고해석하는방법을배웁니다。

• Polyspace Access의제출후워크플로
• 문맥적검
• 통합결함및런타임오류감지

응용프로그램분석

학습목通讯录:완성된응용프로그램을검할때유용한절차및옵션을검토합니다。

• 응용프로그램소프트웨어문제
• 동시데이터액세스문제분석
• 어셈블리또는하드웨어함수교체
• Polyspace에서타사코드처리
• 문서 생성

3일차

---

실습지침(선택사항)

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

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

부록F: Polyspace데스크탑을사용한통합분석

학습목通讯录:복잡도가높은코드의분석결과를관리하는방법을배우고,통합분석과강건성분석을비교하고해석하는방법을배웁니다。

• 문맥적검
• 새모듈생성
• 통합결함및런타임오류감지