【11月30日 ウェビナー開催】
ソフトウェアのランタイムエラーを静的解析により検出するAbsInt社製ツールをご紹介します。

テーマ　：　高い信頼性と効率的な解析を　　～AbsInt社製ランタイムエラー解析ツール「Astrée」のご紹介～

日　程　：　2020年11月30日(月)　14時～15時

対　象　：　対象：ソフトウェアエンジニア

形　式　：　オンラインウェビナー形式で開催

参　加　：　事前登録必須（参加費無料）　以下より登録をお願い致します。
　　　　　　https://us02web.zoom.us/webinar/register/WN_mCevktZRSjm5Hc-Tplq0rA

内　容　：　

ソフトウェアの信頼性担保には、ランタイムエラーを取り除くことが必須の条件です。
動的テストは、多大なテスト実施時間を費やしますが、エラーの発生するケースが非常に稀であることが多いためランタイムエラーをすべて検出できないリスクが潜在します。
また、従来の解析ツールでは、検出できるランタイムエラーの種類や検出率は十分ではありません。
AbsInt社の「 Astrée 」は形式手法などの最新技術を用いて、数多くのランタイムエラーを検出します。
「 Astrée 」は新しい解析手法で、信頼性の高いソフトウェア開発を支援します。