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

466 views · Published 31 August 2017 · 3:06 · Indexed 22 September 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

• 3:34 Importing Measured Data to Estimate Fuel Economy

  MATLAB

  2,362 views · 2 May 2013

• 4:30 Finding Causes of Slow Simulations

  MATLAB

  2,328 views · 3 May 2013

• 2:36 Modeling Losses in a Planetary Gear

  MATLAB

  3,707 views · 30 September 2014

• 4:02 Lennart Ljung on the Past, Present, and Future of System Identification

  MATLAB

  3,538 views · 4 December 2014

• 5:05 Balancing Model Fidelity and Simulation Speed

  MATLAB

  272 views · 19 August 2016

• 3:34 Custom Target Development for ARM Cortex A, Part 7: Code Optimizations

  MATLAB

  886 views · 14 September 2016

• 1:05 Parallel Simulations in Simulink

  MATLAB

  4,892 views · 26 April 2017

• 50:43 Analyzing Investment Strategies with CVaR Portfolio Optimization in MATLAB

  MATLAB

  2,878 views · 28 April 2017