Polyspace Access를 통해 소프트웨어 공학 팀은 개발 라이프사이클 전반에 걸쳐 C, C++ 및 Ada 소프트웨어의 품질을 관리할 수 있습니다. Polyspace Access는 Polyspace Bug Finder Server, Polyspace Code Prover Server, Polyspace Server for Ada 및 Polyspace Test의 결과를 중앙에서 관리할 수 있는 리포지토리를 제공합니다. 웹 애플리케이션을 통해 프로젝트 컴포넌트와 버전을 탐색하면서 품질 추세를 모니터링하고, 상세 분석 결과를 살펴보며, 문제 트리아지를 위한 협업을 수행할 수 있습니다.
Polyspace Access는 프로젝트 관리 툴 및 인증 시스템과의 통합을 통해 소프트웨어 품질에 대한 통제된 팀 기반 협업을 지원합니다. Polyspace as You Code와 연결하면 Polyspace Access는 CI(지속적 통합)의 분석 결과와 로컬 변경 사항을 동기화해 새로 발생한 결함에 집중할 수 있습니다.
발견 사항에 대한 협업 코드 리뷰 및 트리아지
웹 브라우저에서 소스 컨텍스트와 함께 정적 코드 분석, 동적 분석 및 테스트 결과를 직접 검토할 수 있습니다. 발견 사항에 대한 상태(할 일, 진행 중, 완료)를 설정하고, 담당자를 지정하거나 댓글을 추가할 수 있으며 결과를 필터링할 수 있습니다.
내역, 기준선 및 실행 결과 비교
이전 실행의 통계를 확인하고, 현재 Polyspace 결과를 기준선과 비교하며, 시간 경과에 따른 회귀 및 개선 추이를 모니터링함으로써 릴리스 준비 상태를 추적할 수 있습니다. 새로운 문제를 신속하게 식별하고 빌드 간의 품질 개선 정도를 정량화할 수 있습니다.
소프트웨어 팩토리 통합
CI 파이프라인에서 Polyspace Bug Finder Server, Code Prover Server, Polyspace Server for Ada 및 Polyspace Test가 생성한 결과를 Polyspace Access 리포지토리에 업로드해 중앙에서 관리하고, 웹에서 리뷰할 수 있습니다. 여러분의 프로젝트에서 정의된 품질 기준에 따라 CI 작업을 제한할 수 있습니다.
확장 가능한 역할 기반 접근
LDAP를 통해 엔터프라이즈 ID 관리 시스템과 통합하여 민감한 코드에 대한 분석 결과에 대한 접근을 안전하게 제어하고 관리할 수 있습니다. SSO를 활용해 보안을 강화할 수 있습니다.
제품 관련 자료:
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 코드 명령문을 지속적으로 철저히 검증할 수 있습니다.
