ソフトウェアバグを根絶する！PolyspaceによるC/C++静的コード解析概要（オンラインセミナー）

～R-INコンソーシアム推奨セミナー～

• 2020年 12月10日（木） 14:00～15:00
• オンライン
• 終了しました

　　お申し込み受付の締切は、セミナー開催の前営業日17:00となります。

• マスワークス合同会社

• ソフトウェアの品質向上や開発の効率化に興味のある方
• 静的コード解析に興味のある方

• C/C++による組込みソフトウェア開発の知識（開発経験は不要です）

複雑化、大規模化する傾向にあるソフトウェア開発では、静的コード解析がコードの高品質化、開発の高効率化の実現に必要不可欠です。
Polyspaceはこのようなソフトウェアに対して、コードに潜むMISRA-CやCERT-Cなどのコーディングルール準拠違反の早期発見や、ランタイムエラーの有無をテストを行うことなく証明することでサポートします。
プラグインにて統合開発環境 e² studio上での実行を可能としているので、コード検証の更なる効率化を測ることができます。
本セミナーでは、Polyspaceによる静的コード解析を e² studioでのデモを交えてご紹介いたします。

1. マスワークスの紹介
2. Polyspaceの概要紹介
3. e² studio + Polyspace でのデモ
4. 自動化、MBDでの運用イメージの紹介
5. ユーザー事例の紹介

　※カリキュラムは予告なく変更されることがあります。

本セミナーは Microsoft Teams会議で配信します。

---

お申し込みを希望の方は、下記の日程を選択して申し込みボタンを押してください。

2020年 12月10日（木）受付終了

---

このセミナー内容だと難易度が低い、または高いとお感じの方はこちらの関連セミナーもご覧ください。