Polyspace 프로젝트 자동 생성 및 설정

Polyspace®는 수동 혹은 자동으로 프로젝트를 생성하는 2가지 방식을 지원하고 있습니다. 이번 비디오에서는 수동으로 프로젝트 생성하는 것이 왜 어려운지 살펴보고, 그러한 것들을 해결해 줄 수 있는 프로젝트 자동생성 기능에 대해 안내합니다.

게시 날짜: 2019년 1월 7일

자세히 알아보기

Polyspace 정적 분석 도구의 협업 환경 소개 (17:45)

피드백

다음::

Document your Polyspace results using Polyspace Bug Finder and Polyspace Code Prover report generation capabilities. Default templates help standardize your workflow, while the web dashboard helps monitor overall code quality.

Documenting Polyspace Results Using Reports

관련 비디오:

Register now to learn how you can use Polyspace products to detect bugs, debug and fix your code. You will also learn how to verify your code with proof to show that your code is safe and robust.

Comprehensive Static Analysis Using Polyspace Products

Identify software defects via static analysis using Polyspace Bug Finder.

What Is Polyspace Bug Finder?

Set up a Polyspace project automatically from your build configuration using the Polyspace configure feature.

Set Up Polyspace Projects from Your Build System

Quickly create a project using Polyspace Bug Finder to find defects, and then import the project into Polyspace Code Prover to perform detailed code verification.

Setting Up Polyspace Projects

관련 비디오 더 보기