モデル検証を効率化する検証支援ツールの新版をリリース：組み込み開発ニュース
キャッツは、モデルベース開発（MBD）で活用されるSimulinkモデルの検証支援ツール「ZIPC Tester Ver.3.0」を発売した。Simulinkのテスト入力波形を効率的に設計する機能やテスト結果の自動判定機能など、検証を効率化する機能を充実させた。
キャッツは2017年4月18日、モデルベース検証支援ツール「ZIPC Tester（ジップシーテスター）Ver.3.0」を発売した。自動車OEM、サプライヤー企業を中心にツールを提供し、今後3年間で1億円の売り上げを見込む。
同製品は、モデルベース開発（MBD）で活用される「Simulink」のモデル検証を効率化するツール。新バージョンでは、従来のテスト対象を状態遷移モデルで設計してテストパターンを生成する機能に加え、Simulinkのテスト入力波形を効率的に設計する機能やテスト結果の自動判定機能、テスト管理機能などを備えた。
また、テスト入力波形（シナリオ）設計に特化したエディタや、テスト入力値の組み合わせを自動生成する機能により、効率的なテスト設計に対応する。対象システムの状態遷移モデルからテストパターンを生成することで、網羅的なテストパターンを効率的に設計することもできる。テスト入力波形から状態遷移モデルへのリバースも可能で、テスト入力波形のカバレッジ（網羅率）を可視化できる。
テスト資材やテスト結果の一元管理も可能だ。テスト結果の自動判定や波形比較ビューで、テスト結果の確認もしやすい。テストデータはExcel、CSV、TSVなどのフォーマットへインポート／エクスポートできる。
複雑な制御を高品質で開発する自動車の制御システムなどでは、MathWorksの「MATLAB／Simulink」を活用したMBDにより開発効率や品質向上が図られている。しかし、モデルの検証方法は担当者に依存していることが多い。同製品は、モデル検証の担当者依存や担当者の負担を軽減する。
「ZIPC Tester Ver.3.0」の状態遷移モデルとテスト入力波形（シナリオモデル）関連記事
いまさら聞けない モデルベース開発入門
あなたは人に「モデルベース開発」を正しく説明できるだろうか？ プロセス改善手法の1つであるモデルベース開発の概念や特徴について解説
組み込みシステム開発における“モデル”とは？
組み込み開発に不可欠な2つの世界 ―ソフトウェアと制御― のモデルを使ってどのように開発が行われるのかを解説
状態遷移表設計手法の概要
組み込みソフトウェアには、さまざまなイベントに対し、その時の状態に応じた処理を行わせる必要がある。そのため「状態遷移表」を用いた設計が適している。本連載では、状態遷移表による設計手法について解説していく。
モデルベース開発って、どう教えればいいの？
全社のモデルベース開発におけるライセンス管理やデータマネジメント、そして教育を目的とした基盤強化チームに選ばれた京子。まずは、最大の課題と感じていた、モデルベース開発を知ってもらうための教育カリキュラム作りに取り組むことになった。
状態遷移テストケース自動生成ツール「ZIPC Tester」発表、キャッツ
キャッツは、組み込みシステム開発やエンタープライズ系システム開発などで幅広く使用できる、状態遷移テストケース自動生成ツール「ZIPC Tester（ジップシーテスター）」の販売を2014年4月21日より開始した。
関連リンク
Copyright © ITmedia, Inc. All Rights Reserved.
ITmediaはアイティメディア株式会社の登録商標です。