シナリオ（要求仕様）の
一貫性検証支援ツール

概要

本ツールは，独立行政法人情報処理推進機構　技術本部　ソフトウェア高信頼化センター(SEC:Software Reliability Enhancement Center)が実施した「2015年度ソフトウェア工学分野の先導的研究支援事業」の支援を受けて開発したものです．このシナリオの一貫性検証支援ツール一式には下記のファイルが含まれています．本ツールの検証の主な対象はシナリオですが，要求仕様書全体に対しての検証も行えます．従って，説明書内では，要求仕様の一貫性検証支援ツールとして説明する場合があります．

ファイルおよびフォルダ構成

  • ツール本体　　　　　　　\VerificationTool
  • ツールへの入力情報例　　\input
  • ツールの出力情報例　　　\output
  • ユーザマニュアル　　　　VTUserManual.pdf
ツールダウンロード

補足説明

各フォルダの内容，ツールのインストール方法，使い方についてはユーザマニュアルをご覧ください．

発行履歴

2016-05-12　　　初版公開

2017-03-01　　　\outputのファイルを差替え