キャッツは4月21日、システム開発における状態遷移テストケース自動生成ツール「ZIPC Tester」(ジップシーテスター)の販売を開始した。

ZIPC Tester

ZIPC Testerは、大規模化、複雑化するシステム開発において、テスト対象の振る舞いを記述した状態遷移表でテスト設計し、網羅的なテストケースを抽出し自動生成するツールだ。テストケースの抽出にあたってはキャッツが25年以上培ってきた状態遷移表技術を用いていて、本ツールをテスト設計に採用することでテスト戦略に応じた様々な条件設定によって実施可能なテスト数に絞り込んだテストケース生成が可能だ。これにより、状態遷移のテストケース生成、テスト仕様書作成の品質と生産性を向上させることができる。

ライセンスと価格は以下のとおり

  • ノードロック・ライセンス/¥500,000(税別)/1ライセンス
  • フローティング・ライセンス/¥1,000,000(税別)/1ライセンス
  • 保守サポートは2年目から製品価格の30%