For a better experience on dSPACE.com, enable JavaScript in your browser. Thank you!

モデルベース開発をサポートする検証ツールについて(BTC Japan協力)

概要

モデルを応用したソフトウェアアプリケーション開発の課題は、各種の検証手法を駆使して、制御ロジックの確かさ、ソフトウェアの堅牢さを効率よく補償することです。形式手法を応用した制御ロジック検証およびソフトウェア検証は、このような課題を解決する一つの手段です。検証プロセスの標準化を形成し、検証ソリューションの基礎となる、BTC社、MES社の検証ツールについて紹介するセミナーです。的確に定義されたテスト目的とその手法や、MBDを用いた開発手法の検証プロセスとして、効果的に組織運用された事例についても紹介いたします。

受講対象者

  • MBDを用いた開発手法の導入を検討されている方で、検証手法について初心者の方
  • MBDの経験があり、各種検証手法について学びたい方
  • MBDにおける要件検証、ソフトウェアテストの品質向上、工数削減を検討されている方

コンテンツ

  • 単体/結合モデルの形式検証
  • ガイドラインチェック
  • Back-to-Backテスト

期間

  • 半日間(13:30〜17:00)

定員

  • 12名

受講料

  • 無料

お申し込み方法

  • Web申し込みとなりますので、こちらよりお申し込みください