Polyspace Bug Finder

코드 분석 결과를 Simulink 모델까지 추적

Polyspace Bug Finder는 생성된 코드 또는 생성된 코드와 직접 작성한 코드를 모두 포함하는 혼합 코드를 분석할 수 있습니다. 자동 생성된 코드 내 코드 수준의 결함 결과는 Simulink의 모델까지 추적됩니다. 모델에서 믿을 수 있는 부분을 식별하고 코드에서 오류를 일으킬 수 있는 설계 문제를 수정할 수 있습니다. 또한 생성된 코드와 직접 작성한 코드의 인터페이스 사이에서 잠재적인 문제를 찾아낼 수 있습니다. 예를 들어 직접 작성한 S-Function 코드를 생성된 코드와 혼합하면, 인터페이스의 잘못된 신호 범위로 인해 런타임 오류가 발생하는 문제가 있을 수 있습니다.

Polyspace Bug Finder는 dSPACE TargetLink 블록과 IBM Rational Rhapsody 모델까지 결과를 추적하는 것도 지원합니다.

Tracing MISRA violations to the Simulink model.

MISRA 위반을 Simulink 모델까지 추적

다음: 인증용 아티팩트 생성

평가판 사용 Polyspace Bug Finder

평가판 신청

Developing Medical Device Software with Zero Bugs

온라인 세미나 보기