On: Automated to Death?

[richieb]

And how many possible combination were there to try? Even then this would cover just one class of errors.

Automated tests are great (I use them all the time). But not all situations can be covered in a test - specially when there is concurrency involved.

[utexaspunk → richieb]

True, but what else can you do? Modern aircraft are too complex to fly without automation... I'm not a CS-educated programmer- are there systems for programming in a way that can somehow be proven to work for all situations? What paradigm do they use for programming at NASA?