Mattias Gaertner <nc-gaert...@netcologne.de>:

> But I second Jonas mail: Before you run an fpc program in a
> zero-tolerance environment, you have to test a lot of things, because a
> lot of code was not written with zero-tolerance in mind.

Testing simply isn't enough. As we all should know, testing only proofs the 
existance of bugs, not their absence.

So, no, I wouldn't recommend FPC for mission or safety-critical applications. 
After all, you need a lot more than just a compiler to have some confidence 
about the running application.

Depending on your personal definition of "zero-tolerance", you even may need 
_proof_ of correctness at object code level. At that point, the compiler 
doesn't matter anymore. And, well... even Ada compilers have bugs, although the 
general confidence about the code generator might be a bit higher if they 
successfully passed the ACATS. ;)


Vinzent.

-- 
Neu: GMX FreeDSL Komplettanschluss mit DSL 6.000 Flatrate + Telefonanschluss 
für nur 17,95 Euro/mtl.!* 
http://dslspecial.gmx.de/freedsl-surfflat/?ac=OM.AD.PD003K11308T4569a
_______________________________________________
fpc-pascal maillist  -  fpc-pascal@lists.freepascal.org
http://lists.freepascal.org/mailman/listinfo/fpc-pascal

Reply via email to