[Interest] OT: Bug-free code (Was: QtSVG deprecated)
aschmidt at dekaresearch.com
Thu Jan 12 14:50:47 CET 2012
> > My over 20 years experience shows that there is no bug free software,
> > there are bugs that either have not being found yet or just ignored.
> Well, one example of a bug-free application would be
> int main()
> return 0;
> Sure it does not do anything useful, but its pretty much bug-free. I
> agree though that real-world applications always have bugs :)
This piece of code *MIGHT* be bug-free considered
in isolation, but in a real world runtime environment
with dynamic linking and fancy scheduling, I'm pretty
sure you could detect anomalies in the execution of
even this simple code if you tried hard enough.
For example, what if a new process can't be created
so the shell can't fork-and-exec this process? What
if the handling of Flash memory failures delay the
execution of this code? Are those anomalies? And
remember, there's commonly in-process code that
executes before main() is called.
I might speculate that the only codes that might be
bug-free are small, entirely self-contained snippets
of assembly language loaded from some guaranteed
loading mechanism (like the front panel toggle
switches), but then I'm reminded of the infamous
Pentium floating-point bug; even assembly language
runs in a run-time environment!
Well, maybe something small written in Verilog and
burned into an FPGA...
This e-mail and the information, including any attachments, it contains are intended to be a confidential communication only to the person or entity to whom it is addressed and may contain information that is privileged. If the reader of this message is not the intended recipient, you are hereby notified that any dissemination, distribution or copying of this communication is strictly prohibited. If you have received this communication in error, please immediately notify the sender and destroy the original message.
Please consider the environment before printing this email.
More information about the Interest