Polyspace
소프트웨어 테스트 및 코드 품질 평가
질문이 있습니까? 영업팀에 문의하십시오.
소프트웨어 테스트 및 코드 분석을 위한 Polyspace
Polyspace 제품은 개발 라이프사이클 전반에 걸쳐 소프트웨어 품질을 관리하고 측정하며 모니터링할 수 있는 통합 솔루션을 제공합니다.
- 가장 중요한 C, C++, Ada 코드 명령문의 철저한 검증.
- 수백 개의 C/C++ 코드 취약점 파악.
- MISRA C™ 2012, AUTOSAR C++14 및 CERT® C/C++ 등의 코딩 규칙 검사.
- 호스트 및 하드웨어 타겟에서 테스트 케이스 작성, 관리, 실행 및 코드 커버리지 측정.
- 소프트웨어 아키텍처 구현 분석.
안전성, 보안성 및 신뢰성이 우수한 고성능 소프트웨어를 위한 Polyspace
Polyspace 제품은 소프트웨어 공학 팀이 단일 환경에서 이러한 품질 요구사항을 달성할 수 있도록 테스트 및 코드 검증 기능을 제공합니다.
- 코드 품질 평가를 통한 소프트웨어 신뢰성 보장.
- 심각한 취약점을 파악하여 소프트웨어 보안 개선.
- 요구사항 기반 테스트로 소프트웨어의 기능적 정확성 개선.
- 실행 프로파일링 및 준최적 코드 파악을 통한 우수한 성능의 소프트웨어 개발.
- DO-178C, IEC 61508, ISO 26262, ISO/SAE 21434 등의 안전 및 보안 표준 지원.
“Polyspace를 통해 코드를 병합할 때마다 심각한 런타임 오류를 사전에 식별하고 수정하여 소프트웨어의 보안성과 품질을 보장할 수 있습니다.”
전체 개발 공정을 위한 Polyspace
Polyspace 제품은 Jira나 GitHub 등의 다양한 개발 툴과 함께 IDE부터 CI(지속적 통합) 파이프라인에 이르는 소프트웨어 팩토리에 통합하여 클라우드 또는 온프레미스에서 품질 문제를 효율적으로 관리할 수 있습니다.
효율적인 소프트웨어 공학 팀을 위한 Polyspace
Polyspace 제품은 소프트웨어 품질에 대한 포괄적인 문서, 교정 권장 사항 및 협업을 통해 소프트웨어 엔지니어의 코딩 및 테스트 역량을 향상할 수 있습니다.
- IDE에서 코딩 결함을 학습하여 소프트웨어 개발자의 코딩 역량 향상.
- 품질 엔지니어에게 코드 품질을 측정하고 테스트 요구사항을 달성할 수 있는 통합 플랫폼 제공.
- 소프트웨어 아키텍트가 아키텍처 설계의 코드 구현을 검증하도록 지원.
- DevOps 엔지니어가 소프트웨어 품질 툴을 소프트웨어 팩토리로 통합할 수 있도록 지원.
- 소프트웨어 공학 매니저에게 프로젝트의 품질에 대한 통합 뷰 제공.
“Polyspace를 통해 우리는 효율성을 개선하거나 최소한 유지하면서 품질 목표를 달성할 수 있었습니다.”
산업 전반에 걸친 임베디드 프로젝트 지원을 위한 Polyspace
자동차
자동차 공급망 전반에 걸쳐 전체 차량 구성요소의 일관적인 소프트웨어 품질을 보장할 수 있습니다. 섀시, 수동 또는 능동 안전, 파워트레인 및 EV/BMS 등 모든 영역에 관련된 임베디드 소프트웨어 품질을 검증할 수 있습니다.
항공우주 및 국방
임무 성공에 중대한 위성, 비행기, 헬리콥터 및 기타 국방 시스템에 내장된 소프트웨어의 신뢰성을 평가할 수 있습니다.
의료기기
주입 펌프, 이식형 치료 시스템, 로봇 플랫폼 및 기타 생명에 중요한 의료기기의 임베디드 소프트웨어 품질을 확인할 수 있습니다. 최고 3등급(Class III) 기기까지 IEC 62304 기준을 충족할 수 있습니다.
반도체 및 통신
고품질 소프트웨어로 비즈니스 필수 시스템의 견고성을 검증하고 공격 표면을 최소화할 수 있습니다.
Polyspace 제품군
Polyspace 제품은 개발 라이프사이클 전반에 걸쳐 소프트웨어 품질을 테스트하고 모니터링함으로써 중요한 코드의 안정성과 보안성을 향상할 수 있습니다.
Polyspace Access
코딩 결함을 식별하고 정적 분석 결과를 검토하며 소프트웨어 품질 메트릭을 모니터링할 수 있습니다.
Polyspace Code Prover Server
CI 파이프라인에서 중요한 C 코드와 C++ 코드 명령문을 지속적으로 철저히 검증할 수 있습니다.
Polyspace Bug Finder
코딩 규칙, 보안 표준 및 코드 메트릭을 검사하고 버그를 찾을 수 있습니다.
Polyspace Test
임베디드 시스템에서 C 및 C++ 코드에 대한 테스트를 개발하고 관리하며 실행할 수 있습니다.
Polyspace Bug Finder Server
CI 파이프라인에서 소프트웨어 결함을 식별하고 코딩 규칙을 적용할 수 있습니다.
Polyspace Client for Ada
정형 기법을 사용하여 중요한 Ada 명령문을 철저히 검증할 수 있습니다.
Polyspace Code Prover
정형 기법을 사용하여 가장 중요한 C 명령문과 C++ 명령문을 철저히 검증할 수 있습니다.
Polyspace Server for Ada
CI 파이프라인에서 중요한 Ada 코드 명령문을 지속적으로 철저히 검증할 수 있습니다.
