Main Content

코드 검증

중요 코드의 안전성과 보안성 향상

개발자와 품질 엔지니어는 MathWorks®의 코드 검증 제품을 사용하여 직접 작성했거나 생성된 C/C++ 코드에 존재하는 소프트웨어 버그와 기타 품질 문제를 감지할 수 있습니다.

  • Polyspace® Code Prover™를 사용하여 코드에 오버플로, 0으로 나누기 오류, 범위를 벗어난 배열 액세스나 포인터 액세스 및 기타 심각한 런타임 오류가 없음을 증명합니다.

  • Polyspace Bug Finder™를 사용하여 다음을 수행할 수 있습니다.

    • AUTOSAR, CERT® C/C++, MISRA® C/C++, JSF® AV C++ 및 ISO-17961 코딩 표준을 준수하는지 검사합니다.

    • 코드에 동시성 문제, 보안 취약성, 프로그래밍 오류, 기타 소프트웨어 버그가 있는지 검사합니다.

분석 결과를 검토한 후 사용자 지정 가능한 리포트를 생성하여 소프트웨어 개발 주기의 여러 단계에서 소프트웨어 품질을 기록하고 미리 정의된 목표를 기준으로 측정합니다.

개발 주기의 다양한 단계에서 Polyspace 제품을 실행할 수 있습니다.

  • 코드 제출 전:

    • 선호하는 IDE에서 단일 파일 분석을 실행합니다.

    • 전체 프로젝트를 Polyspace 데스크탑 인터페이스에서 분석하거나, 분석 작업을 데스크탑에서 서버 컴퓨터로 넘깁니다.

  • 코드 제출 후:

    • Jenkins와 같은 자동화 서버를 사용하여 지속적 통합(CI/CD) 프로세스의 한 과정으로 새로 커밋된 코드에서 전체 프로젝트 분석을 실행합니다.

    • 서버 결과를 중앙 데이터베이스에 업로드하고 웹 브라우저에서 팀과 함께 결과를 검토합니다.

Polyspace 분석을 온프레미스 머신에서 실행하거나 Azure®, AWS® 같은 클라우드 플랫폼의 머신에서 실행할 수 있습니다.

도움말 항목

Polyspace 제품을 소프트웨어 개발 요구 사항에 따라 맞춤화하기

코딩 표준 및 지침을 준수하는지 검사하기

소프트웨어 개발 워크플로에 통합하기

MATLAB 코드 또는 Simulink 모델에서 생성된 코드 분석하기

툴 검증 및 인증을 위한 아티팩트 만들기

  • Tool Certification Artifacts (IEC Certification Kit)
    The certification artifacts include product-specific templates, test cases, and test procedures.
  • Tool Qualification Artifacts (DO Qualification Kit)
    The qualification artifacts include product-specific templates, test cases, and test procedures.