Polyspace Bug Finder Server는 런타임 오류, 동시성 문제 및 기타 코딩 결함 등 C 및 C++에서 일반적인 종류의 버그를 식별하는 정적 분석 엔진입니다. 또한 Polyspace Bug Finder Server는 소스 코드가 코딩 규칙(MISRA C®, MISRA C++, JSF++), 보안 규칙(CWE, CERT® C, CERT C++, ISO/IEC 17961) 및 사용자 지정 규칙을 준수하는지 검사할 수 있습니다.
Polyspace Bug Finder Server를 사용하면 순환 복잡도 및 HIS 메트릭 등의 코드 메트릭을 프로젝트, 파일 및 함수 수준에서 모니터링할 수 있습니다. 다양한 컴파일러, 타겟 프로세서, RTOS 환경에서 사용할 서버를 구성하고 Jenkins® 같은 툴을 사용하는 지속적 통합 시스템으로 실행을 자동화할 수 있습니다. 코드 분석 결과는 분류와 해결을 위해 Polyspace Access에 퍼블리시할 수 있습니다.
IEC Certification Kit (for IEC 61508 and ISO 26262) 및 DO Qualification Kit (for DO-178)를 통해 산업 표준 지원이 가능합니다.
Polyspace Bug Finder Server를 사용한 코드 분석 자동화
소프트웨어의 버그 및 취약성 식별
보안 취약성, 동시성, 수치적 결함 등 다양한 종류의 버그를 찾아낼 수 있습니다. 모든 컴파일러, 타겟 프로세서, RTOS 환경에 맞게 분석을 구성할 수 있습니다.
정적 애플리케이션 보안 테스트
보안 취약성과 문제를 검출하여 코드의 보안성을 향상하고 CERT C/C++, CWE, ISO 17961 및 MISRA C:2012 Amendment 1 같은 보안 코딩 표준과 지침을 준수할 수 있습니다.
인증 지원
IEC 61508, ISO 26262, ISO/SAE 21434 또는 DO-178C 등의 산업 안전 및 보안 표준에 대한 인증 과정을 완료하는 데 필요한 아티팩트를 최고의 기능 안전 또는 보안 수준까지 만들 수 있습니다.
모든 플랫폼에서 정적 코드 분석 실행
Polyspace Bug Finder Server를 온프레미스 또는 클라우드 자동화 서버에서 실행할 수 있습니다. MathWorks 참조 아키텍처를 사용하여 Docker, AWS®, Azure® 등의 플랫폼에 배포할 수 있습니다.
자동화 및 데브옵스로의 통합
최신 소프트웨어 개발 관행을 기존의 데브옵스 워크플로와 툴에 추가하는 방식으로 지원할 수 있습니다. Polyspace는 Jenkins와 Bamboo®처럼 널리 쓰이는 지속적 통합 툴과 함께 사용할 수 있습니다.
제품 관련 자료:
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
컴퓨터 클러스터에서 검증을 수행하고 메트릭을 퍼블리시할 수 있습니다.
