>Adrian,
>
>In any software development project, testing and verification
>are always essential.
>
>AW> But a key question would be, how would you go about ensuring
> > that the automated result is as accurate as the manual one?
> > And how would you get people to trust the survival of their
> > company to the automated result ?
>
>That's like asking whether you would trust that the output of
>a compiler is as accurate as hand coding. In the 1950s, people
>didn't trust compilers, but after a while, they trusted them
>more than they trusted hand coders. (01)
Quite. And I recall someone in Edinburgh in 1968 who announced that
he would not trust any program unless he could read the source code
and hand-simulate it to make sure it had no bugs in it. I wonder what
chipset his OS is running on now. (02)
Pat (03)
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (04)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (05)
|