ソフトウェアテスト勉強会～やってみよう！デシジョンテーブル＆状態遷移～

Neppo Telewisteria @ 真の美少女 @jo7ueb

お次は状態遷移の話だよー #sendaitest

Neppo Telewisteria @ 真の美少女 @jo7ueb

状態遷移を状態遷移表に落とすことで、抜け漏れがなくせるよ #sendaitest

leecom @leecom

今日のテスト勉強会も女性の参加者が居ます。良いことです。(^ ^) #sendaitest

Neppo Telewisteria @ 真の美少女 @jo7ueb

状態とイベントを表にするッ！これで、文字では分からなかった抜けが見つかるんだ。 #sendaitest

Neppo Telewisteria @ 真の美少女 @jo7ueb

ザ・ワールド! #sendaitest

leecom @leecom

ザ・ワールド！ そして時は動き出す。 そんなストップウオッチの状態遷移図を書く。 まず、ディオが居るだろ…そこにジョジョが来て…。 #sendaitest

YAMAMOTO Masaki @nnasaki

それ、絵コンテや RT @leecom ザ・ワールド！ そして時は動き出す。 そんなストップウオッチの状態遷移図を書く。 まず、ディオが居るだろ…そこにジョジョが来て…。 #sendaitest

leecom @leecom

次はマリオの状態遷移図w #sendaitest

Neppo Telewisteria @ 真の美少女 @jo7ueb

イベントの持つ意味が状態によって変わるときに、ディシジョンテーブルは使い辛い！状態遷移表を使おう。 #sendaitest

Neppo Telewisteria @ 真の美少女 @jo7ueb

イベントが同時に発生した時の動作とかは、遷移テストだけだと厳しい #sendaitest

Neppo Telewisteria @ 真の美少女 @jo7ueb

状態遷移テストのカバレッジには3つの指標があるよ #sendaitest

leecom @leecom

状態遷移のテストは同時イベント発生時のテストも気をつける。 状態遷移のカバレッジ:ノード網羅とリンク網羅と1スイッチカバレッジ。 #sendaitest

Neppo Telewisteria @ 真の美少女 @jo7ueb

状態遷移図は理解しやすく、ロジックの目安になります。遷移表は抜け漏れをなくすときに役立ちます。 #sendaitest

leecom @leecom

マリオの状態遷移図を書きながら、マリオのプレイ映像が流れる…演習を放棄w #sendaitest

leecom @leecom

状態遷移図の合成とヒストリーは便利。 #sendaitest

Neppo Telewisteria @ 真の美少女 @jo7ueb

UMLの状態遷移図(ステートマシン図)を使うと、状態に階層を持たせたり、Historyという書き方を使うことができて、より書きやすくなるよ！ #sendaitest

leecom @leecom

マリオプレイしたこと無い人が居たw #sendaitest

Neppo Telewisteria @ 真の美少女 @jo7ueb

ねもりんさんの書いた状態遷移図すごくすっきりしてる！ すごい！！ #sendaitest

Neppo Telewisteria @ 真の美少女 @jo7ueb

図は人間には理解しやすいけど、仕様の不手際は分からない！ その辺は表にお任せだ！ #sendaitest

Neppo Telewisteria @ 真の美少女 @jo7ueb

状態と状態が遷移する間にバグが起きやすいんだ！ #sendaitest

Neppo Telewisteria @ 真の美少女 @jo7ueb

次回は12月15日。ソフトウェアテスト技法ドリルの著者の秋山さんを講師に招きます！ #sendaitest

leecom @leecom

チビファイヤーマリオは状態遷移テスト不足で残ったバグである。 #sendaitest

Neppo Telewisteria @ 真の美少女 @jo7ueb

来月は発散しがちなケースを整理する、組み合わせの話ですよ! #sendaitest

Neppo Telewisteria @ 真の美少女 @jo7ueb

おつかれさまでした！ #sendaitest

S.Motegi @Mokkeee

@nemorine 今日も楽しい勉強会ありがとうございました～(^O^) 飲みに行けないのが唯一の心残り...