Timeline for How can developers be assured that their software is fault free?
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 22, 2016 at 11:19 | comment | added | RedSonja | @Joe Strazzere gesetze-im-internet.de/prodhaftg/BJNR021980989.html if that doesn't work you can search for Haftung and Gesetz. it doesn't mention prison, only that the maker is responsible and has to be punished... | |
| Mar 22, 2016 at 10:18 | comment | added | Joe Strazzere | @RedSonja - "by German law if I let a bug through and someone dies, it's me who goes to prison" - really? If a bug gets through and someone dies, you automatically go to prison? If so, I wouldn't be in this profession in Germany. Can you point out a link to that law? | |
| Mar 22, 2016 at 6:51 | comment | added | RedSonja | @Joe Strazzere Well, I have to test every line and every possible combination of input data. I can state that it fulfils the requirements. I have signed off the test reports, and by German law if I let a bug through and someone dies, it's me who goes to prison. I had to be there when they did actual live firing tests. I am as sure as I can be. There may be bugs in the requirements - I found and reported quite a few inconsistencies. It won't fire rockets randomly. If you offend it it just does nothing until you talk nicely to it again. | |
| Mar 21, 2016 at 22:22 | comment | added | Joe Strazzere | @RedSonja - sure, but if you can "never find all the bugs", how do you know that one of these "unfound" bugs won't fire missiles randomly? I would assert that you actually cannot be sure. | |
| Mar 21, 2016 at 12:00 | comment | added | RedSonja | @Joe Strazzere Well, if it fails it stops gracefully with a message, instead of firing missiles randomly about the place. That sort of thing. | |
| Mar 20, 2016 at 15:46 | comment | added | Joe Strazzere | "Of course you never find all the bugs, but you can make sure your software doesn't kill anyone." - so you cannot assure developers that their software is fault free. How can you know that your software won't kill anyone? | |
| Mar 17, 2016 at 20:12 | comment | added | AdrianHHH | As little as twice? | |
| Mar 17, 2016 at 12:14 | review | First posts | |||
| Mar 17, 2016 at 13:23 | |||||
| Mar 17, 2016 at 12:05 | history | answered | RedSonja | CC BY-SA 3.0 |