11/20
一通り開発完了？
現状はブラックボックステスト[1]のみを想定しているが、構文解析等を利用して、
ホワイトボックステスト[1]も行えればいいなぁ・・・

[1]Uri Klein and Kedar S. Namjoshi, Formalization and Automated Verification of RESTful Behavior,
   LNCS 6806, pp. 541–556, (2011), 2.3 3. Safety and idempotence.