코드 검증을 위한 CI 활용 방안

많은 회사들이 높은 품질의 소프트웨어를 빠르게 개발하기 위해, 지속적인 통합 및 배포를 도입하고 있습니다. 이 과정은 코드의 통합, 배포 뿐만 아니라 정적 분석을 포함한 많은 절차가 자동화되어야 합니다.

이 세션에서는 Polyspace® 정적 분석 도구가 지속적인 통합 및 배포를 지원하기 위해 분석 실행을 자동화하는 방법과 여러 사람이 함께 정적 분석 결과물을 리뷰할 수 있는 웹브라우저 기반의 협업 환경을 소개하고자 합니다.

게시 날짜: 2020년 7월 13일

자세히 알아보기

슬라이드 보기

피드백

다음::

IEC 61508 and ISO 26262 certification for embedded software describes certain aspects of safety related to code verification. Embedded software engineers, project managers, and quality assurance managers are involved in the process of matching safety

Embedded Software Verification for IEC 61508 and ISO 26262

관련 비디오:

In part 7 of this webinar series, we discuss the use of Polyspace for formal verification of the embedded software.

Model-Based Design for DO-178C Software Development with...

Learn how to use Polyspace static analysis tools to improve software quality & security and prevent software related defects in your embedded devices.

Writing Secure Code with Polyspace Static Analysis

Document your Polyspace results using Polyspace Bug Finder and Polyspace Code Prover report generation capabilities. Default templates help standardize your workflow, while the web dashboard helps monitor overall code quality.

Documenting Polyspace Results Using Reports

Register now to learn how you can use Polyspace products to detect bugs, debug and fix your code. You will also learn how to verify your code with proof to show that your code is safe and robust.

Comprehensive Static Analysis Using Polyspace Products

관련 비디오 더 보기