JavaScriptでソフトウェアの正しさを数学的厳密に証明してみた - yukobaのブログ

現在、Shibuya.js が開催中です！Ustream で http://www.ustream.tv/channel/shibuyajs にて放送されています。これから、このブログの内容をしゃべります！ 今回「テスト」がテーマなうえ、Shibuya.js は「役に立つ話担当」「ネタ担当」に分かれていて、僕は「ネタ担当」なんですが（笑）、いつも通りネタです。でも、遠い未来の役立つネタです！ きっかけは、id:t-wada さんに、GUIの自動テスト関係の質問をしたら、凄くいいことを教えてもらいました。 全てのテストはサンプリングテストである （少し表現違ったらごめんなさい）話の流れで、部屋を移動しなくていけなくて、たしか、それしか話ができなかったのですが、要するに、サンプリングテストである以上、全ての入力パターンをテストすることは不可能であり、できることは、限られたコストの中で、効率よく

[imai78]

教養がなくて着いていけなかったやつ＞＜

[zyzy]

自動っつーか、ある意味ものっそい手動感満載。数学的帰納法は自腹でやろうとするとやっぱ困る部分なのか。実際scalaで証明やってみようとして詰まったし。

[kahureis]

iphone

[fumokmm]

あとで。

[yuiseki]

JSでDOMに関数入れて証明

[juner]

これは面白いな。 QT:JavaScriptでソフトウェアの正しさを数学的厳密に証明してみた

[hidehish]

見てる:

[BURN]

rss

[qnighy]

Coqに変換してくれればいいのに

[mkoji530]

iphone

[mzp]

項書換え系!

[terazzo]

その優先順位だけで完備になるのかな。今回のプログラムはたまたま？

[bleis-tift]

読む

[a2ikm]

#shibuyajs

[t-wada]

JavaScript × 証明!!