C/C++の形式手法によるコード証明とは - MATLAB & Simulink
現在の時間 0:00
長さ 4:14
ロード済み: 3.93%
ストリームの種類 ライブ
残りの時間 4:14
 
1x
  • チャプター
  • ディスクリプションオフ, 選択済み
  • サブタイトル オフ, 選択済み
  • en (Main), 選択済み

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

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

    Polyspace Code Prover™ は、プログラムを実行することなく、コードに実行時エラーがないことを証明します。形式手法に基づいた抽象解釈を用いることで、ソフトウェアの振る舞いや可能な入力データを網羅し、数学的にコードの正確性を証明します。徹底的にコードを検証し、効率良く ソフトウェアの信頼性を確保します。 

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

    Published: 2017 年 8 月 18 日

    関連製品

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

    次は:

    コード静的解析ツールのPolyspaceを使ったコード検証作業の効率化、モデルベースデザインプロセスの中での使用方法についてハイライトします。ソフトウェア品質やセキュリティに対する注目が増加するソフトウェアに関する検証作業の効率化に関心のある方にお勧めです。

    次世代システムに求められるソフトウェア検証技術 ～静的解析の価値と有効性～

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

    関連ビデオ:

    Use the ToolTip feature in Polyspace Client for C/C++ to get information about data ranges, and use data flow graphs to see a visual representation of the data dictionary and control flow.

    Understand C/C++ Code Design with Polyspace Products

    Check code for compliance to MISRA C rules, identify and fix violations, and generate a report for documentation.

    Checking MISRA Code Rule Compliance with Polyspace Products

    Prove the absence of run-time errors in software using Polyspace Code Prover .

    What Is Polyspace Code Prover?

    Getting embedded avionics software projects to certify to the DO-178B standard can be difficult and challenging. Attend this webinar to learn about optimum tool chains for DO-178B certification. With live product demonstrations, see how code verifica

    DO-178B Certification: Automate and Streamline Using Code...

    C/C++開発環境とMATLABを融合させて検証工数を削減する例をご紹介します。MATLABの豊富な解析/可視化機能や手軽なコーディングをデバッグや検証にもご利用下さい。

    C/C++開発のデバッグ・検証短期化とコード資産の有効活用

    関連ビデオをもっと見る