Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: Testing relational databases

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@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.de
Received on Mon Jul 10 2006 - 11:32:01 CDT

Original text of this message

HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US