How Is Critical 'Life or Death' Software Tested?

[deweyzeph]

Your average scripter likely isn't writing a whole lot of proofs or going through the rigors of formal program verification, generally. Which is fine because your average scripter also isn't writing software for jet airliners or nuclear power plants or robotic surgeons. But somebody is—and the odds are pretty good that your life has been in their hands very recently. How do you know they're not a complete hack?

http://motherboard.vice.com/read/how-is-critical-life-or-death-software-tested

Interesting stuff.

 

[Kilgore_Trout_Redux]

Very fluffy article which didn't go into enough depth and specifics to interest me. Probably a fun read for the layman though.

 

[envo]

Same with Doctors/Surgeons etc. Your life is in their hands, you only see they have their PhD, but you don't know if they barely scraped by in their exams or top of their class.