From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,63ceef1cf4561e32
X-Google-Attributes: gid103376,public
From: Kieran Mckey <kieran.mckey@baesystems.com>
Subject: Re: Customer balks at Ada -- any hope?
Date: 2000/07/19
Message-ID: <39755FB0.81586D45@baesystems.com>#1/1
X-Deja-AN: 648110910
Content-Transfer-Encoding: 7bit
References: <8l01s4$gnr$1@nnrp1.deja.com> <8l2pqo$im7$1@nnrp1.deja.com>
 <5dtGPVPqfHh5@eisner.decus.org>
X-Accept-Language: en
Content-Type: text/plain; charset=us-ascii
X-Trace: 19 Jul 2000 08:56:00 GMT, rc2954.rochstr.gmav.gecm.com
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Date: 2000-07-19T00:00:00+00:00
List-Id: <comp.lang.ada>


Larry Kilgallen wrote:

> I gather your argument is to use the controls on the Ada compiler
> to disable checking in the production version.  My understanding
> is that many embedded developers do that, but I think we should
> leave that decision up to the technical staff on a module-by-module
> basis, rather than restricting them from ever using checking by
> choosing a language that does not provide it.

It is true that often embedded developers do turn off run-time checks in
production code. I think this is an unwise practice. It can mean that
whether or not your code meets performance requirements is dependent on
compiler switches. You should design the system so that the code will
meet performance requirements regardless of whether run-time checks are
enabled or not. Furthermore, run-time checks are required for exception
handling which can provide valuable diagnostic data. IMO too many
developers regard the production version as the final version of the
code and expect it to be bug free, disabling run-time checks means that
finding the 'in service' bugs much more difficult. The code should be
viewed as a evolving product throughout its expected life.

Kieran Mckey