Main Page

From T-VEC Wiki (Japanese)

Jump to: navigation, search

Welcome to the T-VEC Wiki

Contents

はじめに

T-VEC wiki では、T-VECツールの情報、それらの使用方法、その他の関連情報を提供します。特定のトピックはありませんが、全てはT-VECに関する情報です。誰もがこのwikiを利用できますが、登録ユーザだけが内容を編集できます。ユーザにより、T-VEC wikiへ有用な情報が寄せられると幸いです。その為には、www.t-vec.com でユーザ名/パスワードを得る為の、登録が必要です。提供される全ての資料は、ライセンスによって保護されています。

Recent updates

2008年2月: 非常に大きなモデルの変換をサポートする重要なメモリ最適化
2008年2月: TTM/T-VECの文字列に対するサポート強化
2008年2月: TTM/T-VECモデルチェック機能の強化(OutputとTermテーブルのDisjointednessチェックとMode MachineのRace Conditionチェック)
2008年2月: Simulink 2007aの最新版により、stateflowの自動化したテストドライバー生成に対して、より良い統合が提供されました。 関連項目:モデル参照のためのLDRA統合

Upcoming changes

TTMにおいて、配列に対するサポートを加えること-これは、SCR手法への重要な拡張です。コメントまたは提案を support@t-vec.com に送って下さい。
組み込まれた M-Scriptのトランスレーションに対するサポート

はじめに

動画プレゼンテーションでは、ツール概要(Tool Suite Overview)を提供しています。

T-VECツールは、モデルベースのテストサポート(model-based test support)を提供しています:

  • T-VEC Tablular Modeler (TTM)
    • TTMは、要件管理機能を提供し、要求モデリングとファンクショナルモデリングをサポートします。
  • T-VEC Vector Generation System (VGS)
    • VGSは、モデル解析、テストベクタ生成、テストドライバ生成、テスト結果解析、プロジェクト状態、結果レポートを提供するエンジンです。

モデリングが初めてであれ、TTM は使いやすく、短時間ではじめてのモデルを作ることができます。TTMは、シームレスにVGSと統合しており、ワンクリックで、モデルのテストは、直ちに生成されます。TTMには、ヘルプ、チュートリアルが組み込まれており、インストール内には講習用の課題もついています。

Simulinkユーザは、SL2TVEC とVGSを用いて、モデル解析、テスト生成を行い、自動生成されたコード/マニュアル生成されたコード/Matlabシミュレータに対する、テストの実行ができるようになります。

VGS は、1980年代後半から1990年代初頭に発展したT-VECテクノロジーのコアです。十二分に成熟された技術であり、また初頭の資料・仕様から基本的な手法は変更されていません。大半の既定の設定は、最適なテストセットを提供します。

パイロットプロジェクトまたはワークショップ(Pilot Projects or Workshops)は、T-VECツールの評価・検討を行う最も良い方法です。

内容

T-VEC wikiでは、インストール、チュートリアル、使用法やFAQなど、ツールの使用ガイダンスを提供しています。

その他、一般的な質問

Personal tools