Advertisement
If you have a new account but are having problems posting or verifying your account, please email us on hello@boards.ie for help. Thanks :)
Hello all! Please ensure that you are posting a new thread or question in the appropriate forum. The Feedback forum is overwhelmed with questions that are having to be moved elsewhere. If you need help to verify your account contact hello@boards.ie
Hi there,
There is an issue with role permissions that is being worked on at the moment.
If you are having trouble with access or permissions on regional forums please post here to get access: https://www.boards.ie/discussion/2058365403/you-do-not-have-permission-for-that#latest

How Is Critical 'Life or Death' Software Tested?

  • 03-06-2015 1:02am
    #1
    Closed Accounts Posts: 3,006 ✭✭✭


    http://motherboard.vice.com/read/how-is-critical-life-or-death-software-tested
    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?

    Well, you don't really. Which prompts the question: How is this sort of code tested?


Comments

  • Registered Users, Registered Users 2 Posts: 14,378 ✭✭✭✭jimmycrackcorm


    Given the recent Germanwings crash, shouldn't the question really be about the testing of humans?


  • Registered Users, Registered Users 2 Posts: 9,577 ✭✭✭lord lucan


    This is not the forum for this thread, I suggest you try one of the tech forums.


This discussion has been closed.
Advertisement