코드 검증

필수 코드의 안전성과 보안성 향상

개발자와 품질 엔지니어는 MathWorks^®의 코드 검증 제품을 사용하여 직접 작성한 코드나 생성된 C/C++ 코드에서 소프트웨어 버그를 찾고, 런타임 오류를 검사하고, 기능 테스트를 실행하고, 기타 품질 문제를 발견할 수 있습니다.

Polyspace^® Bug Finder™를 사용하여 다음을 수행할 수 있습니다.
- AUTOSAR, CERT^® C/C++, MISRA™ C/C++, JSF^® AV C++, CWE™ 및 ISO-17961 코딩 표준을 준수하는지 검사합니다.
- 코드에 동시성 문제, 보안 취약성, 프로그래밍 오류, 기타 소프트웨어 버그가 있는지 검사합니다.
Polyspace Code Prover™를 사용하여 코드에 오버플로, 0으로 나누기 오류, 범위를 벗어난 배열 액세스나 포인터 액세스 및 기타 심각한 런타임 오류가 없음을 증명합니다.
Polyspace Test™를 사용하여 C/C++ 코드에서 단위 테스트와 통합 테스트를 개발, 관리하고 실행합니다.

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

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

코드 제출 전:
- 선호하는 IDE에서 단일 파일 분석을 실행합니다.
- 전체 프로젝트를 Polyspace 데스크탑 인터페이스에서 분석하거나, 분석 작업을 데스크탑에서 서버 컴퓨터로 넘깁니다.
코드 제출 후:
- Jenkins와 같은 자동화 서버를 사용하여 지속적 통합(CI/CD) 프로세스의 한 과정으로 새로 커밋된 코드에서 전체 프로젝트 분석을 실행합니다.
- 서버 결과를 중앙 데이터베이스에 업로드하고 웹 브라우저에서 팀과 함께 결과를 검토합니다.

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

코드 검증 관련 제품

Identify software bugs via static analysis

Prove the absence of run-time errors in software

Develop, manage, and execute tests for C and C++ code in embedded systems

코딩 결함 식별, 정적 분석 결과 검토, 소프트웨어 품질 메트릭 모니터링

Prove the absence of run-time errors in source codePerform code verification on computer clusters and publish metrics

Polyspace Products and Software Development Workflows (Polyspace Bug Finder)
Learn about Polyspace products that can be used in a software development life cycle.
Differences Between Polyspace Bug Finder and Polyspace Code Prover (Polyspace Bug Finder)
Find out how Bug Finder and Code Prover complement each other and determine when to deploy each product in your development workflow.

Check for and Review Coding Standard Violations (Polyspace Bug Finder)
Check for violations of AUTOSAR C++14, CERT C, CERT C++, CWE, MISRA C™, MISRA C++, JSF AV C++, or ISO-17961 standards with Polyspace Bug Finder.
Polyspace Support for Coding Standards (Polyspace Bug Finder)
Check the Polyspace support for different coding standards.
Evaluate Polyspace Code Prover Results Against Software Quality Objectives (Polyspace Code Prover)
Enforce quality thresholds for code submission using Software Quality Objectives.

제출하기 전에 IDE에서 코드 품질을 확인하세요 (Polyspace Access)
단일 파일 분석을 실행하고 Visual Studio^®, Visual Studio Code 또는 Polyspace as You Code 확장 프로그램을 사용하는 Eclipse™에서 결과를 검토하세요.
Sample Scripts for Polyspace Analysis with Jenkins (Polyspace Bug Finder)
Get a head start on scripting Polyspace runs with sample scripts for the Jenkins^® plugin.
Polyspace Access 웹 인터페이스에서 버그 추적 도구 티켓 생성 (Polyspace Access)
Polyspace Access™ 인터페이스에서 Jira 소프트웨어나 Redmine을 사용하여 결과를 추적하세요.
Install Products for Submitting Polyspace Analysis from Desktops to Servers Hosted on AWS (Polyspace Bug Finder)
Offload a Polyspace analysis from a client machine to Polyspace Server installed on AWS cloud infrastructure.
Install Products for Submitting Polyspace Analysis from Desktops to Servers Hosted on Azure (Polyspace Bug Finder)
Offload a Polyspace analysis from a client machine to Polyspace Server installed on Azure cloud infrastructure.

Run Polyspace Analysis on Code Generated with Embedded Coder (Polyspace Bug Finder)
Check code generated with Embedded Coder^® for bugs, run-time errors or coding rule violations.
Run Polyspace on Code Generated by Using Previous Releases of Simulink (Polyspace Bug Finder)
Analyze C/C++ code generated by using previous releases of Simulink^® with newer releases of Polyspace.
Run Polyspace Analysis on Generated Code by Using Packaged Options Files (Polyspace Bug Finder)
Generate Polyspace options files from a Simulink model, and use these options files to analyze generated code by using Polyspace.
Run Polyspace Analysis on Custom Code in Simulink Models (Polyspace Bug Finder)
Analyze manually written C/C++ code to detect issues that might introduce run-time errors or bugs in the simulation.
Run Polyspace on C/C++ Code Generated from MATLAB Code (Polyspace Bug Finder)
Run Polyspace on generated code and check for run-time errors.

Tool Certification (IEC Certification Kit)
Use Model-Based Design and MathWorks tools to meet ISO 26262, IEC 61508, IEC 62304, EN 50128, EN 50657, ISO 25119, and IEC 61511 objectives
Overview of the Artifacts in the IEC Certification Kit (IEC Certification Kit)
The IEC Certification Kit includes certification and qualification evidence, templates, test cases, and test procedures.
Tool Qualification (DO Qualification Kit)
Qualify MathWorks verification tools for projects involving the DO-178C, DO-254, and related standards
Overview of Artifacts in DO Qualification Kit (DO Qualification Kit)
The DO Qualification Kit includes support artifacts, test cases, and test procedures.

정적 분석을 위한 Polyspace 제품 소개
정적 분석을 위한 Polyspace 제품은 C/C++ 코드에서 버그, 런타임 오류, 보안 취약점, 코딩 표준 준수 여부를 비롯한 여러 문제를 검사합니다.