C/C++の品質と安全性を向上する静的解析とは - MATLAB & Simulink
現在の時間 0:00
長さ 3:05
ロード済み: 5.38%
ストリームの種類 ライブ
残りの時間 3:05
 
1x
  • チャプター
  • ディスクリプションオフ, 選択済み
  • サブタイトル オフ, 選択済み
  • en (Main), 選択済み

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

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

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

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

    Published: 2017 年 8 月 18 日

    関連製品

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

    次は:

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

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

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

    関連ビデオ:

    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

    Explore how Solar Impulse uses Polyspace static analysis to ensure the software in their solar plane complies with DO 178B.

    Solar Impulse Uses Polyspace Static Analysis for Solar...

    View Polyspace static analysis results in real time using Polyspace Bug Finder. Review defects or coding rule violations as they are detected while the analysis continues to run in the background.

    Polyspace Static Analysis Results in Real Time

    Explore how to use Polyspace to comply with security standards and detect a variety of critical software defects and security vulnerabilities.

    Embedded Security with Polyspace Static Analysis

    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

    関連ビデオをもっと見る