2020.11.06
イベント情報

【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 」は新しい解析手法で、信頼性の高いソフトウェア開発を支援します。

ご相談・ご質問等ございましたら、
お気軽にお問い合わせください。

株式会社ヴィッツ
〒460-0008 
名古屋市中区栄2-13-1名古屋パークプレイス 1F
TEL (052)220-1218 / FAX (052)218-5855