Re: What databases have taught me

From: Bob Badour <>
Date: Sun, 09 Jul 2006 13:44:47 GMT
Message-ID: <jL7sg.8198$>

topmind wrote:

> Tony D wrote:

>>topmind wrote:
>>>Tony D wrote:
>>>>without resorting to stuffing
>>>>some more-or-less random test cases through it as some kind of
>>>>demonstration that it kind-of, maybe, perhaps does what we want it to,
>>>>for these semi-random test cases at least ?"
>>>I have kicked around approaches to measure the code impact of various
>>>change scenarios. The problem is that people also perceive change
>>>differently, I've found out, such that they would assign different
>>>frequency estimates, which were required to get a total score.
>>Exactly. You've "kicked around approaches to measure the code impact of
>>various change scenarios". But without being able to formally reason
>>about behaviour in the abstract, before a piece of code is even
>>written, you're fighting a losing battle, making more-or-less educated
> Again, it is not clear to me what you are proposing. Formal proving is
> not a common industry practice.

And your point would be? You seem to be trying to make a claim about computing science, but you measure that by the properties of industry practice. Given that many of us think the state of the industry is appalling and characterized mostly by ignorance, misconception and anti-intellectualism, you won't convince many of us with that sort of non sequitur. Received on Sun Jul 09 2006 - 15:44:47 CEST

Original text of this message