テーマ ： 高い信頼性と効率的な解析を ～AbsInt社製ランタイムエラー解析ツール「Astrée」のご紹介～
日 程 ： 2020年11月30日(月) 14時～15時
対 象 ： 対象：ソフトウェアエンジニア
形 式 ： オンラインウェビナー形式で開催
参 加 ： 事前登録必須（参加費無料） 以下より登録をお願い致します。
https://us02web.zoom.us/webinar/register/WN_mCevktZRSjm5Hc-Tplq0rA
内 容 ：
ソフトウェアの信頼性担保には、ランタイムエラーを取り除くことが必須の条件です。
動的テストは、多大なテスト実施時間を費やしますが、エラーの発生するケースが非常に稀であることが多いためランタイムエラーをすべて検出できないリスクが潜在します。
また、従来の解析ツールでは、検出できるランタイムエラーの種類や検出率は十分ではありません。
AbsInt社の「 Astrée 」は形式手法などの最新技術を用いて、数多くのランタイムエラーを検出します。
「 Astrée 」は新しい解析手法で、信頼性の高いソフトウェア開発を支援します。