TDD について

なんもわからん @babie

@m_seki 「品質」「品質保証」という言葉を使うと立場によってぶれるので、科学哲学の方から「信頼度」という言葉を持ってきて使用しています。加点法か減点法かという問題もあるし。

なんもわからん @babie

@m_seki やるかやらないかで言えば、実証は確実になるので、やった方がいいです。

なんもわからん @babie

@m_seki 私はそう見立てています。TDDを「科学的方法」の見地から分析した記事です。

なんもわからん @babie

@m_seki TDDなり他の方法なりが「やれば効果がわかる」というような、ある意味宗教的な盲信で、やったり喧伝したりするのがいやなんですよねぇ。

なんもわからん @babie

@m_seki だから科学的方法論を持ち出したという訳です。どの科学的方法論を使うかは異論があると思いますが。

なんもわからん @babie

ふむん、ソフトウェアは科学か？から始めないといけなかったか。

なんもわからん @babie

@m_seki 残ってる数は永遠にわからないと思います。反証主義は可謬主義に基づくので。試したケースが100と150なら、ケースが的を射てて多様ならという条件付きで、信頼度が高くなります。信頼度は数じゃわからないです。

なんもわからん @babie

@m_seki 反証主義的立場では、「絶対不具合はない」ってことはないです。可謬主義に基づき、ソフトウェア・モジュール・クラス・メソッドは新たに発見される不具合によって覆され、その不具合をも包含するよりよいソフトウェア・モジュール・クラス・メソッドが編まれて行く、と考えます。

なんもわからん @babie

@m_seki 違いますね。誤解です。「数々の反証テスト(F1、F2、…)を乗り越えて」の部分を「多様な〜」に変えた方がいいかもしれませんね。

なんもわからん @babie

@m_seki TDDでは、レッドつまり反証テスト（偽になる）を作って、メソッドを書き換え、グリーンになるつまりさっきの反証テストがもはや実証テストに成り果てる、って流れになります。

なんもわからん @babie

@lchin 実証テスト＝Positive Test、反証テスト＝Falsificate Test、とかじゃないの？英語わかんないけど。

なんもわからん @babie

@m_seki テストファーストだから反証テストから始まると思うんですけど。

なんもわからん @babie

@lchin いわゆるテスト技法から持ってきた用語じゃないです、科学哲学の方から持ってきた用語です。

なんもわからん @babie

@m_seki あるモジュール・クラス・メソッドに対してのテストで、個人の心に対するテストじゃないので、なんかちょっと考え方が違いますね。

なんもわからん @babie

@kakutani 「TDDは(実証)テスト技法も内蔵している開発手法」が私の理解です。ブログの通り。

なんもわからん @babie

@kakutani 最後らへんに明示的に「このようにテスト技法を内蔵してるからこそ信頼度が上がるわけです。」ってのを付け加えた。

なんもわからん @babie

@m_seki さんは何を目的にTDDやっていますか？「信頼度を上げる」的なことはその目的に入っていませんか？

なんもわからん @babie

@m_seki 「信頼度」は「安心度」に言い換えてもいいかもしれません。個人の選択なので。

なんもわからん @babie

@kakutani 私は今までのような魔術的な信心的なものがいやだったので、科学的方法でプログラミングしたいなと思い、科学哲学を勉強しているところです。

なんもわからん @babie

信頼度という度合いの使い道は、競合する諸理論の内からどれを優先的に使うか決めるときに使います。プログラミングでは似たような用途のメソッドを２つ作ったりはしませんが。相対的なものですね。

なんもわからん @babie

「TDDはテスト手法か否か」を読んだ人は全員読んでくれないと困る。RTよろ。QT @babie: TDDを行うとソフトウェアの信頼度が上がる理由 - ζ*’ワ’)ζ＜ちれすですの！ http://bit.ly/dgvbhQ

なんもわからん @babie

@biac 問題に対して解決方法があればそれは仮説なので、メソッドの場合も、こういう動作がしたいという問題に対しての解決方法なので仮説とみなしています。

なんもわからん @babie

絶体ツッコミが入るだろうと思って、はてブを定期的にウオッチしているが、今のところまだない。QT @babie: TDDを行うとソフトウェアの信頼度が上がる理由 - ζ*’ワ’)ζ＜ちれすですの！ http://bit.ly/dgvbhQ

なんもわからん @babie

@biac 空のメソッドのこと？

なんもわからん @babie

@biac そうですね。コンパイルエラーかパースエラーになりますね。ただテスト書くときに呼ぶためにメソッド名はつけてる訳なのでので、あるとみなせます。