WACATE2013冬 #wacate2013w

きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm

Excelをやめようってことでok? #wacate2013w [うさみみ＊´×｀＊エンジニア]

きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm

圏？ #wacate2013w [うさみみ＊´×｀＊エンジニア]

Masaki Kase @softest

モデルの書き方は well-defined なルールで　#wacate2013w

きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm

停止性がわからないとかこわいですね！！！ #wacate2013w [うさみみ＊´×｀＊エンジニア]

リナ？ @____rina____

●はじまり状態　◎終了状態　#wacate2013w

はるはる @anahiapp1

代数モデルと聞くと、表現論的なものを想像する #wacate2013w

Masaki Kase @softest

状態遷移図は直感的に理解しやすい。状態遷移表は抜け漏れがわかりやすい。　#wacate2013w

みずのり：jack of all trades/freelance @NoriyukiMizuno

ひたすら自動販売機のテストを考えるという酔狂なイベントがありましてね。 #wacate2013w

きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm

astah* はUML書きたいときはよさそうって思うけど、僕はあんまり「UMLどおりに書きたい」ってことがないんですよね。 #wacate2013w [うさみみ＊´×｀＊エンジニア]

はるはる @anahiapp1

デモの状態遷移モデルは某コンテストの再利用 #wacate2013w

Masao @MasaoApril

状態変数を利用すると、状態遷移図がすっきり表現できるのか～ 使えそうだにゃ。 #WACATE2013w

はるはる @anahiapp1

ガード条件の評価とアクションの評価のタイミングってどうだたっけ・・・ #wacate2013w

きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm

状態変数をどれくらい扱うかは結構な問題になりますよね。ええ。 #wacate2013w [うさみみ＊´×｀＊エンジニア]

Masao @MasaoApril

状態変数を利用すると、仕様変更に対するロバスト性が改善されそう。 "#WACATE2013w

きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm

Alloy! Alloy! #wacate2013w [うさみみ＊´×｀＊エンジニア]

きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm

そういえば最近GroovyからAlloyを触る方向で勉強しています。 #wacate2013w [うさみみ＊´×｀＊エンジニア]

きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm

いま、きんちゃんは「レビューはテストではない」って言ったのと同義なのではないか。 #wacate2013w [うさみみ＊´×｀＊エンジニア]

リナ？ @____rina____

図から？表から？　初めは図の方が試行錯誤しやすいんじゃないかな？　 今度書いてみよう。　#wacate2013w

Masao @MasaoApril

慣れないときは、「遷移」から考えるとよい。#WACATE2013w

リナ？ @____rina____

たしかに状態を書こうとして、よくわからんくなった気がする。 遷移から書く（というより考える）ことがやりやすいのは分かるなぁ。なるほど。 　#wacate2013w

Masaki Kase @softest

状態遷移モデルは設計行為。　#wacate2013w

Masaki Kase @softest

状態遷移テストの網羅基準はスイッチカバレッジがある　#wacate2013w

Masaki Kase @softest

状態遷移表の状態は上から何順で並べた方がよいか　#wacate2013w

やの　よしを @YoshiwoYano

テスト分析／設計を意識するようになってから、状態遷移表との闘いが増えた。#WACATE2013w

きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm

ツールに頼ってばかりでテストの優先順位考えないとかツールに使われているだけじゃないですかー。やだー。QuickCheck以下じゃないですかー。やだー。 #wacate2013w [うさみみ＊´×｀＊エンジニア]