WACATE 2008 冬も無事終了したので、ここらへんで状態遷移テストについて...