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

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