Polyspace Bug Finder

정적 분석을 통한 소프트웨어 결함 파악

Polyspace Bug Finder는 코드 구성요소 또는 전체 임베디드 소프트웨어 프로젝트를 분석하는 데 사용되는 정적 코드 분석 툴입니다. Polyspace Bug Finder는 거짓 양성 비율이 낮은 정형 기법을 포함한 빠른 정적 코드 분석 기술을 사용하여 C 또는 C++ 소스 코드에서 수치, 데이터 흐름, 프로그래밍 및 여러 버그를 정확히 감지할 수 있습니다.

버그를 빠르게 찾고 분류하고 수정하는 데 사용할 수 있습니다. Polyspace Bug Finder는 코드가 작성, 수정 또는 생성되는 즉시 버그 및 코딩 규칙 위반 검출을 수행합니다. 이를 통해 개발 프로세스의 초기 단계에서부터 코드를 반복적으로 디버깅하고 수정할 수 있습니다. Polyspace Bug Finder는 명령행 호출, 독립적인 사용자 인터페이스 또는 Eclipse IDE를 통한 사용을 지원합니다. 자동화된 사용방법을 위하여 빌드 환경으로 통합할 수도 있습니다. Polyspace Bug Finder는 다음을 포함한 소프트웨어 개발 작업 흐름의 중요 활동을 지원합니다.

  • 결함 검출
  • 코딩 표준 적용
  • 코드 복잡성 메트릭 생성
  • 식별한 결함을 분류 및 수정

Polyspace Bug Finder를 통해 프로젝트를 설정하고 정적 코드 분석을 수행할 수 있습니다.

  • 임베디드 대상 및 컴파일러를 통한 프로젝트 생성 및 설정
  • 소스 코드에서 결함 찾기
  • 코드의 MISRA-C:2004, MISRA AC AGC, MISRA-C++:2008, JSF++(Joint Strike Fighter Air Vehicle C++) 표준 또는 사용자 정의 명명 규칙 준수 확인
  • 보고서 작성 또는 정적 코드 분석 및 코드 준수 결과를 시각화
  • 결함 원인을 검토하여 파악한 결함을 분류하고 수정할 방법을 결정
  • Simulink 블록 또는 IBM Rational Rhapsody 모델까지 결함을 추적
  • 정적 분석 결과를 웹 대시보드에 업로드하여 소프트웨어 품질 트렌드를 모니터링
Identify defects and check compliance to MISRA or JSF++.

결함을 파악하고 MISRA 또는 JSF++ 준수를 확인하기 위해 Polyspace에서 프로젝트를 구성

Polyspace Bug Finder는 소스코드에 특정 런타임 오류가 없음을 증명할 수 있는 Polyspace Code Prover와 함께 사용할 수 있습니다. 두 제품 모두 초기 개발 단계에서부터 버그 찾기, 코드 규칙 검사 및 증명에 걸쳐 사용할 수 있는 엔드투엔드(end-to-end) 정적 분석 기능을 제공합니다. 이 기능은 최고 수준의 소프트웨어 품질과 안전이 요구되는 임베디드 소프트웨어의 신뢰성을 보장합니다.

Parallel Computing Toolbox™MATLAB Distributed Computing Server™를 사용하여 정적 분석 작업을 컴퓨터 클러스터로 제출함으로써 정적 코드 분석 속도를 빠르게 할 수 있습니다.

다음: 버그 찾기 및 결함 분류

평가판 사용 Polyspace Bug Finder

평가판 신청

Comprehensive Static Analysis Using Polyspace Products

온라인 세미나 보기