소프트웨어 공학 팀은 Polyspace Access를 사용하여 소프트웨어 개발 라이프사이클 전체에 걸쳐 코드 품질을 검사할 수 있습니다. 이 제품은 개발자가 통합을 위해 코드를 제출하기 전에 코드 규정 준수 위반 사항, 소프트웨어 결함, 보안 취약성을 검출할 수 있도록 돕는 IDE 플러그인인 Polyspace as You Code를 포함합니다. 또한 Polyspace Bug Finder Server 및 Polyspace Code Prover Server를 통해 만들어진 통합 소스 코드의 정적 코드 분석 결과를 검토하는 웹 인터페이스에 액세스할 수도 있습니다.
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 같은 인증 시스템과 통합되어 프로젝트 데이터에 대한 액세스를 제어할 수 있습니다.
IDE 내에서 버그 식별
Visual Studio®, Visual Studio Code 또는 Eclipse 등의 IDE 내에서 Polyspace as You Code 플러그인을 사용하여 코드 작성 또는 수정하는 순간에 곧바로 버그를 찾아낼 수 있습니다. API를 사용하면 이외의 IDE 및 편집기와 통합할 수 있습니다.
프로젝트의 소프트웨어 품질 모니터링
정적 코드 분석 프로젝트를 체계화하여 개발 팀과 워크플로를 지원할 수 있습니다. 프로젝트 대시보드에 표시된 정보를 사용하여 소프트웨어 품질, 프로젝트 상태, 결함의 수, 코드 메트릭을 모니터링할 수 있습니다.
소프트웨어 팩토리로의 통합
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
컴퓨터 클러스터에서 검증을 수행하고 메트릭을 퍼블리시할 수 있습니다.