How is critical 'life or death' software tested? | Hacker News Reader