ビデオ・Webセミナー

説明
関連リソース

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

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

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

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

Published: 2017 年 8 月 18 日

関連製品

Polyspace Bug Finder

MATLAB による無線通信の設計とテストの統合

ホワイトペーパーを読む

ビデオに関するご意見・ご感想

主な機能

Polyspace Bug Finder

次は:

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

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

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

関連ビデオ:

Comprehensive Static Analysis Using Polyspace Products

Writing Secure Code with Polyspace Static Analysis

Solar Impulse Uses Polyspace Static Analysis for Solar...

Polyspace Static Analysis Results in Real Time

Embedded Security with Polyspace Static Analysis

関連ビデオをもっと見る