Polyspace Copilot은 Visual Studio® Code IDE의 Polyspace as You Code 플러그인에 생성형 AI 기반 기능을 제공합니다. Polyspace Copilot은 코딩 결함 사항과 MISRA C™:2023, MISRA C++™:2023 및 CERT® C/C++ 와 같은 코딩 표준 위반 사항의 분석 및 해결을 지원합니다.
또한 Polyspace Copilot은 로컬 코드베이스와 관련된 Polyspace as You Code 분석 결과에 대한 맞춤형 설명을 제공합니다. Copilot Chat은 이러한 분석 결과를 해결하기 위한 코드 수정안을 제안할 수 있습니다. 사용자는 Copilot Chat에 Polyspace as You Code와 관련된 질문을 할 수 있으며, 관련 MathWorks 문서에 근거한 정보를 받을 수 있습니다.
Polyspace 기능 살펴보기
자연어 채팅을 통해 현재 코드 검증 목표와 관련된 Polyspace 기능을 살펴볼 수 있습니다. Polyspace Copilot의 답변은 최신 MathWorks 문서와 코드 예제를 기반으로 합니다.
Polyspace 분석 결과 이해
Polyspace as You Code 분석 결과에 대한 맞춤형 및 맥락 기반의 설명을 검토할 수 있으며, MISRA C:2023, MISRA C++:2023, 및 CERT C/C++ 위반 사항에 대한 인사이트를 얻을 수 있습니다.
Polyspace 분석 결과에 대해 제안된 수정 사항 검토
Polyspace 분석 결과를 해결하는 방법에 대한 안내를 제공하며, C/C++ 코드 수정 방법에 대한 제안을 코드 스니펫과 함께 제공합니다. Polyspace Copilot는 승인된 위반 사항에 대해 Polyspace 정당화를 제안할 수 있습니다.
선호하는 언어로 상호작용
Polyspace Copilot의 다국어 지원을 통해 여러 언어로 질문하고 필요한 안내를 받을 수 있습니다.
제품 관련 자료:
Polyspace 제품군
Polyspace 제품은 개발 라이프사이클 전반에 걸쳐 소프트웨어 품질을 테스트하고 모니터링함으로써 중요한 코드의 안정성과 보안성을 향상할 수 있습니다.
Polyspace Access
코딩 결함을 식별하고 정적 분석 결과를 검토하며 소프트웨어 품질 메트릭을 모니터링할 수 있습니다.
Polyspace Copilot
Polyspace에 최적화된 AI 어시스턴트.
Polyspace Test
임베디드 시스템에서 C 및 C++ 코드에 대한 테스트를 개발하고 관리하며 실행할 수 있습니다.
Polyspace as You Code
사용 중인 IDE에서 코딩 표준 위반 사항과 소프트웨어 취약점을 식별할 수 있습니다.
Polyspace Bug Finder
코딩 규칙, 보안 표준 및 코드 메트릭을 검사하고 버그를 찾을 수 있습니다.
Polyspace Code Prover Server
CI 파이프라인에서 중요한 C 코드와 C++ 코드 명령문을 지속적으로 철저히 검증할 수 있습니다.
Polyspace Bug Finder Server
CI 파이프라인에서 소프트웨어 결함을 식별하고 코딩 규칙을 적용할 수 있습니다.
Polyspace Client for Ada
정형 기법을 사용하여 중요한 Ada 명령문을 철저히 검증할 수 있습니다.
Polyspace Code Prover
정형 기법을 사용하여 가장 중요한 C 명령문과 C++ 명령문을 철저히 검증할 수 있습니다.
Polyspace Server for Ada
CI 파이프라인에서 중요한 Ada 코드 명령문을 지속적으로 철저히 검증할 수 있습니다.
추가 참고 자료
패널 내비게이션
무료 기술 칼럼
