Polyspace Access

 

Polyspace Access

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

소프트웨어 공학 팀은 Polyspace Access를 사용하여 소프트웨어 개발 라이프사이클 전체에 걸쳐 코드 품질을 검사할 수 있습니다. 이 제품은 개발자가 통합을 위해 코드를 제출하기 전에 코드 규정 준수 위반 사항, 소프트웨어 결함, 보안 취약성을 검출할 수 있도록 돕는 IDE 플러그인인 Polyspace as You Code를 포함합니다. 또한 Polyspace Bug Finder Server, Polyspace Code Prover Server 및 Polyspace Test를 통해 만들어진 통합 소스 코드의 정적 코드 분석 결과를 검토하는 웹 인터페이스에 액세스할 수도 있습니다.

Polyspace as You Code는 심각한 결함과 보안 취약성을 검출하고, MISRA C®, MISRA C++, AUTOSAR C++-14, CERT® C, CERT C++ 및 사용자 지정 명명 규칙과 같은 코딩 규칙 표준을 준수하는지 검사합니다. Visual Studio®, Visual Studio Code 또는 Eclipse™ 같은 개발자의 IDE에 플러그인 형태로 통합되어 소스 코드 보기 내에서 결과를 보고합니다. 그리고 Polyspace Access 중앙 리포지토리에 연결하면 개발 기준선에 비교하여 개발자가 새로 추가한 문제만을 강조 표시할 수 있습니다.

개발자 및 품질 엔지니어는 웹 인터페이스를 통해 정적 코드 분석 결과에 대해 프로젝트 전반에 걸쳐 협업할 수 있습니다. 프로젝트 대시보드부터 문제의 발견에 이르기까지, 팀원들은 품질 추세를 모니터링하고 소프트웨어 취약성, 코드 메트릭, 심각한 런타임 오류, 코딩 표준 준수 여부를 분석, 검토, 할당할 수 있습니다. JIRA 같은 프로젝트 관리 툴과의 통합을 통해 코드 품질에 대한 팀 기반 협업이 가능해집니다. Polyspace Access는 온프레미스 또는 클라우드에서 호스트되는 중앙 리포지토리를 제공하며, 이는 LDAP 같은 인증 시스템과 통합되어 프로젝트 데이터에 대한 액세스를 제어할 수 있습니다.

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 Copilot

Polyspace에 최적화된 AI 어시스턴트입니다.

Polyspace Test

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

Polyspace as You Code

사용 중인 IDE에서 코딩 표준 위반 사항과 소프트웨어 취약점을 식별할 수 있습니다.

Polyspace Bug Finder

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

Polyspace Code Prover Server

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

Polyspace Bug Finder Server

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

Polyspace Client for Ada

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

Polyspace Code Prover

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

Polyspace Server for Ada

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

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