【ポスター】派生開発，モジュール化を支援できるモデルベースドテスト(MBT)
| イベント名 | 派生開発カンファレンス2014 |
|---|---|
| カテゴリー | アドバンスド |
| 時間 | 12:35～14:25 |
| 発表者 | 富士設備工業株式会社 浅野 義雄 |
| 概要 | T-VECのMBTは，仕様をモデル化して定理証明すると同時に，テストベクタ（入力・期待値）・ドライバーを自動生成できるので，後工程の検証作業工数を大幅に削減します。またモデルによる抽象化でテストの変更・構成管理が軽減されます。スペックアウトで抽出した詳細な仕様，あるいは既存テストシナリオを基にしたMBTの活用について，実践的な派生開発手段であるXDDPに取組まれる皆さん，意見交換をませんか。 |
