イベント
Past 2009
出展内容：
形式手法によるモデル検査・テストベクタ自動生成/ プロダクトライン開発支援ツール
講演： 派生開発を支援する、プロダクトライン開発、モデル検査、テスト自動生成ツールの統合
派生開発において変更・修正などされるモデルは、pure::variants により、体系的に資産管理され、バリアントの設定から個々のモデルと組合せが自動生成される。生成されたモデルに対し、T-VECは形式手法を用いて、テストベクタを生成することでモデル上の欠陥・矛盾を解析。テストベクタはLDRAテストツールを介してターゲット実行され、要件～テストに至る検証作業、トレーサビリティの自動化を支援。
出展内容：
プロダクトライン開発と、テスト自動化支援ツールの展示・デモ
XJTAG バウンダリスキャンテストツールの展示・デモ
講演：間違いだらけの MDD、形式手法、ソフトウエアプロダクトライン開発
”モノづくりを支える真似のできない生産技術を得る設計ツール活用法”
HOME