プログラム・コードが正しく動作する為の必要条件と十分条件

(Last Updated On: 2018年9月1日)プログラム・コードが正しく動作する為の必要条件と十分条件を考えたことがあるでしょうか？ プログラム・コードが正しく動作する為の必要条件と十分条件とは何でしょうか？ サンプルコード 簡単な整数足し算を行うコード（add.php）です。 <?php // ファイル名： add.php // 整数（符号付き64bit整数）の足し算を行うプログラム // 使用例： // php add.php 123 456 // 出力： // 579 // 足し算関数 function add($x, $y) { return $x + $y; } // メインプログラム echo add($argv[1], $argv[2]); コメントから、２つの符号付き64ビット整数を引数として加算して結果を出力するプログラムだと分かります。 このコードは正しく動く

[yohgaki]

論理的なコードセキュリティ対策の基礎の基礎。セキュアコーディングなら四半世紀、プログラム実行の正しさ証明なら半世紀くらい前から言われている事です。知らないならコンピュータサイエンティストとしてモグリ