CFD(Cause Flow Diagram)法 補習会　5月22日つぶやき

あきやま🍠 @akiyama924

drawCFDツールの使い方を講義中（加瀬さんが）。

あきやま🍠 @akiyama924

drawCFDはfirefoxとChoromeで使ってください。エクスポート、インポートについては、実装中です。

あきやま🍠 @akiyama924

drawCFDのURLはこちらです。ｌ http://softest.cocolog-nifty.com/labo/drawCFD/

あきやま🍠 @akiyama924

次の課題は、CEGの課題の中の「献血を断られるケース」です。drawCFDを使って描いてみましょう。http://softest.cocolog-nifty.com/blog/ceg-training.html

あきやま🍠 @akiyama924

drawCFDの使い方。まず、ウェブを開いたら「新規作成」ボタンを押す。　http://softest.cocolog-nifty.com/labo/drawCFD/

あきやま🍠 @akiyama924

次に「同値図」をクリックし、同値図の名前を入力します。この場合なら「負担軽減」と入力しEnterボタンを押します。

あきやま🍠 @akiyama924

同値図内の同値クラスについては右ボタンで有効系、無効系の切り分けができます。無効系にすると枠が消えて補集合に見えます。

あきやま🍠 @akiyama924

同値図は、同値図名（太字部分）を持ってドラッグすることで移動できます。

あきやま🍠 @akiyama924

次に、メニューの下の[結果]をクリックして結果ノードを入力します。この場合なら「献血OK」「献血お断り」などです。

あきやま🍠 @akiyama924

結果ノードも中の文字をドラッグすることで移動することができます。

あきやま🍠 @akiyama924

最後にメニューの下の[流れを描く]を選択します。黄色い文字で表示されるガイドに従って、結果ノード、同値クラスの順番で引いていき、「決定」ボタンを押すことで確定します。

あきやま🍠 @akiyama924

今のところ、小島（一つの同値図の中の同値クラス）の並び順を変えたり、つながりを途中だけ直したりすることは今のバージョンではできません。

あきやま🍠 @akiyama924

同値図を囲む線が消えたら同値図名をドラッグして移動するとでてくるよ。

あきやま🍠 @akiyama924

こんなのでいいのかな？ http://twitpic.com/50xr5u

拡大

鈴木三紀夫 @mkoszk

CFDの同値図のつなぎがぐちゃぐちゃするんですが？　同値図１個または２個の端体テストをしっかりやっていれば、同値図が複数ある図で線を書くとき、シンプルなもので表現できるので線がぐちゃぐちゃすることはない。

鈴木三紀夫 @mkoszk

CFDでは、流れをまとめることができる？　ORの場合、まとめて線を引くことができる。（あきやま）献血問題で、特定の病気に罹患している場合、または帰国４週間以内の場合は、どちらかをテストをすればよいので、まとめて線を引くことができる。

鈴木三紀夫 @mkoszk

CFDは、ORの場合まとめて線にして、デシジョンテーブルはハイフンにする。いったん小さなデシジョンテーブルを書いて、テストケースにするとき、増やす方法を採用しているから。

鈴木三紀夫 @mkoszk

単機能テストのとき、同値図が２つある場合、有効系は掛け算でテストケースを作る。

鈴木三紀夫 @mkoszk

機能網羅をしなくてはいけないので、結果の網羅を先にする。（あきやま）

鈴木三紀夫 @mkoszk

松尾谷さんの状態遷移の考え方。同じ入力であっても内部変数によって出力が異なる場合、状態遷移図が必要。

Yuko Sakai @Yuko_Ski

@mkoszk 私もその考え方です。処理を考えるとき、入力－変換－出力 に過去の情報が必要なときに、状態遷移を持ち込みます。

鈴木三紀夫 @mkoszk

状態遷移図を用いたテストは入力が考慮されていないが、CFDは入力を考慮しているので、よりテスト漏れが少なくなる。（あきやま）

鈴木三紀夫 @mkoszk

CFDでは状態遷移の状態を原因とみなし、島をつくる。

鈴木三紀夫 @mkoszk

CFDでは状態遷移（A→B)を結果として表現する。