e_c_e_t https://blog.hatena.ne.jp/e_c_e_t/ 記録（e_c_e_t） https://e-c-e-t.hatenadiary.org/ http://www.publickey1.jp/blog/12/_1040.html 興味深く読んだ。 特に、「現実には全パターンはできない」とスタンスを明確にしているので、こういう話が出てくる。 こうやって網羅的なものから絞り込んでいくことのいいところは、テストできていないのがどこなのか、分かっているということです。諦める場所を明確にすることで守る場所を明確にということか。 他にも、仕様記述を形式化することで試験抽出に役立てるとか、というのは目から鱗だった（常識なのだろうか？） 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fe-c-e-t.hatenadiary.org%2Fentry%2F20120924%2Fp1" title="自動改札機の運賃計算プログラムはいかにデバッグされているのか？ - 記録（e_c_e_t）" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-09-24 00:00:01 rich https://e-c-e-t.hatenadiary.org/entry/20120924/p1 1.0 100%