From: "Ken Garlington" <Ken.Garlington@computer.org>
Subject: Re: Required Metrics
Date: 2000/05/01
Date: 2000-05-01T00:00:00+00:00 [thread overview]
Message-ID: <OKnP4.3694$wb7.343653@news.flash.net> (raw)
In-Reply-To: 390DC8AD.59B5EBEE@averstar.com
"Tucker Taft" <stt@averstar.com> wrote in message
news:390DC8AD.59B5EBEE@averstar.com...
> Ted Dennison wrote:
> >
> > In article <5DDO4.2237$wb7.194854@news.flash.net>,
> > "Ken Garlington" <Ken.Garlington@computer.org> wrote:
> > > In the Ada Reference Manual, paragraphs D.8:37-45 states that "The
> > > implementation shall document" a series of metrics related to the
> > ...
> > > details of that configuration." However, although my compiler's
> > > reference manual claims that "The real-time systems annex is fully
> > > implemented", it goes on to say " Information on metrics is not yet
> > > available." Does a compiler fully implement the real-time systems
> > > annex if it does not meet the documentation requirements?
> >
> > I remember asking almost this exact question here about a year and a
> > half ago. You can search deja for the thread. But the answer I remember
> > getting was that since there is (and can be) no test in the Ada
> > validation test suite for documentation requirements, implementors can
> > pretty much get away with murder here.
>
> The validation process (aka "conformance assessment" process) does
> not include checking conformance to the documentation requirements,
> largely for pragmatic reasons. It was felt that the cost of document
> conformance assessment would be excessive and difficult to standardize.
Well, yeah, sure, but I think my question was more "abstract" (to coin a
keyword :) than this. Simply put: Does the implementation meet the standard?
I understand that a validation suite might not detect all deviations with
respect to _functionality_, never mind documentation, since no test can be
exhaustive. However, I've seen people post behavior seen in a compiler, and
ask if it meets the standard, and few people have responded with "Sorry -
that specific behavior wasn't/wouldn't be caught in the validation suite, so
you're on your own."
> In any case, the marketplace needs to play a role
> here. Either make good documentation a condition of sale, or give
> your existing vendor a hard time if they don't provide the documentation
> you need.
Ditto for this. I can ask for useful "stuff" (documentation, optimizations,
etc.) whether or not it's in the standard.
Alternate phrasing of the question: If a requirement is in the standard, and
no one makes an effort to follow it, what's the requirement doing in the
standard? Why not have an interpretation that says, in essence: "Oops. Never
mind"? Or am I just missing some fundamental point here?
next prev parent reply other threads:[~2000-05-01 0:00 UTC|newest]
Thread overview: 68+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-04-29 0:00 Required Metrics Ken Garlington
2000-04-29 0:00 ` swhalen
2000-05-01 0:00 ` Required Metrics (GNAT et al) Ken Garlington
2000-05-01 0:00 ` swhalen
2000-05-01 0:00 ` Ken Garlington
2000-05-01 0:00 ` Required Metrics Ted Dennison
2000-05-01 0:00 ` Tucker Taft
2000-05-01 0:00 ` Ken Garlington [this message]
2000-05-02 0:00 ` Ken Garlington
2000-05-02 0:00 ` Ted Dennison
2000-05-03 0:00 ` Robert Dewar
2000-05-03 0:00 ` Ken Garlington
2000-05-03 0:00 ` Robert A Duff
2000-05-04 0:00 ` Ken Garlington
2000-05-04 0:00 ` Robert Dewar
2000-05-04 0:00 ` Robert A Duff
2000-05-04 0:00 ` Robert Dewar
2000-05-05 0:00 ` Ken Garlington
2000-05-04 0:00 ` Robert Dewar
2000-05-04 0:00 ` Wes Groleau
2000-05-04 0:00 ` Ken Garlington
2000-05-05 0:00 ` Robert Dewar
2000-05-06 0:00 ` Ken Garlington
2000-05-06 0:00 ` Robert Dewar
2000-05-07 0:00 ` Ken Garlington
2000-05-07 0:00 ` Robert Dewar
2000-05-07 0:00 ` Ken Garlington
2000-05-07 0:00 ` Robert Dewar
2000-05-07 0:00 ` Ken Garlington
2000-05-07 0:00 ` Robert Dewar
2000-05-06 0:00 ` Ken Garlington
2000-05-06 0:00 ` Robert Dewar
2000-05-06 0:00 ` Robert Dewar
2000-05-07 0:00 ` Ken Garlington
2000-05-07 0:00 ` Robert Dewar
2000-05-08 0:00 ` Ole-Hjalmar Kristensen
2000-05-04 0:00 ` Robert Dewar
2000-05-04 0:00 ` Ken Garlington
2000-05-05 0:00 ` Robert Dewar
2000-05-02 0:00 ` Ted Dennison
2000-05-04 0:00 ` Robert Dewar
2000-05-04 0:00 ` Ted Dennison
2000-05-05 0:00 ` Ken Garlington
2000-05-05 0:00 ` Robert Dewar
2000-05-01 0:00 ` Ken Garlington
2000-05-04 0:00 ` Robert Dewar
2000-05-05 0:00 ` Ken Garlington
2000-05-05 0:00 ` Robert Dewar
2000-05-05 0:00 ` Ted Dennison
2000-05-06 0:00 ` Robert Dewar
2000-05-07 0:00 ` Robert I. Eachus
2000-05-07 0:00 ` Robert Dewar
2000-05-18 0:00 ` Robert I. Eachus
2000-05-18 0:00 ` Robert A Duff
2000-05-19 0:00 ` Robert I. Eachus
2000-05-21 0:00 ` Robert Dewar
2000-06-03 0:00 ` Robert I. Eachus
2000-05-07 0:00 ` Ken Garlington
2000-05-07 0:00 ` Robert Dewar
2000-05-07 0:00 ` Ken Garlington
2000-05-07 0:00 ` Robert Dewar
2000-05-08 0:00 ` Ole-Hjalmar Kristensen
2000-05-08 0:00 ` Robert Dewar
2000-05-08 0:00 ` Robert Dewar
2000-05-18 0:00 ` Robert I. Eachus
2000-05-18 0:00 ` Ken Garlington
2000-05-04 0:00 ` Roger Barnett
2000-05-05 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox