C/C++の品質と安全性を向上する静的解析とは

出典シリーズ: Polyspace製品紹介

Polyspace Bug Finder はプログラムを実行することなく、オーバーフローなどのソフトウェアの欠陥や、セキュリティ脆弱性の検出をスピーディに解析します。様々なチェック項目や、業界標準のコーディングルールチェックからソースコードの問題を早期段階で発見し、コードメトリクスにより品質を定量的に測定します。高い品質と安全性が要求される組込みソフトウェア開発でその効果を特に発揮します。

本ビデオよりも詳細な内容はこちらからご覧ください。
次世代システムに求められるソフトウェア検証技術～静的解析の価値と有効性～

Published: 2017 年 8 月 18 日

Polyspace Bug Finder

次は:

Polyspace Code Proverはプログラムを実行することなく、コードに実行時エラーがないことを証明します。本ビデオでは、Polyspace Code Proverの概要についてご紹介します。

4:14

C/C++の形式手法によるコード証明とは

すべてのシリーズを見る (4 ビデオ)

C/C++の品質と安全性を向上する静的解析とは

関連製品

Polyspace Bug Finder

次は:

関連ビデオ: