
	TOPPRES/A-WDG 仕様カバレッジチェックツール実行手順

本ドキュメントは，TOPPRES/A-WDGの仕様カバレッジチェックツールを実行する
手順を示す．

----------------------------------------------------------------------
TOPPRES/A-WDG
    Automotive Watchdog Driver

Copyright (C) 2014-2015 by Center for Embedded Computing Systems
                           Graduate School of Information Science, Nagoya Univ., JAPAN
Copyright (C) 2014-2015 by AISIN COMCRUISE Co., Ltd., JAPAN
Copyright (C) 2014-2015 by FUJI SOFT INCORPORATED, JAPAN
Copyright (C) 2014-2015 by NEC Communication Systems, Ltd., JAPAN
Copyright (C) 2014-2015 by Panasonic Advanced Technology Development Co., Ltd., JAPAN
Copyright (C) 2014-2015 by SCSK Corporation, JAPAN
Copyright (C) 2014-2015 by Sunny Giken Inc., JAPAN
Copyright (C) 2014-2015 by TOSHIBA CORPORATION, JAPAN
Copyright (C) 2014-2015 by Witz Corporation

本ドキュメントは，車載制御システム向け高品質プラットフォームに関す
るコンソーシアム型共同研究において開発したものである．本ドキュメン
トの著作権は，上記の著作権者に帰属する．

$Id: readme.txt 3492 2017-03-14 05:45:23Z suzuki-kawaguchi $
----------------------------------------------------------------------

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
(1) フォルダ構成
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

coverage
┣ check_spec_coverage.rb：仕様カバレッジチェックスクリプト
┣ get_spec_id.rb        ：AUTOSAR仕様書から仕様タグを抜き出すスクリプト
┣ get_impl_id.rb        ：get_spec_id.rbで生成したファイル
┣ wdg_spec.txt          ：WDG外部仕様書テキスト版(同梱していない)
┣ wdg_spec_id.txt       ：get_spec_id.rbで生成したファイル(WDG仕様一覧)
┣ wdg_impl_id.txt       ：get_impl_id.rbで生成したファイル(実装仕様一覧)
┗ readme.txt            ：本ドキュメント

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
(2) 使い方
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

———————————————————————————————————
(2.1) WDG外部仕様書テキスト版の用意
———————————————————————————————————

TOPPERSのWebサイト(https://www.toppers.jp/)からpdfで配布されている，
WDGの外部仕様書をダウンロードし，Adobe Reader等の変換機能を使用して，
テキストファイルを作成する．
ファイル名はwdg_spec.txtとして，(1)フォルダ構成に従って配置する．

———————————————————————————————————
(2.2) WDG仕様一覧の作成
———————————————————————————————————

$ cd coverage
$ ruby get_spec_id.rb

上記コマンドによりwdg_spec_id.txtが生成される．

———————————————————————————————————
(2.3) A-WDG実装仕様一覧の作成
———————————————————————————————————

$ cd coverage
$ ruby get_impl_id.rb

上記コマンドによりwdg_impl_id.txtが生成される．

———————————————————————————————————
(2.4) A-WDGに実装された仕様カバレッジを取得する
———————————————————————————————————

$ cd coverage
$ ruby check_spec_coverage.rb

上記コマンドにより，以下のようなカバレッジ確認結果が出力される．

$ ruby check_spec_coverage.rb
==============================
Wdg spec tags   : 479
Implemented tags: 479
Spec Coverage   : 100.0 %
------------------------------
Not implementation tags: 0
==============================


以上．
