>>76

> プログラムはあっているが仕様が正しくないというバグはどうやって見つける？

実務的には、こちらの方が重要。