株式会社NTTデータ オートモビリジェンス研究所の製品一覧
株式会社NTTデータ オートモビリジェンス研究所の製品一覧
ZIPC
Ver.10
状態遷移設計CASEツールの決定版
システムの複雑な振舞いを状態モデルで設計、シミュレーション、コード自動生成まで行える国産CASEツールのデファクトスタンダードです。ソフトウェアの品質・生産性を向上させ...
ZIPC TERAS
Ver.1.0
トレーサビリティプラットフォーム
システム開発における「定義書、仕様書、設計書、ソースコード」等の各プロセスで作成される様々な文書間の関連情報をひもづけし、情報が変更・追加された時の影響範囲、関連性...
ZIPC FOT
Ver.1.0
テスト設計支援／テストケース自動生成ツール
ペアワイズ法を用いたテストの組合せケースを自動生成するテスト設計支援ツールです。少ない量で且つ、欠陥検出率の高いテストケースを自動生成できます。
ZIPC Tester
Ver.1.0
状態遷移テストシナリオ自動生成ツール
テスト用の状態遷移表を設計し、そこからテストシナリオを自動生成します。網羅的なテストシナリオをミスなく高速に生成したり、多彩な絞り込み条件で現実的なテスト数で効果的...
UPPAAL
リアルタイムシステム・モデル検査ツール
「形式手法」は機能安全規格等で、その利用を推奨されるなどソフトウェア品質の確保の為の技術として注目されています。UPPAALは時間制約を含むシステムの挙動をモデル化し、検...