6a2f48deacae026

http://nhiro.org.s3.amazonaws.com/a/d/ad209a8df42b2972bd52a53d20be9cf3.jpg https://gyazo.com/ad209a8df42b2972bd52a53d20be9cf3

(OCR text)

形式的仕様記述との比較

形式的仕様記述

BLUE*

モデルの表現カ

FSMだけ

高い

テストケース

人間が

記述コスト

から学習

全部記述

学習コスト

高い

低い

13年4月14日日曜日