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

http://www.ns.kogakuin.ac.jp/~wwa1076/VerificationTool_r01.zip

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


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


補足説明

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


発行履歴

2016-05-12   初版公開

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


連絡先

工学院大学 情報学部 コンピュータ科学科 位野木万里
email: m_inoki [at] cc.kogakuin.ac.jp
http://www.kogakuin.ac.jp/