Polyspace Access

 

Polyspace Access

코딩 결함을 식별하고, 정적 분석 결과를 검토하고, 소프트웨어 품질 메트릭을 모니터링할 수 있습니다.

Visual Studio 인터페이스에서 Polyspace를 사용하는 화면.

IDE 내에서 버그 식별

Visual Studio®, Visual Studio Code 또는 Eclipse 등의 IDE 내에서 Polyspace as You Code 플러그인을 사용하여 코드 작성 또는 수정하는 순간에 곧바로 버그를 찾아낼 수 있습니다. API를 사용하면 이외의 IDE 및 편집기와 통합할 수 있습니다.

검사기를 구성하는 Polyspace Access 인터페이스.

코딩 표준 및 보안 규칙 준수

코딩하면서 MISRA C 및 MISRA C++, CERT C 및 CERT C++, AUTOSAR C++14, JSF++, 사용자 지정 명명 규칙과 같은 임베디드 소프트웨어 코딩 규칙을 적용할 수 있습니다.

코드 내에서 잘못된 연산자 사용을 강조 표시하는 결과 창.

정적 분석 결과 검토 및 분류

웹 브라우저에서 소스 코드에 대한 Polyspace의 결과를 검토할 수 있습니다. 탐색 툴을 사용하여 결과를 살펴보고 분류할 수 있습니다. 팀원들과의 협업을 위해 결과와 주석을 공유할 수 있습니다.

프로젝트의 소프트웨어 품질 메트릭을 표시하는 대시보드.

프로젝트의 소프트웨어 품질 모니터링

정적 코드 분석 프로젝트를 체계화하여 개발 팀과 워크플로를 지원할 수 있습니다. 프로젝트 대시보드에 표시된 정보를 사용하여 소프트웨어 품질, 프로젝트 상태, 결함의 수, 코드 메트릭을 모니터링할 수 있습니다.

소프트웨어 팩토리로의 통합

Polyspace Access를 소프트웨어 개발 인프라 내에 통합하여 지속적 통합 파이프라인을 정적 코드 분석 결과와 게이팅하고 코드 검증 결과를 버그 추적 툴과 ALM(응용 프로그램 라이프사이클 관리)에 연결할 수 있습니다. 온프레미스든 클라우드든 툴체인 배포 환경에서 멀지 않은 곳에 Polyspace Access 웹 서버를 설치하고 실행할 수 있습니다.

Polyspace 제품군

Polyspace 제품은 개발 라이프사이클 전반에 걸쳐 소프트웨어 품질을 테스트하고 모니터링함으로써 중요한 코드의 안정성과 보안성을 향상할 수 있습니다.

Polyspace Access

코딩 결함을 식별하고, 정적 분석 결과를 검토하고, 소프트웨어 품질 메트릭을 모니터링할 수 있습니다.

Polyspace Code Prover Server

소프트웨어에서 런타임 오류의 부재를 증명할 수 있습니다.

Polyspace Bug Finder

정적 분석을 사용하여 소프트웨어 버그를 식별할 수 있습니다.

Polyspace Test

임베디드 시스템 내 C 및 C++ 코드에 대한 테스트 개발, 관리, 실행

Polyspace Bug Finder Server

서버 컴퓨터에서 실행되는 정적 분석을 통해 소프트웨어 결함을 식별할 수 있습니다.

Polyspace Client for Ada

소스 코드에서 런타임 오류의 부재를 증명할 수 있습니다.

Polyspace Code Prover

소프트웨어의 런타임 오류의 부재를 증명할 수 있습니다.

Polyspace Server for Ada

컴퓨터 클러스터에서 검증을 수행하고 메트릭을 퍼블리시할 수 있습니다.

Polyspace Access에 대해 더 알아보고 싶으십니까?