完璧なプログラム

int main(int argc, char**argv)
と書いた地点で安全性は完璧じゃないな。

カバレッジってちゃんと取ってる人いる？
ツールなきゃﾑﾘだよね

オー、アイカはケミストリー。
研究一筋ケミストリー。

外的要因と使用を一切考えず、

int main(void)
{
return( 0 );
}

これにバグが無い事を証明する手段があるなら知りたいぞ。
そして、それが証明できるなら、どれぐらいのプログラムまで
証明できるかも知りたいね。
ぶっちゃけ「この関数ロジックにバグは有りません」と証明できる手段が
有れば、プロジェクトの管理が少しは楽になるんだがな。

>>367
>外的要因と仕様を一切考えず、
の時点で駄目だろ。
int add(int a, int b){ return a + b; }
が絶対的に正しいかどうかなんて誰にも決められない。

アフォか？

>>367
仕様がわかんなきゃ何がバグかなんてわからないのでは？

外的要因を考えないなら、コンパイラがエラーを吐かない時点でバグなしってことでいいんじゃないかね？
一応、ソースから翻訳できるものはできたわけだし。

あとは外的要因の方で判断すればいい。

みなさんのおかげでバグが一切無いプログラムを作成することができました
ありがとうございました

>362
ディスプレイ繋いでない環境だと
表示されないっていうバグあり。

いや、、、
周辺機器関係だと、繋いでないのにバグだって騒ぐ奴いるからさ・・・

>>373
あるあるｗｗｗ
この前もラベラー納品したらクレームつけてきたやついてさ
現調行ったらコンセント入れてない電源入れてない
シール入れてないPCと繋いでないドライバ入れてない
満貫だったぜ

プログラムにバグがないか検証するプログラムを作れるかどうかを検証すれば?
まあ『ゲーデル・エッシャー・バッハ』でも読め

バグがあるっていったって、任意のプログラム中のバグの数なんて、たかだか有限じゃないか。

ありがとうございました
このスレひゃ終了しまいｓた

バグを出さないプログラム言語を作れって

LISPが出来た時点で既に達成されてるが

じゃ、皆LISPユーザーってことで。

リスプで何が出来ますか？

自己生成

バグはバグだ。難しいこと考えるな。

よし分かった！！
俺が、このスレを見事に復活させてやろう！！！

１．バグの定義
　人間が要望するとおりの処理をこなさないこと
２．バグが無いことの証明
　人間が要望するとおりの処理をこなすことが証明させること
３．処理の作製
　企業秘密

ソースコード中のバグはないとしても、なんらかの原因でバグが起きることはあるんじゃね

それが原因の不具合にたいする非難を避けるために
動作環境を明確に定義するのです

誰か、まずISO Cの規格にバグが無いことを証明してくれ

バグは虫だ
バグは無視しろ。難しいこと考えるな

return( 1+1 );

これは、数値１と１を加算する処理だ。
これにバグが有るか無いかは、コンピュータでは判断できない。人間が判断する。
数値の加算処理は、数値＋数値　だと、最初に定義しておき、
バグの検査のときに、それを元にコンピュータでチェックさせる。

age

それはともかく returnの後ろに不要な () 付けるなよ。

>>392
んじゃ、もう辞めた

あらハヤイのね

returnを関数に見立てるのは、俺は好きだ。

ラベルじゃないし、関数でいいやん。()好きだお

>392
なんで？return(xxx)の方がバグりにくそうだけど？

>>396
retrun(123);

sizeofにカッコつけるのもやめなよ

sizeof( 型名 )
の時は括弧必須だが

完璧に400ゲット記念あげ

>>399
それは型名に付属してるカッコだ

>>401
CのBNFでも見てみろ

>> 397
で何が言いたいのかな？説明を。

この様に発見の難しいバグの温床になります。

return に括弧つけるやつは goto や throw にもつけろ。
continue と break は勘弁してやる。

>>405 gotoつけたら完璧じゃない…とか言い出すのが出てきそう。

まぁ、個人的にはgotoはCであればやむをえない場合は許容、throw等があるC++などはできる限りそっち、だと思ってますがね。

プログラム停止問題。は詐欺だろ。

>>18
お前はｗ
何か文句があるなら言ってみろ！

完璧なプログラム

NOP

完璧なプログラムとは、人の要求を満たしているプログラムのことだ。
満たしていないならそれはバグだ。

別に見つからなきゃバグなんかあったっていいんだよな。
何かと一緒だ。

さて、何だろう。

古い映画で、昔の恋人に会った女が
女「あなたは今でも詩人なの？」
男「ああ、本当の詩人になった。一行も書かないからね」