Polyspace 제품군

 

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 등의 안전 및 보안 표준 지원.
Volvo Cars - Polyspace를 사용한 소프트웨어 팩토리의 개발 속도 가속화 및 품질 향상 사례

“Polyspace를 통해 코드를 병합할 때마다 심각한 런타임 오류를 사전에 식별하고 수정하여 소프트웨어의 보안성과 품질을 보장할 수 있습니다.”

Johannes Foufas, Volvo Cars

전체 개발 공정을 위한 Polyspace

Polyspace 제품은 Jira나 GitHub 등의 다양한 개발 툴과 함께 IDE부터 CI(지속적 통합) 파이프라인에 이르는 소프트웨어 팩토리에 통합하여 클라우드 또는 온프레미스에서 품질 문제를 효율적으로 관리할 수 있습니다.

  • IDE 내에서 코드 품질 검사.
  • xUnit testing API를 사용해 TDD(테스트 주도 개발)로 전환.
  • 자동 생성되거나 사람이 작성한 소프트웨어 테스트 및 검증.
  • CI 파이프라인에서 테스트 실행 및 코드 검증 자동화.
  • 공급망 전체에 표준 소프트웨어 품질 기준 적용.

효율적인 소프트웨어 공학 팀을 위한 Polyspace

Polyspace 제품은 소프트웨어 품질에 대한 포괄적인 문서, 교정 권장 사항 및 협업을 통해 소프트웨어 엔지니어의 코딩 및 테스트 역량을 향상할 수 있습니다.

  • IDE에서 코딩 결함을 학습하여 소프트웨어 개발자의 코딩 역량 향상.
  • 품질 엔지니어에게 코드 품질을 측정하고 테스트 요구사항을 달성할 수 있는 통합 플랫폼 제공.
  • 소프트웨어 아키텍트가 아키텍처 설계의 코드 구현을 검증하도록 지원.
  • DevOps 엔지니어가 소프트웨어 품질 툴을 소프트웨어 팩토리로 통합할 수 있도록 지원.
  • 소프트웨어 공학 매니저에게 프로젝트의 품질에 대한 통합 뷰 제공.
Polyspace 정적 코드 분석을 사용한 A-SPICE, ISO 26262, ISO/SAE 21434 준수 간소화 사례

“Polyspace를 통해 우리는 효율성을 개선하거나 최소한 유지하면서 품질 목표를 달성할 수 있었습니다.”

David Tuset, Ficosa International

산업 전반에 걸친 임베디드 프로젝트 지원을 위한 Polyspace

자동차

자동차 공급망 전반에 걸쳐 전체 차량 구성요소의 일관적인 소프트웨어 품질을 보장할 수 있습니다. 섀시, 수동 또는 능동 안전, 파워트레인 및 EV/BMS 등 모든 영역에 관련된 임베디드 소프트웨어 품질을 검증할 수 있습니다.

HL Klemove - Polyspace Bug Finder를 사용한 첨단 운전자 보조 시스템의 코드 품질 개선 사례
HL Klemove - Polyspace Bug Finder를 사용한 첨단 운전자 보조 시스템의 코드 품질 개선 사례

항공우주 및 국방

임무 성공에 중대한 위성, 비행기, 헬리콥터 및 기타 국방 시스템에 내장된 소프트웨어의 신뢰성을 평가할 수 있습니다.

Leonardo - 레이다 내비게이션 소프트웨어 개발 및 DO-178C 준수 가속화 사례
Leonardo - 레이다 내비게이션 소프트웨어 개발 및 DO-178C 준수 가속화 사례

의료기기

주입 펌프, 이식형 치료 시스템, 로봇 플랫폼 및 기타 생명에 중요한 의료기기의 임베디드 소프트웨어 품질을 확인할 수 있습니다. 최고 3등급(Class III) 기기까지 IEC 62304 기준을 충족할 수 있습니다.

Miracor - 3등급(Class III) 의료기기 소프트웨어의 런타임 오류 해소 및 테스트 시간 단축 사례
Miracor - 3등급(Class III) 의료기기 소프트웨어의 런타임 오류 해소 및 테스트 시간 단축 사례

반도체 및 통신

고품질 소프트웨어로 비즈니스 필수 시스템의 견고성을 검증하고 공격 표면을 최소화할 수 있습니다.

Miele - 전체 제품계열에 걸쳐 제어 소프트웨어 내 런타임 오류의 부재 증명 사례
Miele - 전체 제품계열에 걸쳐 제어 소프트웨어 내 런타임 오류의 부재 증명 사례
고객 사례 더 보기

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 코드 명령문을 지속적으로 철저히 검증할 수 있습니다.

Polyspace에 대해 더 알아보고 싶으신가요?

평가판 요청
견적 요청

질문이 있습니까?

Polyspace 기술 팀에 문의하십시오.