Forgot your password?
typodupeerror

Comment Re:Basic rule (Score 1) 83

The problem is that you *can't* do "strict, rigorous, in-depth testing", You can test the places you expect it might fail, and as systems get more flexible even that becomes iffy. That method works for small pieces of code. Perhaps an AI could test all possible failure paths...but then the problem becomes the spec that the AI used.

"Proving code correct" is impossible, because you can't prove that the specs you work from will produce the desired result. One of the problems with AI is that it DOES work from the specs, but without common sense. (I'm ignoring things like "hallucination", as I'm talking about more basic problems.)

So you need a wide test set, but you also need to check the code, using both skill AND common sense. And sometimes the basic problem is the specs.

Slashdot Top Deals

C makes it easy for you to shoot yourself in the foot. C++ makes that harder, but when you do, it blows away your whole leg. -- Bjarne Stroustrup

Working...