This is manual for TCasegenerator!

1. MARKDOWNを利用するテスト設計
CHEUORA@GMAIL.COM

2. 目次
• マ〡クダウン(Markdown)は?
• マ〡クダウン·エデイ〡タ
• MC/DCと基本比較テスト
(Elementary Comparison
Test)でテストケ〡スの生成
• 生成ツ〡ルの意味

3. マ〡クダウン(MARKDOWN)とは?
• マ〡クダウンはテキストをHTMLで変換する言語および
ツ〡ルです。
• 簡単な文法でドキュメントを構造的に作成できる。
• 参照
• http://ja.wikipedia.org/wiki/Markdown

4. マ〡クダウン·エデイ〡タ
• マ〡クダウン文書作成ツ〡ル
• 代表作成ツ〡ル
• for MacOS : Kobito
(http://kobito.qiita.com)
• for WinOS : Makrdown
#Editor ( http://
hibara.org/software/
markdownsharpeditor/)

5. テスト設計でマ〡クダウンを使おう！
• example : 排出量チェックという機能に使われるfunction
およびこれを利用する流れの表現。

6. TC生成ツ〡ルの実行(SELECT FILE AND JUST CLICK!)

7. TC生成ツ〡ル結果からTCの整理
できるTCは二つである。
排出量金額残高排出情報伝送予想結果
case1 100円50円成功
残高より排出金
額が多いのでア
ラートを表示。
結果はBLに貯蔵
case2 50円100円失敗
残高範囲以内か
ら定常進行され
る。でも伝送失
敗なので内部メ
モリで関連情報
がセーブされ
る。
ツ〡ルの結果

8. ツ〡ル結果の意味
• ツ〡ルの結果は各if文のMC/DCケ〡スを作ってif文の間に基本
比較組み合わせ（Elementary Comparison Test）をする。
• MC/DCはDO-178BとかDO-178Cような航空関連ソフ
ウェアのテストに必ず使われる手法なので他のテストカバリ
ヂより高い粒度を持っている。
• if文間の組み合わせの結果は随分多い結果だがMC/DC+基
本比較組み合わせを通じて数を減りながら効果あるケ〡スを
つくれる。

9. Just Do It + One Click
NIKE + Jobs