Re: Testing relational databases
From: Dmitry A. Kazakov <mailbox_at_dmitry-kazakov.de>
Date: Mon, 10 Jul 2006 18:32:01 +0200
Message-ID: <gooc8pjfarw$.etfayilq4im0.dlg_at_40tude.net>
Date: Mon, 10 Jul 2006 18:32:01 +0200
Message-ID: <gooc8pjfarw$.etfayilq4im0.dlg_at_40tude.net>
On 10 Jul 2006 08:41:32 -0700, Tony D wrote:
> Their paper where they list some reasons why they encounter
> resistance when trying to introduce their methods was a saddening
> comment on our industry, though.
Unfortunately the common praxis is neither to prove nor to test, just chaotic debugging and patching.
As for resistance in Ada community there wasn't much. Note that many things are impossible to implement in SPARK Ada. Not because they are wrong, they are difficult to prove. A provable design might turn unmaintainable complex. A good news is that Praxis keeps on enlarging the subset.
-- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.deReceived on Mon Jul 10 2006 - 18:32:01 CEST