気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
JavaScriptでソフトウェアの正しさを数学的厳密に証明してみた - yukobaのブログ
192 users
yukoba.hatenablog.jp
yukoba.hatenablog.jp
yukoba.hatenablog.jp
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
現在、Shibuya.js が開催中です！Ustream で http://www.ustream.tv/channel/shibuyajs にて放送されて... 現在、Shibuya.js が開催中です！Ustream で http://www.ustream.tv/channel/shibuyajs にて放送されています。これから、このブログの内容をしゃべります！ 今回「テスト」がテーマなうえ、Shibuya.js は「役に立つ話担当」「ネタ担当」に分かれていて、僕は「ネタ担当」なんですが（笑）、いつも通りネタです。でも、遠い未来の役立つネタです！ きっかけは、id:t-wada さんに、GUIの自動テスト関係の質問をしたら、凄くいいことを教えてもらいました。 全てのテストはサンプリングテストである （少し表現違ったらごめんなさい）話の流れで、部屋を移動しなくていけなくて、たしか、それしか話ができなかったのですが、要するに、サンプリングテストである以上、全ての入力パターンをテストすることは不可能であり、できることは、限られたコストの中で、効率よく
yukoba.hatenablog.jp
yukoba.hatenablog.jp
yukoba.hatenablog.jp
yukoba.hatenablog.jp
mixi.social
omocoro.jp
aellune.com
support.mixi.social
togetter.com
anond.hatelabo.jp
togetter.com
anond.hatelabo.jp
anond.hatelabo.jp
anond.hatelabo.jp
atmarkit.itmedia.co.jp
atmarkit.itmedia.co.jp
2011/03/09 リンク