News for hackers. Stuff that matters.

A comment on How Is Critical Life or Death Software Tested?. Parent comment

Re:How Is Critical Life or Death Software Tested? by robotresearcher on Monday June 01, 2015 @07:49PM (#9642986)
tldr version: Because you want (i) an acyclic function call tree of (ii) predictable depth.
[ Parent | on HN ]
Re:How Is Critical Life or Death Software Tested? by eropple on Monday June 01, 2015 @10:22PM (#9643456)
That reminds me--a friend was telling me earlier today about a piece of software he was working on that only allowed forward jumps. (It ensures that the program halts.)
[ Parent | on HN ]
Re:How Is Critical Life or Death Software Tested? by TheLoneWolfling on Monday June 01, 2015 @10:51PM (#9643552)
It does slightly more than that - it provides a cheap computation of the upper bound of how long it will take.
[ Parent | on HN ]
Re:How Is Critical Life or Death Software Tested? by eropple on Monday June 01, 2015 @10:56PM (#9643572)
Yeah, that too. Come to think of it, that was probably more his concern than just halting.
[ Parent | on HN ]
Re:How Is Critical Life or Death Software Tested? by TheLoneWolfling on Monday June 01, 2015 @11:34PM (#9643685)
Going out on a limb here, but I don't suppose it was for a superoptimizer?
[ Parent | on HN ]