【 3月19日 ウェビナー開催】​
ソフトウェアのレアケース不具合撲滅を支援するツール群ご紹介

テーマ　：　ソフトウェアのレアケース不具合の撲滅を支援！　～静的解析ツール群のご紹介～​

日　程　：　2021年3月19日（金）　10時～11時​

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

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

参　加　：　事前登録が必要です。下記URLから登録お願いします（参加費無料）​
　　　　　　https://us02web.zoom.us/webinar/register/WN_BF7-D_CYQ-eUh9mHJ5Cbvg
​
内　容　：
近年、システムの価値向上はソフトウェアによって実現されることが多くなっておりますが​
複雑化するソフトウェアでは不具合が存在しないことの立証は難しく、多くの時間と費用を要してしまいます。​
本セミナーでは、形式検証技術を用いたドイツAbsInt社製の静的解析ツール群をデモを交えて紹介します。​
本ツールでは、レアケースを含めてランタイムエラーが存在しないことを立証、あらゆる条件下での最悪実行時間、最悪スタック量の解析ができるため容易にソフトウェアの品質を向上させるとともに、ソフトウェアの検証費用、期間を大きく削減できます。​

当日は以下のテーマでデモを交えて紹介させていただきます。​
　・ソフトウェアのレアケース検証の課題​
　・ソフトウェア静的解析ツールの紹介​
　・レアケース不具合撲滅と開発効率化を実現するためのツール活用方法​