VDMTools開発ドキュメント

• VDMTools全体像
  • 動作環境
  • 機能
  • ソースディレクトリ構成
  • VDMTools の動作
  • ライブラリ構成
  • 関連ソフトウエア
• VDMToolsの開発方法
  • VDMTools 開発環境構築
  • 開発ツール設定
  • 開発リポジトリの取得
  • 環境変数設定
  • 開発用コマンド、ライブラリのインストール
  • VDMTools のビルド
• Powertest実行方法
  • はじめに
  • 環境設定
  • 3. テスト用ワークディレクトリ作成
  • 4. 設定ファイル作成
  • 5. テスト実行
  • 6. 結果確認
• Powertest テストケース追加方法
  • テストケースの構成
  • ディレクトリの説明
  • テストケースの構成
  • インタープリタ／コード生成のテストケース
  • テストや実行オプションにより結果が変わる場合