パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

「関数呼び出し形式」=「一階論理である」では無いか?」記事へのコメント

  • テスト出来る「関数呼び出し形式」と、テスト出来ない「関数呼び出し形式」
    を考えます。
    そして、テスト出来ない「関数呼び出し形式」はテスト出来る「関数呼び出し形式」
    から合成出来ないとするならば、通り一遍でないソフトウェアは必ず、
    テスト出来ない「関数呼び出し形式」となるでしょう。
     
    テスト出来ない「関数呼び出し形式」とは具体的には、
    ・入力済みの過去の経緯から値が求まる
    ロジックが含まれているもので、それはテスト出来ないです。
    (その様な過去の経緯に対して、「値が100以上200未満」とかテストを書いても、
     無意味だからです。
     こちらが含まれているものこそ、「通り一遍

クラックを法規制強化で止められると思ってる奴は頭がおかしい -- あるアレゲ人

処理中...