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

484 views · Published 31 August 2017 · 3:06 · Indexed 12 November 2026

Channel: MATLAB · 2017 · Science & Technology

Watch on YouTube

Polyspace Bug Finderはプログラムを実行することなく、オーバーフローなどのソフトウェアの欠陥や、セキュリティ脆弱性の検出をスピーディに解析します。様々なチェック項目や、業界標準のコーディングルールチェックからソースコードの問題を早期段階で発見し、コードメトリクスにより品質を定量的に測定します。高い品質と安全性が要求される組込みソフトウェア開発でその効果を特に発揮します。
 
本ビデオよりも詳細な内容はこちらからご覧ください。
次世代システムに求められるソフトウェア検証技術 ～静的解析の価値と有効性～
https://jp.mathworks.com/videos/software-verification-technology-for-next-generation-systems-1495221206973.html

関連製品の最新情報は、MATLAB EXPOでご覧いただけます: http://www.matlabexpo.com/jp/?s_eid=PSM_19718

More from this channel

• 1:47 AUTOSAR for Production with Model-Based Design

  MATLAB

  4,333 views · 22 April 2013

• 4:31 Simulating in Real Time: Backhoe

  MATLAB

  4,704 views · 26 April 2013

• 5:37 Optimizing Shift Schedule to Maximize Fuel Economy

  MATLAB

  2,142 views · 2 May 2013

• 3:34 Importing Measured Data to Estimate Fuel Economy

  MATLAB

  2,374 views · 2 May 2013

• 5:16 Modeling a Ratchet Mechanism with Leadscrew

  MATLAB

  3,523 views · 2 May 2013

• 3:21 Running Parallel Simulations: Aileron Parameter Sweep

  MATLAB

  2,120 views · 3 May 2013

• 4:30 Finding Causes of Slow Simulations

  MATLAB

  2,359 views · 3 May 2013

• 4:58 Optimizing a Flight Control System

  MATLAB

  4,189 views · 3 May 2013