- CHAR_BIT is not eight - 1 Update
| Tim Rentsch <tr.17687@z991.linuxsc.com>: Dec 05 11:42AM -0800 > How do you know that a part of program is "verifiably platform > agnostic" without platform-specific testing? How else would that > be verified? Testing can be used to show the presence of bugs, but never their absence. The same principle applies to determining whether code is platform agnostic. Showing that part of a program is platform agnostic can be done using formal methods and formal semantics, just like other kinds of formal verification. It can be more work to take into account the range of variation allowed by platform variability, but the principles involved are the same. >>> Software without tests is just a work of literature. >> A hyperbolic statement if ever there was one. > Sure, but only slightly hyperbolic. On the contrary, more hyperbolic than most. That is the meaning of the sentence "a hyperbolic statement if ever there was one." |
| You received this digest because you're subscribed to updates for this group. You can change your settings on the group membership page. To unsubscribe from this group and stop receiving emails from it send an email to comp.lang.c+++unsubscribe@googlegroups.com. |
No comments:
Post a Comment