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®처럼 널리 쓰이는 지속적 통합 툴과 함께 사용할 수 있습니다.
제품 관련 자료:
또한 다음 목록에서 웹사이트를 선택하실 수도 있습니다.
미주
- América Latina (Español)
- Canada (English)
- United States (English)
유럽
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
아시아 태평양
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)